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

An automated testing approach for inter-application security in Android

Categorizing configuration parameters of smartphones for energy performance testing

SESSION: Test and Change Coverage

Social coverage for customized test adequacy and selection criteria

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

Effective unit-testing in model-based software development

SESSION: Property Checking and Debugging

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

Improved semantics and implementation through property-based testing with QuickCheck

Reduce first, debug later