AST 2012 – Proceedings

2012 7th International Workshop on Automation of Software Test (AST), June 2–3, 2012, Zurich, Switzerland

7th International Workshop on Automation of Software Test (AST)

Preface

Title Page
Article: icsews12astforeword-fm000-p (type: Frontmatter) doi:

Foreword
Article: icsews12astforeword-fm001-p (type: Frontmatter) doi:

Security

SECFUZZ: Fuzz-testing Security Protocols
Petar Tsankov, Mohammad Torabi Dashti, and David Basin
(ETH Zurich, Switzerland)
Article: icsews12ast-id27-p (type: Full Paper (7 pages)) doi:

Testing of PolPA Authorization Systems
Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, and Paolo Mori
(ISTI-CNR, Italy; IIT-CNR, Italy)
Article: icsews12ast-id30-p (type: Full Paper (7 pages)) doi:

Grammar Based Oracle for Security Testing of Web Applications
Andrea Avancini and Mariano Ceccato
(Fondazione Bruno Kessler, Italy)
Article: icsews12ast-id19-p (type: Full Paper (7 pages)) doi:

A Whitebox Approach for Automated Security Testing of Android Applications on the Cloud
Riyadh Mahmood, Naeem Esfahani, Thabet Kacem, Nariman Mirzaei, Sam Malek, and Angelos Stavrou
(George Mason University, USA)
Article: icsews12ast-id33-p (type: Full Paper (7 pages)) doi:

Surveys

Software Testing of Mobile Applications: Challenges and Future Research Directions
Henry Muccini, Antonio Di Francesco, and Patrizio Esposito
(University of L'Aquila, Italy)
Article: icsews12ast-id7-p (type: Full Paper (7 pages)) doi:

Benefits and Limitations of Automated Software Testing: Systematic Literature Review and Practitioner Survey
Dudekula Mohammad Rafi, Katam Reddy Kiran Moses, Kai Petersen, and Mika V. Mäntylä
(Blekinge Institute of Technology, Sweden; Ericsson, Sweden; Lund University, Sweden)
Article: icsews12ast-id24-p (type: Full Paper (7 pages)) doi:

Industrial Case Studies

Introducing Model-Based Testing in an Industrial Scrum Project
Vladimir Entin, Mathias Winder, Bo Zhang, and Stephan Christmann
(Omicron Electronics, Austria)
Article: icsews12ast-id13-p (type: Full Paper (7 pages)) doi:

An Industrial Case Study of the Effectiveness of Test Generators
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, and Ali Muhammad
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland; VTT Technical Research Center of Finland, Finland)
Article: icsews12ast-id17-p (type: Full Paper (7 pages)) doi:

Software Test Automation Practices in Agile Development Environment: An Industry Experience Report
Eliane Figueiredo Collins and Vicente Ferreira De Lucena, Jr.
(Nokia Institute of Technology, Brazil; Federal University of Amazonas, Brazil)
Article: icsews12ast-id20-p (type: Full Paper (7 pages)) doi:

Input Generation and Selection I

Category Partition Method and Satisfiability Modulo Theories for Test Case Generation
Valentin Chimisliu and Franz Wotawa
(TU Graz, Austria)
Article: icsews12ast-id6-p (type: Full Paper (7 pages)) doi:

Scalable Automated Test Generation Using Coverage Guidance and Random Search
TheAnh Do, Alvis C. M. Fong, and Russel Pears
(Auckland University of Technology, New Zealand)
Article: icsews12ast-id11-p (type: Full Paper (7 pages)) doi:

Automated EFSM-Based Test Case Generation with Scatter Search
Jie Zhang, Rui Yang, Zhenyu Chen, Zhihong Zhao, and Baowen Xu
(Nanjing University, China)
Article: icsews12ast-id5-p (type: Full Paper (7 pages)) doi:

Automated Test-Case Generation by Cloning
Mathias Landhäußer and Walter F. Tichy
(KIT, Germany)
Article: icsews12ast-id4-p (type: Full Paper (7 pages)) doi:

GUI Testing

BlackHorse: Creating Smart Test Cases from Brittle Recorded Tests
Santo Carino, James H. Andrews, Sheldon Goulding, Pradeepan Arunthavarajah, Tony Florio, and Jakub Hertyk
(University of Western Ontario, Canada; Research In Motion, Canada)
Article: icsews12ast-id18-p (type: Full Paper (7 pages)) doi:

Declarative Automated Test
Niels Hallenberg and Philip Lykke Carlsen
(SimCorp, Denmark)
Article: icsews12ast-id21-p (type: Full Paper (7 pages)) doi:

Beyond Plain Video Recording of GUI Tests: Linking Test Case Instructions with Visual Response Documentation
Raphael Pham, Helge Holzmann, Kurt Schneider, and Christian Brüggemann
(Leibniz Universität Hannover, Germany; Capgemini, Germany)
Article: icsews12ast-id15-p (type: Full Paper (7 pages)) doi:

A Methodology for Energy Performance Testing of Smartphone Applications
Abdulhakim Abogharaf, Rajesh Palit, Kshirasagar Naik, and Ajit Singh
(University of Waterloo, Canada)
Article: icsews12ast-id12-p (type: Full Paper (7 pages)) doi:

Design for Test

Refactoring Towards Seams in C++
Michael Rüegg and Peter Sommerlad
(University of Applied Sciences Rapperswil, Switzerland)
Article: icsews12ast-id16-p (type: Full Paper (7 pages)) doi:

Input Generation Selection II

Test Case Prioritization Incorporating Ordered Sequence of Program Elements
Kun Wu, Chunrong Fang, Zhenyu Chen, and Zhihong Zhao
(Nanjing University, China)
Article: icsews12ast-id22-p (type: Full Paper (7 pages)) doi:

G-RankTest: Regression Testing of Controller Applications
Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, and Muhammad Ali
(University of Milano-Bicocca, Italy; VTT Technical Research Center of Finland, Finland)
Article: icsews12ast-id28-p (type: Full Paper (7 pages)) doi:

All-Values Symbolic Execution
Giovanni Denaro
(University of Milano-Bicocca, Italy)
Article: icsews12ast-id31-p (type: Full Paper (7 pages)) doi:

On the Role of Diversity Measures for Multi-objective Test Case Selection
Andrea De Lucia, Massimiliano Di Penta, Rocco Oliveto, and Annibale Panichella
(University of Salerno, Italy; University of Sannio, Italy; University of Molise, Italy)
Article: icsews12ast-id25-p (type: Full Paper (7 pages)) doi: