7th International Workshop on Automation of Software Test
(Special Theme: Automation of Security Test)
2-3 June, 2012
Saturday
9:00 Keynote
Security testing: a key challenge for software engineering
Yves Le Traon
Session: security
Chair: Dianxing Xu
SECFUZZ: Fuzz-testing Security Protocols
Mohammad Torabi Dashti, Petar Tsankov and David Basin
10:30 Coffee
11:00 Testing of PolPA Authorization Systems
Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda
Marchetti, Fabio Martinelli and Paolo Mori
Grammar Based Oracle for Security Testing of Web Applications
Andrea Avancini and Mariano Ceccato
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
Charette I
12:30 Lunch
Session: surveys
Chair: Francesca Lonetti
14:00 Software Testing of Mobile Applications: challenges and future
research directions
Henry Muccini, Antonio Di Francesco and Patrizio Esposito
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ä
Session: industrial case studies
Chair: Sam Malek
Introducing Model-Based Testing in an Industrial Scrum Project
Vladimir Entin, Mathias Winder, Bo Zhang and Stephan Christmann
G-RankTest: Regression Testing of Controller Applications
Leonardo Mariani, Oliviero Riganelli, Mauro Santoro and
Muhammad Al
15:30 Coffee
16:00 Software Test Automation Practices in Agile Development
Environment: An Industry Experience Report
Eliane Collins and Vicente Ferreira De Lucena Jr
Charette II (one hour)
Sunday
Session: input generation/selection
Chair: Jamie Andrews
9:00 Category Partition Method and Satisfiability Modulo Theories
for Test Case Generation
Valentin Chimisliu and Franz Wotawa
Scalable Automated Test Generation Using Coverage Guidance and
Random Search
Theanh Do, Alvis Fong and Russel Pears
Automated EFSM-based Test Case Generation with Scatter Search
Jie Zhang, Rui Yang, Zhenyu Chen, Zhihong Zhao and Baowen Xu
Automated Test-Case Generation by Cloning
Mathias Landhäußer and Walter F. Tichy
10:30 Coffee
Session: GUI testing
Chair: Walter Tichy
11:00 BlackHorse: Creating Smart Test Cases from Brittle Recorded
Tests
Santo Carino, James Andrews, Sheldon Goulding, Pradeepan
Arunthavarajah, Tony Florio and Jakub Hertyk
Declarative Automated Test
Niels Hallenberg and Philip Lykke Carlsen
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
A Methodology for Energy Performance Testing of Smartphone
Applications
Abdulhakim Abogharaf, Rajesh Palit, Kshirasagar Naik and
Ajit Singh
12:30 Lunch
Session: design for test
Chair: Raphael Pham
14:00 Refactoring Towards Seams in C++
Michael Rüegg and Peter Sommerlad
Charette III
15:30 Coffee
Session: input generation/selection
Chair: Hong Zhu
16:00 Test Case Prioritization Incorporating Ordered Sequence of
Program Elements
Kun Wu, Zhenyu Chen, Chunrong Fang and Zhihong Zhao
An Industrial Case Study of the Effectiveness of Test
Generators
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia
Vivanti and Ali Muhammad
All-Values Symbolic Execution
Giovanni Denaro
On the Role of Diversity Measures for Multi-Objective Test
Case Selection
Andrea De Lucia, Massimiliano Di Penta, Rocco Oliveto and
Annibale Panichella
