AST 2010 - Accepted Contributions

5th International Workshop on Automation of Software Test

3-4 May 2010

Co-located with the ACM/IEEE 32nd International Conference on Software Engineering (ICSE 2010) held in Cape Town, South Africa

AST 2010 accepted four different types of contributions: research papers, case study papers, case study presentations, and posters. The accepted contributions cover the following areas of software test automation:

• Model-based testing
• Coverage-based testing
• Performance testing
• Test oracles
• Test case generation
• Test plan generation
• Debugging

Download the Workshop Program (PDF)

List of Accepted Contributions

• Automated Test Case Generation for Combinatorial Testing - Practices and Experiences (Case Study Presentation)

  Peter Zimmerer

• Test Automation on Mobile Device (Regular Paper)

  Liu Zhifang, Liu Bin, and Gao Xiaopeng

• Automating Performance Testing of Interactive Java Applications (Regular Paper)

  Milan Jovic, Andrea Adamoli, Dmitrijs Zaparanuks, and Matthias Hauswirth

• Automatic Detection of Previously-Unseen Application States for Deployment Environment Testing and Analysis (Regular Paper)

  Christian Murphy, Moses Vaughan, Waseem Ilahi, and Gail Kaiser

• Model-based Testing of Multiple GUI Variants Using the GUI Test Generator (Regular Paper)

  Duc Hoai Nguyen, Paul Strooper, and Jorn Guy Suess

• Generation of Executable Test Cases Based on Behavioral UML System Models (Case Study Paper)

  Christian Schwarzl and Bernhard Peischl

• Abstract Path Testing with PathCrawler (Regular Paper)

  Nicky Williams

• Automatically Extracting Mock Object Behavior from Design by Contract Specification for Test Data Generation (Regular Paper)

  Stefan J. Galler, Andreas Maller, and Franz Wotawa

• Automating the Mutation Testing of Aspect-Oriented Java Programs (Regular Paper)

  Fabiano Ferrari, Elisa Nakagawa, Awais Rashid, and Jose Maldonado

• Structural Coverage of Feasible Code (Regular Paper)

  Mauro Baluda, Pietro Braione, Giovanni Denaro, and Mauro Pezze'

• Constraint-based Test Database Generation for SQL Queries (Regular Paper)

  Claudio de la Riva, María José Suárez-Cabal, and Javier Tuya

• An Effective Method to Control Interrupt Handler for Data Race Detection (Regular Paper)

  Makoto Higashi, Tetsuo Yamamoto, Yasuhiro Hayase, Takashi Ishio, and Katsuro Inoue

• Model-Based Testing in Industry -- A Case Study with Two MBT Tools (Case Study Paper)

  Monalisa Sarma, P.V.R. Murthy, Sylvia Jell, and Andreas Ulrich

• Automating Software Tests with Partial Oracles in Integrated Environments (Case Study Paper)

  Rene Just, and Franz Schweiggert

• Using Temporal Relations to Specify and Test an Instant Messaging Server (Regular Paper)

  John Hughes, Ulf Norell, and Jérôme Sautret

• Ranking Programs using Black Box Testing (Regular Paper)

  Koen Claessen, John Hughes, Michał Pałka, Nick Smallbone, and Hans Svensson

• Towards Automating the Generation of Mutation Tests (Regular Paper)

  Mike Papadakis, Nicos Malevris, and Maria Kallia

• Pattern-based Generation of Test Plans for Open Distributed Processing Systems (Regular Paper)

  Baris Güldali, Stefan Sauer, Peter Winkelhane, Holger Funke, and Michael Jahnich

• Partitioning of Pre-conditions and Post-conditions to Design Effective Tests and Carry-out Automated Debugging (Case Study Presentation)

  P.V.R. Murthy

• Property Driven Development in Erlang, by Example (Case Study Paper)

  Samuel Rivas, Miguel Ángel Francisco and Victor M. Gulías

• Systematic Testing of Refactoring Tools (Poster)

  Andreas Thies and Friedrich Steimann

• Calculating the Usage Probabilities of Statistical Usage Models by Constraints Optimization (Regular Paper)

  Winfried Dulz, Reinhard German, Stefan Holpp, and Helmut Götz