Abstract is missing.
- SECFUZZ: Fuzz-testing security protocolsPetar Tsankov, Mohammad Torabi Dashti, David A. Basin. 1-7 [doi]
- Testing of PolPA authorization systemsAntonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Paolo Mori. 8-14 [doi]
- Grammar based oracle for security testing of web applicationsAndrea Avancini, Mariano Ceccato. 15-21 [doi]
- A whitebox approach for automated security testing of Android applications on the cloudRiyadh Mahmood, Naeem Esfahani, Thabet Kacem, Nariman Mirzaei, Sam Malek, Angelos Stavrou. 22-28 [doi]
- Software testing of mobile applications: Challenges and future research directionsHenry Muccini, Antonio Di Francesco, Patrizio Esposito. 29-35 [doi]
- Benefits and limitations of automated software testing: Systematic literature review and practitioner surveyDudekula Mohammad Rafi, Katam Reddy Kiran Moses, Kai Petersen, Mika Mäntylä. 36-42 [doi]
- Introducing model-based testing in an industrial scrum projectVladimir Entin, Mathias Winder, Bo Zhang, Stephan Christmann. 43-49 [doi]
- An industrial case study of the effectiveness of test generatorsPietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad. 50-56 [doi]
- Software Test Automation practices in agile development environment: An industry experience reportEliane Figueiredo Collins, Vicente Ferreira de Lucena. 57-63 [doi]
- Category Partition Method and Satisfiability Modulo Theories for test case generationValentin Chimisliu, Franz Wotawa. 64-70 [doi]
- Scalable automated test generation using coverage guidance and random searchTheAnh Do, Alvis Cheuk M. Fong, Russel Pears. 71-75 [doi]
- Automated EFSM-based test case generation with scatter searchJie Zhang, Rui Yang, Zhenyu Chen, Zhihong Zhao, Baowen Xu. 76-82 [doi]
- Automated test-case generation by cloningMathias Landhäußer, Walter F. Tichy. 83-88 [doi]
- BlackHorse: Creating smart test cases from brittle recorded testsSanto Carino, James H. Andrews, Sheldon Goulding, Pradeepan Arunthavarajah, Tony Florio, Jakub Hertyk. 89-95 [doi]
- Declarative automated testNiels Hallenberg, Philip Lykke Carlsen. 96-102 [doi]
- Beyond plain video recording of GUI tests: Linking test case instructions with visual response documentationRaphael Pham, Helge Holzmann, Kurt Schneider, Christian Brüggemann. 103-109 [doi]
- A methodology for energy performance testing of smartphone applicationsAbdulhakim Abogharaf, Rajesh Palit, Kshirasagar Naik, Ajit Singh. 110-116 [doi]
- Refactoring towards seams in C++Michael Ruegg, Peter Sommerlad. 117-123 [doi]
- Test case prioritization incorporating ordered sequence of program elementsKun Wu, Chunrong Fang, Zhenyu Chen, Zhihong Zhao. 124-130 [doi]
- G-RankTest: Regression testing of controller applicationsLeonardo Mariani, Oliviero Riganelli, Mauro Santoro, Muhammad Ali. 131-137 [doi]
- All-values symbolic executionGiovanni Denaro. 138-144 [doi]
- On the role of diversity measures for multi-objective test case selectionAndrea De Lucia, Massimiliano Di Penta, Rocco Oliveto, Annibale Panichella. 145-151 [doi]