AST 2011 – Proceedings

Sixth International Workshop on Automation of Software Test (AST 2011), May 23-24, 2011, Waikiki, Honolulu, HI, USA

Sixth International Workshop on Automation of Software Test (AST 2011)

Preface

Model-Based Testing

Metamorphic Testing of a Monte Carlo Modeling Program
Junhua Ding and Xin-Hua Hu
(East Carolina University, USA; Dakota State University, USA)
Article: icsews11astfull-14-p doi:

Scalable Graph Analyzing Approach for Software Fault-Localization
Mojtaba Vahidi-Asl and Saeed Parsa
(Iran University of Science and Technology, Iran)
Article: icsews11astfull-27-p doi:

Testing for Web and Service-Based Systems

Design of Intelligent Agents for Collaborative Testing of Service-Based Systems
Xiaoying Bai, Bin Chen, and Yunzhan Gong
(Tsinghua University, China; Beijing University of Posts and Telecommunications, China)
Article: icsews11astfull-2-p doi:

A Comparative Evaluation of State-of-the-Art Web Service Composition Testing Approaches
Hazlifah Mohd Rusli and Sayed Gholam Hassan Tabatabaei
(Universiti Teknologi MARA, Malaysia; Universiti Teknologi Malaysia, Malaysia)
Article: icsews11astfull-4-p doi:

Test Strategies I

A Comfortable TestPlayer for Analyzing Statistical Usage Testing Strategies
Winfried Dulz
(University of Erlangen-Nuremberg, Germany)
Article: icsews11astfull-11-p doi:

Automatically Testing Interactive Multimodal Systems Using Task Trees and Fusion Models
Laya Madani and Ioannis Parissis
(University Al Baath, Syria and Laboratoire d’Informatique de Grenoble, France; University of Grenoble and Grenoble INP - LCIS, France)
Article: icsews11astfull-20-p doi:

Using Conditional Mutation to Increase the Efficiency of Mutation Analysis
René Just, Gregory M. Kapfhammer, and Franz Schweiggert
(Ulm University, Germany; Allegheny College, USA)
Article: icsews11astfull-29-p doi:

Test Strategies II

Better Predicate Testing
Gary Kaminski and Jeff Offutt
(George Mason University, USA)
Article: icsews11astfull-30-p doi:

Hazard-based Selection of Test Cases
Mario Gleirscher
(TU München, Germany)
Article: icsews11astfull-34-p doi:

Applications of Testing I

Automated Testing of Industrial Control Devices: The Delphi Database
Nate Kube and Daniel Hoffman
(Wurldtech Security Technologies, Canada; University of Victoria, Canada)
Article: icsews11astfull-1-p doi:

Automating GUI Testing for Android Applications
Cuixiong Hu and Iulian Neamtiu
(UC Riverside, USA)
Article: icsews11astfull-3-p doi:

Applications of Testing II

Testing an Optimising Compiler by Generating Random Lambda Terms
Michał H. Pałka, Koen Claessen, Alejandro Russo, and John Hughes
(Chalmers University of Technology, Sweden; Quviq AB, Sweden)
Article: icsews11astfull-24-p doi:

Model-Driven Design and Validation of Embedded Software
Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, and Andreas Foltinek
(The University of Tokyo, Japan; University of Verona, Italy; STM Products srl, Italy; IMACS GmbH, Germany)
Article: icsews11astfull-33-p doi:

Poster Session 1

Test Data to Reduce the Complexity of Unit Test Automation
Guy Collins Ndem, Abbas Tahir, and Helmut Goetz
(Siemens AG, Germany)
Article: icsews11astposter-28-p doi:

A Framework for Automatic Functional Testing Based on Formal Specifications
Shaoying Liu and Shin Nakajima
(Hosei University, Japan; NII, Japan)
Article: icsews11astposter-7-p doi:

Poster Session 2

Towards Automated Testing of Web Service Choreographies
Felipe M. Besson, Pedro M. B. Leal, Fabio Kon, Alfredo Goldman, and Dejan Milojicic
(University of São Paulo, Brazil; Hewlett Packard Laboratories, USA)
Article: icsews11astposter-5-p doi:

monadWS: A Monad-Based Testing Tool for Web Services
Yingzhou Zhang and Changhai Nie
(Nanjing University of Posts and Telecommunications, China; Nanjing University, China)
Article: icsews11astposter-16-p doi:

Towards Automated Oracles for GUI Input Validation
Gabriel L. Zenarosa and Regis J. Leonard
(University of Pittsburgh, USA)
Article: icsews11astposter-8-p doi: