Proceedings. Third International Conference on Quality Software, 6-7 November 2003, Dallas, Texas, USA / organized by Institute of Sofware, Chinese Academy of Sciences ... [et al. ; edited by Hiumin Lin & Has-Dieter Ehrich].

Format:

Book

Conference/Event

Contributor:

Lin, H. (Huimin)

Ehrich, Hans-Dieter.

IEEE Xplore (Online service)

Zhongguo ke xue yuan. Ruan jian yan jiu suo.

Conference Name:

International Conference on Quality Software (3rd : 2003 : Dallas, Tex.)

Language:

English

Subjects (All):

Computer software--Quality control--Congresses.

Computer software.

Computer software--Quality control.

Genre:

Conference papers and proceedings.

Physical Description:

xiv, 419 pages : illustrations

Other Title:

QSIC 2003

Quality software

Quality Software, 2003, proceedings, Third International Conference on.

Place of Publication:

Los Alamitos, Calif. : IEEE Computer Society, [2003]

System Details:

Mode of access: World Wide Web.

text file

Contents:

Data Mining and Cyber Security / B. Thuraisingham 2

Session 1A Testing Strategies

Mirror Adaptive Random Testing / T. Chen, F. Kuo, R. Merkel, S. Ng 4

Incremental Testing for Self-Evolving Timed Systems / V. Alagar, O. Ormandjieva, M. Zheng 12

Random Program Generator for Java JIT Compiler Test System / T. Yoshikawa, K. Shimura, T. Ozawa 20

Session 1B Software Reliability

Dynamic Test Allocation Model for Software Reliability / S. Al-Maati, K. Rekab 26

How to Test Software for Optimal Software Reliability Assessment / K.-Y. Cai, Y.-C. Li, K. Liu 32

Empirical Case Studies of Combining Software Quality Classification Models / T. Khoshgoftaar, E. Geleyn, L. Nguyen 40

Session 1C Software Quality I

A Study of the Metrics Applied to the Software Evaluation Framework 'SEF' / B. Wong 52

PRISMA: Towards Quality, Aspect Oriented and Dynamic Software Architectures / J. Perez, I. Ramos, J. Jaen, P. Letelier, E. Navarro 59

Walking the Talk

Building Quality into the Software Quality Management Tool / G. Seshagiri, S. Priya 67

Session 2A Specification-Based Testing

Generating Small Combinatorial Test Suites to Cover Input-Output Relationships / C. Cheng, A. Dumitrescu, P. Schroeder 76

Generating, Selecting and Prioritizing Test Cases from Specifications with Tool Support / Y. Yu, S. Ng, E. Chan 83

A Note on Test Oracles and Semantics of Algebraic Specifications / H. Zhu 91

Session 2B Software Development I

A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL / S. Bekbay, S. Liu 100

Generating Scenarios from Use Case Map Specifications / D. Amyot, X. He, Y. He, D. Cho 108

Debugging with Reverse Watchpoint / K. Maruyama, M. Terada 116

Session 2C Cost Estimation

A Neuro-Fuzzy Model for Software Cost Estimation / X. Huang, L. Capretz, J. Ren, D. Ho 126

A Preliminary Checklist for Software Cost Management / M. Jorgensen, K. Molokken 134

Software Cost Estimation through Conceptual Requirement / Y. Zhao, H. Tan, W. Zhang 141

Session 3A Testing And Components

State of the Art in Testing Components / S. Beydeda, V. Gruhn 146

Testing Decomposition of Component Specifications Based on a Rule for Formal Verification / M. Lund 154

Asynchronous Communication for Complicated E-Commerce Applications / W. Cao, J. Li, K. Wang, T. Zeng 161

Session 3B Web-Based Systems

A Dialog Control Framework for Hypertext-Based Applications / M. Book, V. Gruhn 170

A Systematic Framework for Evaluating Hyperlink Validity in Web Environments / W.-K. Chang, S.-K. Hon, C.-C. Chu 178

Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces / B. Sridharan, A. Mathur, K.-Y. Cai 186

Session 3C Process Improvement

A Model for the Implementation of Software Process Improvement: A Pilot Study / M. Niazi, D. Wilson, D. Zowghi 196

Component-Based Workflow Architecture of a Distributed Software Process Management System / Y. Xie, W. Zhang 204

PRISMS: An Approach to Software Process Improvement for Small to Medium Enterprises / P. Allen, M. Ramachandran, H. Abushama 211

Behavioral Verification of Distributed Concurrent Systems with BOBJ / J. Goguen, K. Lin 216

Session 4A Automated Testing I

Validating Use-Cases with the AsmL Test Tool / M. Barnett, W. Grieskamp, W. Schulte, N. Tillmann, M. Veanes 238

Combining Behavior and Data Modeling in Automated Test Case Generation / P. Schroeder, E. Kim, J. Arshem, P. Bolaki 247

Character String Predicate Based Automatic Software Test Data Generation / R. Zhao, M. Lyu 255

Using the Incremental Approach to Generate Test Sets: A Case Study / Y. Yu, M. Lau, T. Chen 263

Session 4B Formal Methods and Verification

Verifying Haskell Programs by Combining Testing and Proving / P. Dybjer, Q. Haiyan, M. Takeyama 272

Modeling and Verifying a Lego Car Using Hybrid I/O Automata / A. Fehnker, F. Vaandrager, M. Zhang 280

Verifying CIM Models of Apache Web-Server Configurations / C. Sinz, A. Khosravizadeh, W. Kuchlin, V. Mihajlovski 290

Formal Methods Applied to Plywood Production / R. Ibrahim, M. Lu 298

Session 4C Process Assessment and Measurement

Evaluating Interrater Agreement with Intraclass Correlation Coefficient in SPICE-Based Software Process Assessment / H.-M. Park, H.-W. Jung 308

Status Report: Practical Software Measurement / D. Card, C. Jones 315

Industrial Strength Software and Quality: Software and Engineering at Siemens / R. Achatz, F. Paulisch 321

An Experience on Using the Team Software Process for Implementing the Capability Maturity Model for Software in a Small Organization / M. Serrano, C. de Oca, K. Cedillo 327

Session 5A Automated Testing II

MaTeLo

Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3 / W. Dulz, F. Zhen 336

Deriving Software Statistical Testing Model from UML Model / Y. Jiong, W. Ji, C. Huowang 343

Testability Analysis Applied to Embedded Data-Flow Software / T. Nguyen, M. Delaunay, C. Robach 351

Session 5B Software Development II

Visualization Techniques of Management Rules for Software Development Projects / J. Mata, J. Alvarez, J. Riquelme, I. Ramos, J. Aguilar, F. Ferrer 360

Measuring Functional Size of Interactive Software: A Support System Based on Xforms-Format User Interface Specifications / Z. Li, M. Nonaka, A. Kakurai, M. Azuma 368

Using Design Pattern to Develop the Quality MSC Simulator Software in Performance Test for GSM and GPRS System / Y. Ge 374

Session 5C Software Quality II

CALDEA: A Data Quality Model Based on Maturity Levels / I. Caballero, M. Piattini 380

Experiences in the Inspection Process Characterization Techniques / V. Narayana, R. Swamy 388

Diversifying and Improving Business Process Management Systems by Service Cooperation Middleware / S. Liu, J. Wei, W. Xu 396

Session 6A Testing of Object-Oriented Systems

Constructing a Reproducible Testing Environment for Distributed Java Applications / J. Chen, K. Wang 402

Scenario-Based Object-Oriented Testing Framework / W. Tsai, A. Saimi, L. Yu, R. Paul 410.

Notes:

Includes bibliographical references and index.

ISBN:

0769520154

9780769520155

OCLC:

53906775

Access Restriction:

Restricted for use by site license.