Searching...
Advanced Search
Q
QSIC
2008
2008 The Eighth International Conference on Quality Software
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
2008 The Eighth International Conference on Quality Software
August 12-August 13
ISBN: 978-0-7695-3312-4
Table of Contents
Papers
Cover Art
(PDF)
pp. C4,C1
ABSTRACT
PDF
Title Page i
(PDF)
pp. i
ABSTRACT
PDF
Title Page iii
(PDF)
pp. iii
ABSTRACT
PDF
Title Page iv - Copyright Page
(PDF)
pp. iv
ABSTRACT
PDF
Table of Contents
(PDF)
pp. v-ix
ABSTRACT
PDF
Message from the General Chair
(PDF)
pp. x
ABSTRACT
PDF
Message from the Program Chair
(PDF)
pp. xi
ABSTRACT
PDF
Conference Organization
(PDF)
pp. xii-xiv
ABSTRACT
PDF
Novel Applications of Machine Learning in Software Testing
(Abstract)
Lionel C. Briand
pp. 3-10
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Testing in the Distributed Test Architecture: An Extended Abstract
(Abstract)
Robert M. Hierons
pp. 11-14
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams
(Abstract)
Sun Meng
Lu?s S. Barbosa
pp. 17-26
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the Composition of Design Patterns
(Abstract)
Ian Bayley
Hong Zhu
pp. 27-36
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Executable Interface Specification for Industrial Embedded System Design
(Abstract)
Jinfeng Huang
Jeroen Voeten
Serge Wolfs
Mark Coopmans
pp. 37-44
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Model Transformation Specification and Verification
(Abstract)
Kevin Lano
David Clark
pp. 45-54
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Optimizing Test Process Action Plans by Blending Testing Maturity Model and Design of Experiments
(Abstract)
Hyejin Oh
Byoungju Choi
Hyuksoo Han
W. Eric Wong
pp. 57-66
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Bridging the Concept to Implementation Gap in Software System Testing
(Abstract)
Harry M. Sneed
pp. 67-73
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
MUSIC: Mutation-based SQL Injection Vulnerability Checking
(Abstract)
Hossain Shahriar
Mohammad Zulkernine
pp. 77-86
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Approach for Generation of J2EE Access Control Configurations from Requirements Specification
(Abstract)
Lianshan Sun
Gang Huang
Yanchun Sun
Hui Song
Hong Mei
pp. 87-96
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper)
(Abstract)
Aiman Hanna
Hai Zhou Ling
Jason Furlong
Zhenrong Yang
Mourad Debbabi
pp. 97-102
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications
(Abstract)
Shaoying Liu
pp. 105-113
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper)
(Abstract)
Xutao Du
Chunxiao Xing
Lizhu Zhou
pp. 114-119
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper)
(Abstract)
Liang Xu
pp. 120-125
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Verifying Business Process Compatibility (Short Paper)
(Abstract)
Peter Y. H. Wong
Jeremy Gibbons
pp. 126-131
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Using Machine Learning to Refine Black-Box Test Specifications and Test Suites
(Abstract)
Lionel C. Briand
Yvan Labiche
Zaheer Bawar
pp. 135-144
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing?
(Abstract)
Tsong Yueh Chen
Fei-Ching Kuo
Huai Liu
W. Eric Wong
pp. 145-154
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Greedy Heuristic Algorithms to Generate Variable Strength Combinatorial Test Suite
(Abstract)
Ziyuan Wang
Baowen Xu
Changhai Nie
pp. 155-160
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper)
(Abstract)
A. Cain
T. Y. Chen
D. D. Grant
F.-C. Kuo
J.-G. Schneider
pp. 163-168
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Approach to Merge Results of Multiple Static Analysis Tools (Short Paper)
(Abstract)
Na Meng
Qianxiang Wang
Qian Wu
Hong Mei
pp. 169-174
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Performance Analysis of a Composition of Middleware Patterns (Short Paper)
(Abstract)
Paul J. Vandal
Swapna S. Gokhale
pp. 175-180
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Abstracting Execution Logs to Execution Events for Enterprise Applications (Short Paper)
(Abstract)
Zhen Ming Jiang
Ahmed E. Hassan
Parminder Flora
Gilbert Hamann
pp. 181-186
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Reachability and Propagation for LTL Requirements Testing
(Abstract)
Gordon Fraser
Paul Ammann
pp. 189-198
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Coverage Based Testing with Test Purposes
(Abstract)
Gordon Fraser
Martin Weiglhofer
Franz Wotawa
pp. 199-208
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata (Short Paper)
(Abstract)
Abdeslam En-Nouaary
Abdelwahab Hamou-Lhadj
pp. 209-215
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Utilizing Formalization to Test Programs without Available Source Code (Short Paper)
(Abstract)
Shaoying Liu
pp. 216-221
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Developing Application Specific Ontology for Program Comprehension by Combining Domain Ontology with Code Ontology
(Abstract)
Hong Zhou
Feng Chen
Hongji Yang
pp. 225-234
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Model-Based Quality Assurance of the SMB2 Protocol Documentation
(Abstract)
Wolfgang Grieskamp
Nicolas Kicillof
Dave MacDonald
Alok Nandan
Keith Stobie
Fred Wurden
Danpo Zhang
pp. 235-240
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the Relationship between Software Aging and Related Parameters (Short Paper)
(Abstract)
Yun-Fei Jia
Xiu-E Chen
Lei Zhao
Kai-Yuan Cai
pp. 241-246
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Web Application Development Lifecycle for Small Medium-Sized Enterprises (SMEs) (Short Paper)
(Abstract)
Wei Huang
Ru Li
Carsten Maple
Hongji Yang
David Foskett
Vince Cleaver
pp. 247-252
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Looking for More Confidence in Refactoring? How to Assess Adequacy of Your Refactoring Tests
(Abstract)
Trung Dinh-Trong
Birgit Geppert
J. Jenny Li
null null
Frank Roessler
pp. 255-263
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On Partitioning the Domain for Test Case Reusability (Short Paper)
(Abstract)
Yunwei Dong
M. F. Lau
Si-yu Lin
pp. 264-269
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper)
(Abstract)
Xiaofang Zhang
Baowen Xu
Zhenyu Chen
Changhai Nie
Leifang Li
pp. 270-275
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper)
(Abstract)
Antti J??skel?inen
Antti Kervinen
Mika Katara
pp. 276-282
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Steering the inspection process with prescriptive metrics and process patterns
(Abstract)
Lasse Harjumaa
Ilkka Tervonen
Sirpa Salmela
pp. 285-293
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Towards an Assessment Method for Software Reuse Capability (Short Paper)
(Abstract)
Vinicius Cardoso Garcia
Liana Barachisio Lisboa
Eduardo Santana de Almeida
Silvio Romero de Lemos Meira
Eduardo Santa de Almeida
Daniel Lucr?dio
Renata Pontin de Mattos Fortes
pp. 294-299
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
How to Measure Quality of Software Developed by Subcontractors (Short Paper)
(Abstract)
Yoshihiro Iwami
pp. 300-304
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Towards a Method for Evaluating the Precision of Software Measures (Short Paper)
(Abstract)
Beatriz Mar?
Nelly Condori-Fern?ndez
Oscar Pastor
pp. 305-310
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
History Heuristic Based Negotiation of Service Level Agreements for Composite Service
(Abstract)
Shiyang Ye
Jun Wei
pp. 313-320
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Web Service Test Case Generation Based on Decision Table (Short Paper)
(Abstract)
Siripol Noikajana
Taratip Suwannasart
pp. 321-326
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Method for Measuring the Size of a Component-Based System Specification
(Abstract)
Thareendhra Wijayasiriwardhane
Richard Lai
pp. 329-337
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Importance Measures for a Modular Software System (Short Paper)
(Abstract)
Lance Fiondella
Swapna S. Gokhale
pp. 338-343
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Architecture Compliance Checking at Runtime: An Industry Experience Report
(Abstract)
Dharmalingam Ganesan
Thorsten Keuler
Yutaro Nishimura
pp. 347-356
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Selecting a High-Quality Central Model for Sharing Architectural Knowledge
(Abstract)
Peng Liang
Anton Jansen
Paris Avgeriou
pp. 357-365
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Visual Software Architecture Description Based on Design Space
(Abstract)
Qian Zhang
pp. 366-375
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Mapping Software Architecture Specification to Rewriting Logic (Short Paper)
(Abstract)
Yujian Fu
Zhijiang Dong
Junhua Ding
Xudong He
pp. 376-381
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Fault Localization with Non-parametric Program Behavior Model
(Abstract)
Peifeng Hu
Zhenyu Zhang
W. K. Chan
T. H. Tse
pp. 385-395
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Linux Bugs: Life Cycle and Resolution Analysis
(Abstract)
Mohamed F. Ahmed
Swapna Gokhale
pp. 396-401
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On Failure Propagation in Component-Based Software Systems
(Abstract)
Atef Mohamed
Mohammad Zulkernine
pp. 402-411
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Path and Context Sensitive Inter-procedural Memory Leak Detection
(Abstract)
Zhongxing Xu
Jian Zhang
pp. 412-420
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Agent-Based Middleware for Adaptive Systems
(Abstract)
Nauman A. Qureshi
Anna Perini
pp. 423-428
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo
(Abstract)
Josh Dehlinger
Joanne Bechta Dugan
pp. 429-434
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A UML Heavyweight Extension for MAS Modeling
(Abstract)
Manar Al-Kady
Reem Bahgat
Aly Fahmy
pp. 435-440
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Adaptive Random Testing
(Abstract)
T. Y. Chen
pp. 443
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Architecture-Based Assessment of Software Reliability
(Abstract)
Swapna S. Gokhale
Veena B. Mendiratta
pp. 444
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Author Index
(PDF)
pp. 445-446
ABSTRACT
PDF
Roster Page
(PDF)
pp. 448
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
