8. QSIC 2008: Oxford, UK

Hong Zhu (Ed.): Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK. IEEE Computer Society 2008, ISBN 978-0-7695-3312-4 BibTeX

Keynotes

Lionel C. Briand:
Novel Applications of Machine Learning in Software Testing. 3-10
Electronic Edition (link) BibTeX
Robert M. Hierons:
Testing in the Distributed Test Architecture: An Extended Abstract. 11-14
Electronic Edition (link) BibTeX

Invited Special Track: Formalization of UML and Design Patterns

Sun Meng, Luís Soares Barbosa:
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. 17-26
Electronic Edition (link) BibTeX
Ian Bayley, Hong Zhu:
On the Composition of Design Patterns. 27-36
Electronic Edition (link) BibTeX
Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Coopmans:
An Executable Interface Specification for Industrial Embedded System Design. 37-44
Electronic Edition (link) BibTeX
Kevin Lano, David Clark:
Model Transformation Specification and Verification. 45-54
Electronic Edition (link) BibTeX

Software Testing Process

Hyejin Oh, Byoungju Choi, Hyuksoo Han, W. Eric Wong:
Optimizing Test Process Action Plans by Blending Testing Maturity Model and Design of Experiments. 57-66
Electronic Edition (link) BibTeX
Harry M. Sneed:
Bridging the Concept to Implementation Gap in Software System Testing. 67-73
Electronic Edition (link) BibTeX

Security

Hossain Shahriar, Mohammad Zulkernine:
MUSIC: Mutation-based SQL Injection Vulnerability Checking. 77-86
Electronic Edition (link) BibTeX
Lianshan Sun, Gang Huang, Yanchun Sun, Hui Song, Hong Mei:
An Approach for Generation of J2EE Access Control Configurations from Requirements Specification. 87-96
Electronic Edition (link) BibTeX
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenrong Yang, Mourad Debbabi:
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper). 97-102
Electronic Edition (link) BibTeX

Formal Methods

Shaoying Liu:
Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications. 105-113
Electronic Edition (link) BibTeX
Xutao Du, Chunxiao Xing, Lizhu Zhou:
Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper). 114-119
Electronic Edition (link) BibTeX
Liang Xu:
SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper). 120-125
Electronic Edition (link) BibTeX
Peter Y. H. Wong, Jeremy Gibbons:
Verifying Business Process Compatibility (Short Paper). 126-131
Electronic Edition (link) BibTeX

Software Testing Techniques and Methods

Lionel C. Briand, Yvan Labiche, Zaheer Bawar:
Using Machine Learning to Refine Black-Box Test Specifications and Test Suites. 135-144
Electronic Edition (link) BibTeX
Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, W. Eric Wong:
Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing? 145-154
Electronic Edition (link) BibTeX
Ziyuan Wang, Baowen Xu, Changhai Nie:
Greedy Heuristic Algorithms to Generate Variable Strength Combinatorial Test Suite. 155-160
Electronic Edition (link) BibTeX

Static and Dynamic Analysis

Andrew Cain, Tsong Yueh Chen, D. D. Grant, Fei-Ching Kuo, Jean-Guy Schneider:
An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper). 163-168
Electronic Edition (link) BibTeX
Na Meng, Qianxiang Wang, Qian Wu, Hong Mei:
An Approach to Merge Results of Multiple Static Analysis Tools (Short Paper). 169-174
Electronic Edition (link) BibTeX
Paul J. Vandal, Swapna S. Gokhale:
Performance Analysis of a Composition of Middleware Patterns (Short Paper). 175-180
Electronic Edition (link) BibTeX
Zhen Ming Jiang, Ahmed E. Hassan, Parminder Flora, Gilbert Hamann:
Abstracting Execution Logs to Execution Events for Enterprise Applications (Short Paper). 181-186
Electronic Edition (link) BibTeX

Specification-Based Software Testing

Gordon Fraser, Paul Ammann:
Reachability and Propagation for LTL Requirements Testing. 189-198
Electronic Edition (link) BibTeX
Gordon Fraser, Martin Weiglhofer, Franz Wotawa:
Coverage Based Testing with Test Purposes. 199-208
Electronic Edition (link) BibTeX
Abdeslam En-Nouaary, Abdelwahab Hamou-Lhadj:
A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata (Short Paper). 209-215
Electronic Edition (link) BibTeX
Shaoying Liu:
Utilizing Formalization to Test Programs without Available Source Code (Short Paper). 216-221
Electronic Edition (link) BibTeX

Software Process and Evolution

Hong Zhou, Feng Chen, Hongji Yang:
Developing Application Specific Ontology for Program Comprehension by Combining Domain Ontology with Code Ontology. 225-234
Electronic Edition (link) BibTeX
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden, Danpo Zhang:
Model-Based Quality Assurance of the SMB2 Protocol Documentation. 235-240
Electronic Edition (link) BibTeX
Yun-Fei Jia, Xiu-E Chen, Lei Zhao, Kai-Yuan Cai:
On the Relationship between Software Aging and Related Parameters (Short Paper). 241-246
Electronic Edition (link) BibTeX
Wei Huang, Ru Li, Carsten Maple, Hongji Yang, David Foskett, Vince Cleaver:
Web Application Development Lifecycle for Small Medium-Sized Enterprises (SMEs) (Short Paper). 247-252
Electronic Edition (link) BibTeX

Regression Testing and Software Reuse

Trung T. Dinh-Trong, Birgit Geppert, J. Jenny Li, Frank Rößler:
Looking for More Confidence in Refactoring? How to Assess Adequacy of Your Refactoring Tests. 255-263
Electronic Edition (link) BibTeX
Yunwei Dong, M. F. Lau, Si-yu Lin:
On Partitioning the Domain for Test Case Reusability (Short Paper). 264-269
Electronic Edition (link) BibTeX
Xiaofang Zhang, Baowen Xu, Zhenyu Chen, Changhai Nie, Leifang Li:
An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper). 270-275
Electronic Edition (link) BibTeX
Antti Jääskeläinen, Antti Kervinen, Mika Katara:
Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper). 276-282
Electronic Edition (link) BibTeX

Measurement, Metrics and Assessment 1

Lasse Harjumaa, Ilkka Tervonen, Sirpa Salmela:
Steering the inspection process with prescriptive metrics and process patterns. 285-293
Electronic Edition (link) BibTeX
Vinicius Cardoso Garcia, Liana Barachisio Lisboa, Silvio Romero de Lemos Meira, Eduardo Santana de Almeida, Daniel Lucrédio, Renata Pontin de Mattos Fortes:
Towards an Assessment Method for Software Reuse Capability (Short Paper). 294-299
Electronic Edition (link) BibTeX
Yoshihiro Iwami:
How to Measure Quality of Software Developed by Subcontractors (Short Paper). 300-304
Electronic Edition (link) BibTeX
Beatriz Marín, Nelly Condori-Fernández, Oscar Pastor:
Towards a Method for Evaluating the Precision of Software Measures (Short Paper). 305-310
Electronic Edition (link) BibTeX

Service Orientation

Shiyang Ye, Jun Wei:
History Heuristic Based Negotiation of Service Level Agreements for Composite Service. 313-320
Electronic Edition (link) BibTeX
Siripol Noikajana, Taratip Suwannasart:
Web Service Test Case Generation Based on Decision Table (Short Paper). 321-326
Electronic Edition (link) BibTeX

Measurement, Metrics and Assessment 2

Thareendhra Wijayasiriwardhane, Richard Lai:
A Method for Measuring the Size of a Component-Based System Specification. 329-337
Electronic Edition (link) BibTeX
Lance Fiondella, Swapna S. Gokhale:
Importance Measures for a Modular Software System (Short Paper). 338-343
Electronic Edition (link) BibTeX

Software Architecture

Dharmalingam Ganesan, Thorsten Keuler, Yutaro Nishimura:
Architecture Compliance Checking at Runtime: An Industry Experience Report. 347-356
Electronic Edition (link) BibTeX
Peng Liang, Anton Jansen, Paris Avgeriou:
Selecting a High-Quality Central Model for Sharing Architectural Knowledge. 357-365
Electronic Edition (link) BibTeX
Qian Zhang:
Visual Software Architecture Description Based on Design Space. 366-375
Electronic Edition (link) BibTeX
Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He:
Mapping Software Architecture Specification to Rewriting Logic (Short Paper). 376-381
Electronic Edition (link) BibTeX

Faults and Failures

Peifeng Hu, Zhenyu Zhang, Wing Kwon Chan, T. H. Tse:
Fault Localization with Non-parametric Program Behavior Model. 385-395
Electronic Edition (link) BibTeX
Mohamed F. Ahmed, Swapna S. Gokhale:
Linux Bugs: Life Cycle and Resolution Analysis. 396-401
Electronic Edition (link) BibTeX
Atef Mohamed, Mohammad Zulkernine:
On Failure Propagation in Component-Based Software Systems. 402-411
Electronic Edition (link) BibTeX
Zhongxing Xu, Jian Zhang:
Path and Context Sensitive Inter-procedural Memory Leak Detection. 412-420
Electronic Edition (link) BibTeX

Workshop on Integration of Software Engineering and Agent Technologies

Nauman A. Qureshi, Anna Perini:
An Agent-Based Middleware for Adaptive Systems. 423-428
Electronic Edition (link) BibTeX
Josh Dehlinger, Joanne Bechta Dugan:
Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo. 429-434
Electronic Edition (link) BibTeX
Manar Al-Kady, Reem Bahgat, Aly Fahmy:
A UML Heavyweight Extension for MAS Modeling. 435-440
Electronic Edition (link) BibTeX

Tutorials

T. Y. Chen:
Adaptive Random Testing. 443
Electronic Edition (link) BibTeX
Swapna S. Gokhale, Veena B. Mendiratta:
Architecture-Based Assessment of Software Reliability. 444
Electronic Edition (link) BibTeX