default search action
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 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
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
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
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
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 - Yongyi Xie, Weishi Zhang:
Component-Based Workflow Architecture of a Distributed Software Process Management System. 204-210 - Pat Allen, Muthu Ramachandran
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
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 - Nguyen Thanh Binh, Michel Delaunay, Chantal Robach:
Testability Analysis Applied to Embedded Data-flow Software. 351-
Session 5B: Software Development II
- Jacinto Mata Vázquez
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-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: