Authors

Title

Shaoying Liu.

Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications

Dharmalingam Ganesan, Thorsten Keuler and Yutaro Nishimura.

Architecture Compliance Checking at Runtime: An Industry Experience Report

Gordon Fraser and Paul Ammann.

Reachability and Propagation for LTL Requirements Testing

lianshan sun, gang huang, yanchun sun, hui song and Hong Mei.

An Approach for Generation of J2EE Access Control Configurations from Requirements Specification

Hong Zhou, Feng Chen and Hongji Yang.

Developing Application Specific Ontology for Program Comprehension by Combining Domain Ontology with Code Ontology

Trung Dinh-Trong, Birgit Geppert,, J. Jenny Li and Frank Roessler.

Looking for more Confidence in Refactoring? - How to Assess Adequacy of Your Refactoring Tests -

T.Y. Chen, Fei-Ching Kuo, Huai Liu and Eric Wong.

Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing?

Mohamed Ahmed and Swapna Gokhale.

Linux Bugs: Life Cycle and Resolution Analysis

Zhang Qian.

Visual Software Architecture Description Based on Design Space

Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred Wurden and Danpo Zhang.

Model-Based Quality Assurance of the SMB2 Protocol Documentation

Martin Weiglhofer, Gordon Fraser and Franz Wotawa.

Coverage Based Testing with Test Purposes

Harry Sneed.

Bridging the Concept to Implementation Gap in System Testing

Byoungju Choi, Hyejin Oh, Hyuksoo Han and Eric Wong.

Optimizing Test Process Action Plans by Blending Testing Maturity Model and Design of Experiments

Thareendhra Wijayasiriwardhane and Richard Lai.

Component Point: A Size Measure for Component-Based System Specification

Zhongxing Xu and Jian Zhang.

Path and Context Sensitive Inter-procedural Memory Leak Detection

shiyang ye and jun wei.

History Heuristic Based Negotiation of Service Level Agreements For Composite Service

Lasse Harjumaa, Ilkka Tervonen and Sirpa Salmela.

Steering the inspection process with prescriptive metrics and process patterns

Lionel Briand, Yvan Labiche and Zaheer Bawar.

Using Machine Learning to Refine Black-Box Test Specifications and Test Suites

Hossain Shahriar and Mohammad Zulkernine.

MUSIC: Mutation-based SQL Injection Vulnerability Checking

Atef Mohamed and Mohammad Zulkernine.

On Failure Propagation in Component-Based Software Systems

Peng Liang, Anton Jansen and Paris Avgeriou.

Selecting a High-Quality Central Model for Sharing Architectural Knowledge

Peifeng Hu, Zhenyu Zhang, W.K. Chan and T.H. Tse.

Fault Localization with Non-Parametric Program Behavior Model

Authors

Title

Shaoying Liu.

Utilizing Formalization to Test Programs without Available Source Code

Vinicius Garcia, Liana Barachisio, Daniel Lucrédio, Eduardo Almeida, Silvio Lemos Meira and Renata Fortes.

Towards an Assessment Method for Software Reuse Capability

Qianxiang Wang, Na Meng, Qian Wu and Hong Mei.

An approach to merge results of multiple static analysis tools

A. Cain, T.Y. Chen, Douglas D. Grant, Fei-Ching Kuo and Jean-Guy Schneider.

An Object Oriented Approach towards Dynamic Data Flow Analysis

Beatriz Marín, Nelly Condori-Fernández and Oscar Pastor Lopez.

Towards a Method for Evaluating the Precision of Software Measures

Antti Jääskeläinen, Antti Kervinen and Mika Katara.

Creating an Open Source Test Model Library for GUI Testing of Smartphone Applications

Aiman Hanna, Haizhou Ling, Captain Jason Furlong, zhenrong yang and Mourad Debbabi.

Dynamic Detection of Security Vulnerabilities Through Team Edit Automata & The Security Chaining Approach

Xutao Du, Chunxiao Xing and Lizhu Zhou.

Path-Sensitive Reachability Analysis of Web Service Interfaces

Swapna Gokhale and Paul Vandal.

Performance Analysis of a Composition of Middleware Patterns

Swapna Gokhale and Lance Fiondella.

Importance Measures for a Modular Software System

Yunwei Dong, Man Lau and Si-yu Lin.

On Partitioning the Domain for Test-Case Reusability

Xiaofang Zhang, Baowen Xu, Zhenyu Chen and Leifang Li.

An Empirical Evaluation of Test Suite Reduction for Boolean Specifications-based Testing

Praveen Srivastava.

The Computation of State Variable Model In Software Test Process Using Alternating Groupexplicit Iterative Algorithm

Siripol Noikajana and Taratip Suwannasart.

Web Service Test Case Generation Based on Decision Table

Liang Xu.

SMT-based Bounded Model Checking for Real-time Systems

Ziyuan Wang, Baowen Xu and Changhai Nie.

Greedy Heuristic Algorithms to Generate Variable Strength Combinatorial Test Suite

Yujian Fu, Zhijiang Dong, Junhua Ding and Xudong He .

Mapping Software Architecture Specification to Rewriting Logic

Yun-Fei Jia, Xiu-E Chen, Lei Zhao and Kai-Yuan Cai.

On the Relationship between Software Aging and Related Parameters

Yoshihiro Iwami.

How to measure quality of software developed by subcontractors

Zhen Ming Jiang, Ahmed E. Hassan and Parminder Flora.

Abstracting Execution Logs to Execution Events for Enterprise Applications

Abdeslam En-Nouaary and Abdelwahab Hamou-Lhadj.

A Boundary Checking Technique For Testing Real-Time Systems Modeled as Timed Input Output Automata

Hongji Yang.

Web Application Development Lifecycle for Small Medium-sized Enterprises (SMEs)