AST '16- Proceedings of the 11th International Workshop on Automation of Software Test

Full Citation in the ACM Digital Library

SESSION: Tests automation

Automated test generation for synchronous controllers

• Mouna Tka Mnad
• Christophe Deleuze
• Ioannis Parissis
• Jackie Launay
• Jean Baptiste Gning

Model extraction and test generation from JUnit test suites

• Pablo Lamela Seijas
• Simon Thompson
• Miguel Ángel Francisco

Automated testing of DSL implementations: experiences from building mbeddr

• Daniel Ratiu
• Markus Voelter

SESSION: Coverage and mutation analysis

Does code coverage provide a good stopping rule for operational profile based testing?

• Breno Miranda
• Antonia Bertolino

The impact of fault type on the relationship between code coverage and fault detection

• Amanda Schwartz
• Michael Hetzel

Virtual mutation analysis of relational database schemas

• Phil McMinn
• Gregory M. Kapfhammer
• Chris J. Wright

Empirical study of correlation between mutation score and model inference based test suite adequacy assessment

• Hermann Felbinger
• Franz Wotawa
• Mihai Nica

SESSION: Testing smartphone applications

Fuzzy and cross-app replay for smartphone apps

• Yongjian Hu
• Iulian Neamtiu

Graph-aided directed testing of Android applications for checking runtime privacy behaviours

• Joseph Chan Joo Keng
• Lingxiao Jiang
• Tan Kiat Wee
• Rajesh Krishna Balan

Automated test generation for detection of leaks in Android applications

• Hailong Zhang
• Haowei Wu
• Atanas Rountev

SESSION: Fault detection and repair

Find more bugs with QuickCheck!

• John Hughes
• Ulf Norell
• Nicholas Smallbone
• Thomas Arts

Automatic web security unit testing: XSS vulnerability detection

• Mahmoud Mohammadi
• Bill Chu
• Heather Richter Lipford
• Emerson Murphy-Hill

DynaMoth: dynamic code synthesis for automatic program repair

• Thomas Durieux
• Martin Monperrus