AST 2010 - Accepted Contributions

5th International Workshop on Automation of Software Test

  • Home
  • Important Dates
  • Paper Submission
  • Organization

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

5th AST 2010

  • Important Dates
  • Call for Papers
    • Relevant Topics
    • Research Paper Track
    • Case Study Track
    • Poster Track
  • Call for Participation
    • Keynote Speakers
    • Accepted Contributions
    • Charette Session
  • Paper Submission
  • Proceedings
  • Journal Issue
  • Workshop History
  • News and Updates
  • Organization
© Copyright 2009 by AST Steering Committee - All rights reserved. | Design by Minimalistic Design