AST 2011 – Proceedings

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)


@InProceedings{AST11p1, author = {Junhua Ding and Xin-Hua Hu}, title = {Metamorphic Testing of a Monte Carlo Modeling Program}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2011}, }

Abstracting Timing Information in UML State Charts via Temporal Ordering and LOTOS
Valentin Chimisliu and Franz Wotawa
(TU Graz, Austria)


@InProceedings{AST11p8, author = {Valentin Chimisliu and Franz Wotawa}, title = {Abstracting Timing Information in UML State Charts via Temporal Ordering and LOTOS}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {8-7}, doi = {}, year = {2011}, }

Scalable Graph Analyzing Approach for Software Fault-Localization
Mojtaba Vahidi-Asl and Saeed Parsa
(Iran University of Science and Technology, Iran)


@InProceedings{AST11p15, author = {Mojtaba Vahidi-Asl and Saeed Parsa}, title = {Scalable Graph Analyzing Approach for Software Fault-Localization}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {15-14}, doi = {}, year = {2011}, }

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)


@InProceedings{AST11p22, author = {Xiaoying Bai and Bin Chen and Yunzhan Gong}, title = {Design of Intelligent Agents for Collaborative Testing of Service-Based Systems}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {22-21}, doi = {}, year = {2011}, }

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)


@InProceedings{AST11p29, author = {Hazlifah Mohd Rusli and Sayed Gholam Hassan Tabatabaei}, title = {A Comparative Evaluation of State-of-the-Art Web Service Composition Testing Approaches}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {29-28}, doi = {}, year = {2011}, }

Test Strategies I

A Comfortable TestPlayer for Analyzing Statistical Usage Testing Strategies
Winfried Dulz
(University of Erlangen-Nuremberg, Germany)


@InProceedings{AST11p36, author = {Winfried Dulz}, title = {A Comfortable TestPlayer for Analyzing Statistical Usage Testing Strategies}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {36-35}, doi = {}, year = {2011}, }

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)


@InProceedings{AST11p43, author = {Laya Madani and Ioannis Parissis}, title = {Automatically Testing Interactive Multimodal Systems Using Task Trees and Fusion Models}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {43-42}, doi = {}, year = {2011}, }

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


@InProceedings{AST11p50, author = {René Just and Gregory M. Kapfhammer and Franz Schweiggert}, title = {Using Conditional Mutation to Increase the Efficiency of Mutation Analysis}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {50-49}, doi = {}, year = {2011}, }

Test Strategies II

Better Predicate Testing
Gary Kaminski and Jeff Offutt
(George Mason University, USA)


@InProceedings{AST11p57, author = {Gary Kaminski and Jeff Offutt}, title = {Better Predicate Testing}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {57-56}, doi = {}, year = {2011}, }

Hazard-based Selection of Test Cases
Mario Gleirscher
(TU München, Germany)


@InProceedings{AST11p64, author = {Mario Gleirscher}, title = {Hazard-based Selection of Test Cases}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {64-63}, doi = {}, year = {2011}, }

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)


@InProceedings{AST11p71, author = {Nate Kube and Daniel Hoffman}, title = {Automated Testing of Industrial Control Devices: The Delphi Database}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {71-70}, doi = {}, year = {2011}, }

Automating GUI Testing for Android Applications
Cuixiong Hu and Iulian Neamtiu
(UC Riverside, USA)


@InProceedings{AST11p78, author = {Cuixiong Hu and Iulian Neamtiu}, title = {Automating GUI Testing for Android Applications}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {78-77}, doi = {}, year = {2011}, }

Applications of Testing II

Selection and Execution of User Level Test Cases for Energy Cost Evaluation of Smartphones
Rajesh Palit and Ajit Singh
(University of Waterloo, Canada)


@InProceedings{AST11p85, author = {Rajesh Palit and Ajit Singh}, title = {Selection and Execution of User Level Test Cases for Energy Cost Evaluation of Smartphones}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {85-84}, doi = {}, year = {2011}, }

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)


@InProceedings{AST11p92, author = {Michał H. Pałka and Koen Claessen and Alejandro Russo and John Hughes}, title = {Testing an Optimising Compiler by Generating Random Lambda Terms}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {92-91}, doi = {}, year = {2011}, }

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)


@InProceedings{AST11p99, author = {Giuseppe Di Guglielmo and Masahiro Fujita and Luigi Di Guglielmo and Andreas Foltinek}, title = {Model-Driven Design and Validation of Embedded Software}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {99-98}, doi = {}, year = {2011}, }

Poster Session 1

Test Data to Reduce the Complexity of Unit Test Automation
Guy Collins Ndem, Abbas Tahir, and Helmut Goetz
(Siemens AG, Germany)


@InProceedings{AST11p106, author = {Guy Collins Ndem and Abbas Tahir and Helmut Goetz}, title = {Test Data to Reduce the Complexity of Unit Test Automation}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {106-105}, doi = {}, year = {2011}, }

A Framework for Automatic Functional Testing Based on Formal Specifications
Shaoying Liu and Shin Nakajima
(Hosei University, Japan; NII, Japan)


@InProceedings{AST11p108, author = {Shaoying Liu and Shin Nakajima}, title = {A Framework for Automatic Functional Testing Based on Formal Specifications}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {108-107}, doi = {}, year = {2011}, }

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)


@InProceedings{AST11p110, author = {Felipe M. Besson and Pedro M. B. Leal and Fabio Kon and Alfredo Goldman and Dejan Milojicic}, title = {Towards Automated Testing of Web Service Choreographies}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {110-109}, doi = {}, year = {2011}, }

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


@InProceedings{AST11p112, author = {Yingzhou Zhang and Changhai Nie}, title = {monadWS: A Monad-Based Testing Tool for Web Services}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {112-111}, doi = {}, year = {2011}, }

Towards Automated Oracles for GUI Input Validation
Gabriel L. Zenarosa and Regis J. Leonard
(University of Pittsburgh, USA)


@InProceedings{AST11p114, author = {Gabriel L. Zenarosa and Regis J. Leonard}, title = {Towards Automated Oracles for GUI Input Validation}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {114-113}, doi = {}, year = {2011}, }

proc time: 0.03