ICSE 2012 Workshops
2012 34th International Conference on Software Engineering (ICSE)
Powered by
Conference Publishing Consulting
2012 7th International Workshop on Automation of Software Test (AST), June 2–3, 2012, Zurich, Switzerland

AST 2012 – Proceedings

 Contents - Abstracts - Authors

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

Preface

Title Page
Article: icsews12astforeword-fm000-p doi:
Foreword
Article: icsews12astforeword-fm001-p doi:

Security

SECFUZZ: Fuzz-testing Security Protocols
Petar Tsankov, Mohammad Torabi Dashti, and David Basin
(ETH Zurich, Switzerland)
Article: icsews12ast-id27-p 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 doi:
Grammar Based Oracle for Security Testing of Web Applications
Andrea Avancini and Mariano Ceccato
(Fondazione Bruno Kessler, Italy)
Article: icsews12ast-id19-p 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 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 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 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 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 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 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 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 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 doi:
Automated Test-Case Generation by Cloning
Mathias Landhäußer and Walter F. Tichy
(KIT, Germany)
Article: icsews12ast-id4-p 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 doi:
Declarative Automated Test
Niels Hallenberg and Philip Lykke Carlsen
(SimCorp, Denmark)
Article: icsews12ast-id21-p 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 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 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 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 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 doi:
All-Values Symbolic Execution
Giovanni Denaro
(University of Milano-Bicocca, Italy)
Article: icsews12ast-id31-p 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 doi:

proc time: 0.02