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

Frontmatter

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)


@InProceedings{AST14p1, author = {Josip Bozic and Dimitris E. Simos and Franz Wotawa}, title = {Attack Pattern-Based Combinatorial Testing}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2014}, }

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)


@InProceedings{AST14p8, author = {Chenkai Guo and Jing Xu and Hongji Yang and Ying Zeng and Shuang Xing}, title = {An Automated Testing Approach for Inter-application Security in Android}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {8-7}, doi = {}, year = {2014}, }

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)


@InProceedings{AST14p15, author = {Kshirasagar Naik and Yasir Ali and Veluppillai Mahinthan and Ajit Singh and Abdulhakim Abogharaf}, title = {Categorizing Configuration Parameters of Smartphones for Energy Performance Testing}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {15-14}, doi = {}, year = {2014}, }

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)


@InProceedings{AST14p22, author = {Breno Miranda and Antonia Bertolino}, title = {Social Coverage for Customized Test Adequacy and Selection Criteria}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {22-21}, doi = {}, year = {2014}, }

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)


@InProceedings{AST14p29, author = {Sebastian Eder and Benedikt Hauptmann and Maximilian Junker and Rudolf Vaas and Karl-Heinz Prommer}, title = {Selecting Manual Regression Test Cases Automatically using Trace Link Recovery and Change Coverage}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {29-28}, doi = {}, year = {2014}, }

Effective Unit-Testing in Model-Based Software Development
Damodaram Kamma and Pooja Maruthi
(Bosch, India)


@InProceedings{AST14p36, author = {Damodaram Kamma and Pooja Maruthi}, title = {Effective Unit-Testing in Model-Based Software Development}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {36-35}, doi = {}, year = {2014}, }

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)


@InProceedings{AST14p43, author = {Kaliappa Ravindran and Arun Adiththan}, title = {Verification of Non-functional Properties of Cloud-Based Distributed System Services}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {43-42}, doi = {}, year = {2014}, }

Improved Semantics and Implementation through Property-Based Testing with QuickCheck
Huiqing Li and Simon Thompson
(University of Kent, UK)


@InProceedings{AST14p50, author = {Huiqing Li and Simon Thompson}, title = {Improved Semantics and Implementation through Property-Based Testing with QuickCheck}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {50-49}, doi = {}, year = {2014}, }

Reduce First, Debug Later
Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, and Andreas Nikas
(Utrecht University, Netherlands)


@InProceedings{AST14p57, author = {Alexander Elyasov and Wishnu Prasetya and Jurriaan Hage and Andreas Nikas}, title = {Reduce First, Debug Later}, booktitle = {Proc.\ AST}, publisher = {ACM}, pages = {57-56}, doi = {}, year = {2014}, }

proc time: 0.75