8. QSIC 2008: Oxford, UK

Keynotes

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

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
  
• Ian Bayley, Hong Zhu:
  On the Composition of Design Patterns. 27-36
  
• Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Coopmans:
  An Executable Interface Specification for Industrial Embedded System Design. 37-44
  
• Kevin Lano, David Clark:
  Model Transformation Specification and Verification. 45-54
  

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
  
• Harry M. Sneed:
  Bridging the Concept to Implementation Gap in Software System Testing. 67-73
  

Security

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

Formal Methods

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

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
  
• Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, W. Eric Wong:
  Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing? 145-154
  
• Ziyuan Wang, Baowen Xu, Changhai Nie:
  Greedy Heuristic Algorithms to Generate Variable Strength Combinatorial Test Suite. 155-160
  

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
  
• Na Meng, Qianxiang Wang, Qian Wu, Hong Mei:
  An Approach to Merge Results of Multiple Static Analysis Tools (Short Paper). 169-174
  
• Paul J. Vandal, Swapna S. Gokhale:
  Performance Analysis of a Composition of Middleware Patterns (Short Paper). 175-180
  
• Zhen Ming Jiang, Ahmed E. Hassan, Parminder Flora, Gilbert Hamann:
  Abstracting Execution Logs to Execution Events for Enterprise Applications (Short Paper). 181-186
  

Specification-Based Software Testing

• Gordon Fraser, Paul Ammann:
  Reachability and Propagation for LTL Requirements Testing. 189-198
  
• Gordon Fraser, Martin Weiglhofer, Franz Wotawa:
  Coverage Based Testing with Test Purposes. 199-208
  
• 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
  
• Shaoying Liu:
  Utilizing Formalization to Test Programs without Available Source Code (Short Paper). 216-221
  

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
  
• 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
  
• Yun-Fei Jia, Xiu-E Chen, Lei Zhao, Kai-Yuan Cai:
  On the Relationship between Software Aging and Related Parameters (Short Paper). 241-246
  
• 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
  

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
  
• Yunwei Dong, M. F. Lau, Si-yu Lin:
  On Partitioning the Domain for Test Case Reusability (Short Paper). 264-269
  
• 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
  
• Antti Jääskeläinen, Antti Kervinen, Mika Katara:
  Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper). 276-282
  

Measurement, Metrics and Assessment 1

• Lasse Harjumaa, Ilkka Tervonen, Sirpa Salmela:
  Steering the inspection process with prescriptive metrics and process patterns. 285-293
  
• 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
  
• Yoshihiro Iwami:
  How to Measure Quality of Software Developed by Subcontractors (Short Paper). 300-304
  
• Beatriz Marín, Nelly Condori-Fernández, Oscar Pastor:
  Towards a Method for Evaluating the Precision of Software Measures (Short Paper). 305-310
  

Service Orientation

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

Measurement, Metrics and Assessment 2

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

Software Architecture

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

Faults and Failures

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

Workshop on Integration of Software Engineering and Agent Technologies

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

Tutorials

• T. Y. Chen:
  Adaptive Random Testing. 443
  
• Swapna S. Gokhale, Veena B. Mendiratta:
  Architecture-Based Assessment of Software Reliability. 444
  

Last update Sat May 18 19:37:43 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page