Conferences in DBLP
Bhavani M. Thuraisingham Data Mining and Cyber Security. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:2-0 [Conf ] Tsong Yueh Chen , F. C. (Diana) Kuo , Robert G. Merkel , Sebastian P. Ng Mirror Adaptive Random Testing. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:4-11 [Conf ] Vangalur S. Alagar , Olga Ormandjieva , Mao Zheng Incremental Testing for Self-Evolving Timed Systems. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:12-19 [Conf ] Takahide Yoshikawa , Kouya Shimura , Toshihiro Ozawa Random Program Generator for Java JIT Compiler Test System. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:20-0 [Conf ] Shereef Abu Al-Maati , Kamel Rekab Dynamic Test Allocation Model for Software Reliability. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:26-31 [Conf ] Kai-Yuan Cai , Yong-Chao Li , Ke Liu How to Test Software for Optimal Software Reliability Assessment. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:32-39 [Conf ] Taghi M. Khoshgoftaar , Erik Geleyn , Laurent A. Nguyen Empirical Case Studies of Combining Software Quality Classification Models. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:40-0 [Conf ] Bernard Wong A Study of the Metrics applied to the Software Evaluation Framework 'SEF'. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:52-58 [Conf ] Jennifer Pérez , Isidro Ramos , Javier Jaén Martínez , Patricio Letelier , Elena Navarro PRISMA: Towards Quality, Aspect Oriented and Dynamic Software Architectures. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:59-66 [Conf ] Girish Seshagiri , S. Priya Walking the Talk Building Quality into the Software Quality Management Tool. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:67-0 [Conf ] Christine Cheng , Adrian Dumitrescu , Patrick J. Schroeder Generating Small Combinatorial Test Suites to Cover Input-Output Relationships. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:76-82 [Conf ] Ysong Yueh Yu , Sebastian P. Ng , Eric Y. K. Chan 0002 Generating, Selecting and Prioritizing Test Cases from Specifications with Tool Support. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:83-90 [Conf ] Hong Zhu A Note on Test Oracles and Semantics of Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:91-0 [Conf ] Sirin Bekbay , Shaoying Liu A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:100-107 [Conf ] Daniel Amyot , XiangYang He , Yong He , Dae Yong Cho Generating Scenarios from Use Case Map Specifications. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:108-115 [Conf ] Kazutaka Maruyama , Minoru Terada Debugging with Reverse Watchpoint. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:116-0 [Conf ] Xishi Huang , Luiz Fernando Capretz , Jing Ren , Danny Ho A Neuro-Fuzzy Model for Software Cost Estimation. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:126-133 [Conf ] Magne Jørgensen , Kjetil Moløkken A Preliminary Checklist for Software Cost Management. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:134-140 [Conf ] Yuan Zhao , Hee Beng Kuan Tan , Wei Zhang Software Cost Estimation through Conceptual Requirement. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:141-0 [Conf ] Sami Beydeda , Volker Gruhn State of the art in testing components. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:146-153 [Conf ] Mass Soldal Lund Testing Decomposition of Component Specifications Based on a Rule for Formal Verification. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:154-160 [Conf ] WeiQi Cao , Juan-Zi Li , Kehong Wang , Tao Zeng Asynchronous Communication For Complicated E-Commerce Applications. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:161-0 [Conf ] Matthias Book , Volker Gruhn A Dialog Control Framework for Hypertext-Based Applications. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:170-177 [Conf ] Wen-Kui Chang , Shing-Kai Hon , William C. Chu A Systematic Framework for Evaluating Hyperlink Validity in Web Environments. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:178-185 [Conf ] Baskar Sridharan , Aditya P. Mathur , Kai-Yuan Cai Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:186-0 [Conf ] Mahmood Niazi , David Wilson , Didar Zowghi A model for the implementation of software process improvement: A pilot study. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:196-203 [Conf ] Xie Yongyi , Zhang Weishi Component-Based Workflow Architecture of a Distributed Software Process Management System. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:204-210 [Conf ] Pat Allen , Muthu Ramachandran , Hisham Abushama PRISMS: an Approach to Software Process Improvement for Small to Medium Enterprises. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:211-0 [Conf ] Joseph A. Goguen , Kai Lin Behavioral Verification of Distributed Concurrent Systems with BOBJ. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:216-0 [Conf ] Michael Barnett , Wolfgang Grieskamp , Wolfram Schulte , Nikolai Tillmann , Margus Veanes Validating Use-Cases with the AsmL Test Tool. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:238-246 [Conf ] Patrick J. Schroeder , Eok Kim , Jerry Arshem , Pankaj Bolaki Combining Behavior and Data Modeling in Automated Test Case Generation. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:247-254 [Conf ] Ruilian Zhao , Michael R. Lyu Character String Predicate Based Automatic Software Test Data Generation. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:255-262 [Conf ] Yuen-Tak Yu , Man Fai Lau , Tsong Yueh Chen Using the Incremental Approach to Generate Test Sets: A Case Study. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:263-0 [Conf ] Peter Dybjer , Qiao Haiyan , Makoto Takeyama Verifying Haskell Programs by Combining Testing and Proving. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:272-279 [Conf ] Ansgar Fehnker , Frits W. Vaandrager , Miaomiao Zhang Modeling and Verifying a Lego Car Using Hybrid I/O Automata. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:280-289 [Conf ] Carsten Sinz , Amir Khosravizadeh , Wolfgang Küchlin , Viktor Mihajlovski Verifying CIM Models of Apache Web-Server Configurations. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:290-297 [Conf ] Rosziati Ibrahim , Marlene Lu Formal Methods applied to Plywood Production. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:298-0 [Conf ] Hyung-Min Park , Ho-Won Jung Evaluating Interrater Agreement with Intraclass Correlation Coefficient in SPICE-based Software Process Assessment. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:308-314 [Conf ] David N. Card , Cheryl L. Jones Status Report: Practical Software Measurement. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:315-320 [Conf ] Reinhold Achatz , Frances Paulisch Industrial Strength Software and Quality: Software and Engineering at Siemens. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:321-326 [Conf ] Miguel A. Serrano , Carlos Montes de Oca , Karina Cedillo An Experience on using the Team Software Process for Implementing the Capability Maturity Model for Software in a Small Organization. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:327-0 [Conf ] Winfried Dulz , Fenhua Zhen MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:336-342 [Conf ] Yan Jiong , Ji Wang , Huowang Chen Deriving Software Statistical Testing Model from UML Model. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:343-350 [Conf ] Nguyen Thanh Binh , Michel Delaunay , Chantal Robach Testability Analysis Applied to Embedded Data-flow Software. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:351-0 [Conf ] Jacinto Mata Vázquez , José Luis Álvarez Macías , José Cristóbal Riquelme Santos , Isabel Ramos , Jesús S. Aguilar-Ruiz , Francisco J. Ferrer-Troyano Visualization Techniques of Management Rules for Software Development Projects. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:360-367 [Conf ] Zhen Li , Makoto Nonaka , Akihiro Kakurai , Motoei Azuma Measuring Functional Size of Interactive Software: A Support System Based on XForms-Format User Interface Specifications. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:368-373 [Conf ] Yunshan Ge Using Design Pattern to Develop the Quality MSC Simulator Software in Performance Test for GSM and GPRS system. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:374-0 [Conf ] Ismael Caballero , Mario Piattini CALDEA: A Data Quality Model Based on Maturity Levels. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:380-387 [Conf ] Viswanathan Narayana , Rajashekara Swamy Experiences in the Inspection Process Characterization Techniques. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:388-395 [Conf ] Shaohua Liu , Jun Wei , Wei Xu Diversifying and Improving Business Process Management Systems by Service Cooperation Middleware. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:396-0 [Conf ] Jessica Chen , Kun Wang Constructing a Reproducible Testing Environment for Distributed Java Applications. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:402-409 [Conf ] Wei-Tek Tsai , Akihiro Saimi , Lian Yu , Raymond A. Paul Scenario-based Object-Oriented Testing Framework. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:410-0 [Conf ]