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)


Title Page


SECFUZZ: Fuzz-testing Security Protocols
Petar Tsankov, Mohammad Torabi Dashti, and David Basin
(ETH Zurich, Switzerland)
Article Search
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 Search
Grammar Based Oracle for Security Testing of Web Applications
Andrea Avancini and Mariano Ceccato
(Fondazione Bruno Kessler, Italy)
Article Search
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 Search


Software Testing of Mobile Applications: Challenges and Future Research Directions
Henry Muccini, Antonio Di Francesco, and Patrizio Esposito
(University of L'Aquila, Italy)
Article Search
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 Search

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 Search
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 Search
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 Search

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 Search
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 Search
Automated EFSM-Based Test Case Generation with Scatter Search
Jie Zhang, Rui Yang, Zhenyu Chen, Zhihong Zhao, and Baowen Xu
(Nanjing University, China)
Article Search
Automated Test-Case Generation by Cloning
Mathias Landhäußer and Walter F. Tichy
(KIT, Germany)
Article Search

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 Search
Declarative Automated Test
Niels Hallenberg and Philip Lykke Carlsen
(SimCorp, Denmark)
Article Search
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 Search
A Methodology for Energy Performance Testing of Smartphone Applications
Abdulhakim Abogharaf, Rajesh Palit, Kshirasagar Naik, and Ajit Singh
(University of Waterloo, Canada)
Article Search

Design for Test

Refactoring Towards Seams in C++
Michael Rüegg and Peter Sommerlad
(University of Applied Sciences Rapperswil, Switzerland)
Article Search

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 Search
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 Search
All-Values Symbolic Execution
Giovanni Denaro
(University of Milano-Bicocca, Italy)
Article Search
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 Search

proc time: 3.15