AST 2014 – Proceedings

9th International Workshop on Automation of Software Test (AST 2014), May 31 – June 1, 2014, Hyderabad, India

9th International Workshop on Automation of Software Test (AST 2014)

Frontmatter

Title Page
Article: icsews14astforeword-fm000-p (type: Frontmatter) doi:

Message from the Chairs
Article: icsews14astforeword-fm001-p (type: Frontmatter) doi:

Security and Performance Testing

Attack Pattern-Based Combinatorial Testing
Josip Bozic, Dimitris E. Simos, and Franz Wotawa
(Graz University of Technology, Austria; SBA Research, Austria)
Article: icsews14astmain-astid8-p (type: Full Paper (7 pages)) doi:

An Automated Testing Approach for Inter-application Security in Android
Chenkai Guo, Jing Xu, Hongji Yang, Ying Zeng, and Shuang Xing
(Nankai University, China; Bath Spa University, UK)
Article: icsews14astmain-astid7-p (type: Full Paper (7 pages)) doi:

Categorizing Configuration Parameters of Smartphones for Energy Performance Testing
Kshirasagar Naik, Yasir Ali, Veluppillai Mahinthan, Ajit Singh, and Abdulhakim Abogharaf
(University of Waterloo, Canada; Aljabal Algharby University, Libya)
Article: icsews14astmain-astid18-p (type: Full Paper (7 pages)) doi:

Test and Change Coverage

Social Coverage for Customized Test Adequacy and Selection Criteria
Breno Miranda and Antonia Bertolino
(University of Pisa, Italy; ISTI-CNR, Italy)
Article: icsews14astmain-astid12-p (type: Full Paper (7 pages)) doi:

Selecting Manual Regression Test Cases Automatically using Trace Link Recovery and Change Coverage
Sebastian Eder, Benedikt Hauptmann, Maximilian Junker, Rudolf Vaas, and Karl-Heinz Prommer
(TU München, Germany; Munich Re, Germany)
Article: icsews14astmain-astid10-p (type: Full Paper (7 pages)) doi:

Effective Unit-Testing in Model-Based Software Development
Damodaram Kamma and Pooja Maruthi
(Bosch, India)
Article: icsews14astmain-astid21-p (type: Full Paper (7 pages)) doi:

Property Checking and Debugging

Verification of Non-functional Properties of Cloud-Based Distributed System Services
Kaliappa Ravindran and Arun Adiththan
(City University of New York, USA)
Article: icsews14astmain-astid19-p (type: Full Paper (7 pages)) doi:

Improved Semantics and Implementation through Property-Based Testing with QuickCheck
Huiqing Li and Simon Thompson
(University of Kent, UK)
Article: icsews14astmain-astid6-p (type: Full Paper (7 pages)) doi:

Reduce First, Debug Later
Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, and Andreas Nikas
(Utrecht University, Netherlands)
Article: icsews14astmain-astid13-p (type: Full Paper (7 pages)) doi: