3. QSIC 2003: Dallas, Texas, USA
3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA. IEEE Computer Society 2003 ISBN 0-7695-2015-4
Keynote Address I
- Bhavani M. Thuraisingham: Data Mining and Cyber Security. 2-
Session 1A: Testing Strategies
- Tsong Yueh Chen, Fei-Ching Diana Kuo, Robert G. Merkel, Sebastian P. Ng: Mirror Adaptive Random Testing. 4-11
- Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng: Incremental Testing for Self-Evolving Timed Systems. 12-19
- Takahide Yoshikawa, Kouya Shimura, Toshihiro Ozawa: Random Program Generator for Java JIT Compiler Test System. 20-
Session 1B: Software Reliability
- Kai-Yuan Cai, Yong-Chao Li, Ke Liu: How to Test Software for Optimal Software Reliability Assessment. 32-39
- Taghi M. Khoshgoftaar, Erik Geleyn, Laurent A. Nguyen: Empirical Case Studies of Combining Software Quality Classification Models. 40-
Session 1C: Software Quality I
- Bernard Wong: A Study of the Metrics applied to the Software Evaluation Framework 'SEF'. 52-58
- Jennifer Pérez, Isidro Ramos, Javier Jaén Martínez, Patricio Letelier, Elena Navarro: PRISMA: Towards Quality, Aspect Oriented and Dynamic Software Architectures. 59-66
- Girish Seshagiri, S. Priya: Walking the Talk Building Quality into the Software Quality Management Tool. 67-
Session 2A: Specification-Based Testing
- Christine T. Cheng, Adrian Dumitrescu, Patrick J. Schroeder: Generating Small Combinatorial Test Suites to Cover Input-Output Relationships. 76-82
- Ysong Yueh Yu, Sebastian P. Ng, Eric Y. K. Chan: Generating, Selecting and Prioritizing Test Cases from Specifications with Tool Support. 83-90
- Hong Zhu: A Note on Test Oracles and Semantics of Algebraic Specifications. 91-
Session 2B: Software Development I
- Sirin Bekbay, Shaoying Liu: A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL. 100-107
- Daniel Amyot, Xiangyang He, Yong He, Dae Yong Cho: Generating Scenarios from Use Case Map Specifications. 108-115
Session 2C: Cost Estimation
- Xishi Huang, Luiz Fernando Capretz, Jing Ren, Danny Ho: A Neuro-Fuzzy Model for Software Cost Estimation. 126-133
- Yuan Zhao, Hee Beng Kuan Tan, Wei Zhang: Software Cost Estimation through Conceptual Requirement. 141-
Session 3A: Testing And Components
- Mass Soldal Lund: Testing Decomposition of Component Specifications Based on a Rule for Formal Verification. 154-160
- WeiQi Cao, Juan-Zi Li, Kehong Wang, Tao Zeng: Asynchronous Communication For Complicated E-Commerce Applications. 161-
Session 3B: Web-Based Systems
- Wen-Kui Chang, Shing-Kai Hon, William C. Chu: A Systematic Framework for Evaluating Hyperlink Validity in Web Environments. 178-185
- Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai: Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces. 186-
Session 3C: Process Improvement
- Mahmood Niazi, David Wilson, Didar Zowghi: A model for the implementation of software process improvement: A pilot study. 196-203
- Xie Yongyi, Zhang Weishi: Component-Based Workflow Architecture of a Distributed Software Process Management System. 204-210
- Pat Allen, Muthu Ramachandran, Hisham Abushama: PRISMS: an Approach to Software Process Improvement for Small to Medium Enterprises. 211-
Keynote Speech II
- Joseph A. Goguen, Kai Lin: Behavioral Verification of Distributed Concurrent Systems with BOBJ. 216-
Session 4A: Automated Testing I
- Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Validating Use-Cases with the AsmL Test Tool. 238-246
- Patrick J. Schroeder, Eok Kim, Jerry Arshem, Pankaj Bolaki: Combining Behavior and Data Modeling in Automated Test Case Generation. 247-254
- Ruilian Zhao, Michael R. Lyu: Character String Predicate Based Automatic Software Test Data Generation. 255-262
- Yuen-Tak Yu, Man Fai Lau, Tsong Yueh Chen: Using the Incremental Approach to Generate Test Sets: A Case Study. 263-
Session 4B: Formal Methods and Verification
- Peter Dybjer, Qiao Haiyan, Makoto Takeyama: Verifying Haskell Programs by Combining Testing and Proving. 272-279
- Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang: Modeling and Verifying a Lego Car Using Hybrid I/O Automata. 280-289
- Carsten Sinz, Amir Khosravizadeh, Wolfgang Küchlin, Viktor Mihajlovski: Verifying CIM Models of Apache Web-Server Configurations. 290-297
Session 4C: Process Assessment and Measurement
- Hyung-Min Park, Ho-Won Jung: Evaluating Interrater Agreement with Intraclass Correlation Coefficient in SPICE-based Software Process Assessment. 308-314
- Reinhold Achatz, Frances Paulisch: Industrial Strength Software and Quality: Software and Engineering at Siemens. 321-326
- 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. 327-
Session 5A: Automated Testing II
- Winfried Dulz, Fenhua Zhen: MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3. 336-342
- Yan Jiong, Ji Wang, Huowang Chen: Deriving Software Statistical Testing Model from UML Model. 343-350
- Thanh Binh Nguyen, Michel Delaunay, Chantal Robach: Testability Analysis Applied to Embedded Data-flow Software. 351-
Session 5B: Software Development II
- 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. 360-367
- Zhen Li, Makoto Nonaka, Akihiro Kakurai, Motoei Azuma: Measuring Functional Size of Interactive Software: A Support System Based on XForms-Format User Interface Specifications. 368-373
- Yunshan Ge: Using Design Pattern to Develop the Quality MSC Simulator Software in Performance Test for GSM and GPRS system. 374-
Session 5C: Software Quality II
- Viswanathan Narayana, Rajashekara Swamy: Experiences in the Inspection Process Characterization Techniques. 388-395
- Shaohua Liu, Jun Wei, Wei Xu: Diversifying and Improving Business Process Management Systems by Service Cooperation Middleware. 396-
Session 6A: Testing of Object-Oriented Systems
- Jessica Chen, Kun Wang: Constructing a Reproducible Testing Environment for Distributed Java Applications. 402-409
- Wei-Tek Tsai, Akihiro Saimi, Lian Yu, Raymond A. Paul: Scenario-based Object-Oriented Testing Framework. 410-
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team