AST 2014- Proceedings of the 9th International Workshop on Automation of Software Test

Full Citation in the ACM Digital Library

SESSION: Security and Performance Testing

Attack pattern-based combinatorial testing

• Josip Bozic
• Dimitris E. Simos
• Franz Wotawa

An automated testing approach for inter-application security in Android

• Chenkai Guo
• Jing Xu
• Hongji Yang
• Ying Zeng
• Shuang Xing

Categorizing configuration parameters of smartphones for energy performance testing

• Kshirasagar Naik
• Yasir Ali
• Veluppillai Mahinthan
• Ajit Singh
• Abdulhakim Abogharaf

SESSION: Test and Change Coverage

Social coverage for customized test adequacy and selection criteria

• Breno Miranda
• Antonia Bertolino

Selecting manual regression test cases automatically using trace link recovery and change coverage

• Sebastian Eder
• Benedikt Hauptmann
• Maximilian Junker
• Rudolf Vaas
• Karl-Heinz Prommer

Effective unit-testing in model-based software development

• Damodaram Kamma
• Pooja Maruthi

SESSION: Property Checking and Debugging

Verification of non-functional properties of cloud-based distributed system services

• Kaliappa Ravindran
• Arun Adiththan

Improved semantics and implementation through property-based testing with QuickCheck

• Huiqing Li
• Simon Thompson

Reduce first, debug later

• Alexander Elyasov
• Wishnu Prasetya
• Jurriaan Hage
• Andreas Nikas