3. QSIC 2003: Dallas, Texas, USA

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

• Shereef Abu Al-Maati, Kamel Rekab:
  Dynamic Test Allocation Model for Software Reliability. 26-31
  
• 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
  
• Kazutaka Maruyama, Minoru Terada:
  Debugging with Reverse Watchpoint. 116-
  

Session 2C: Cost Estimation

• Xishi Huang, Luiz Fernando Capretz, Jing Ren, Danny Ho:
  A Neuro-Fuzzy Model for Software Cost Estimation. 126-133
  
• Magne Jørgensen, Kjetil Moløkken:
  A Preliminary Checklist for Software Cost Management. 134-140
  
• Yuan Zhao, Hee Beng Kuan Tan, Wei Zhang:
  Software Cost Estimation through Conceptual Requirement. 141-
  

Session 3A: Testing And Components

• Sami Beydeda, Volker Gruhn:
  State of the art in testing components. 146-153
  
• 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

• Matthias Book, Volker Gruhn:
  A Dialog Control Framework for Hypertext-Based Applications. 170-177
  
• 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
  
• Rosziati Ibrahim, Marlene Lu:
  Formal Methods applied to Plywood Production. 298-
  

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
  
• David N. Card, Cheryl L. Jones:
  Status Report: Practical Software Measurement. 315-320
  
• 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

• Ismael Caballero, Mario Piattini:
  CALDEA: A Data Quality Model Based on Maturity Levels. 380-387
  
• 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-
  

Last update Fri May 24 19:44:41 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page