Abstract is missing.
- Automated test generation for synchronous controllersMouna Tka Mnad, Christophe Deleuze, Ioannis Parissis, Jackie Launay, Jean Baptiste Gning. 1-7 [doi]
- Model extraction and test generation from JUnit test suitesPablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco. 8-14 [doi]
- Automated testing of DSL implementations: experiences from building mbeddrDaniel Ratiu, Markus Völter. 15-21 [doi]
- Does code coverage provide a good stopping rule for operational profile based testing?Breno Miranda, Antonia Bertolino. 22-28 [doi]
- The impact of fault type on the relationship between code coverage and fault detectionAmanda Schwartz, Michael Hetzel. 29-35 [doi]
- Virtual mutation analysis of relational database schemasPhil McMinn, Gregory M. Kapfhammer, Chris J. Wright. 36-42 [doi]
- Empirical study of correlation between mutation score and model inference based test suite adequacy assessmentHermann Felbinger, Franz Wotawa, Mihai Nica. 43-49 [doi]
- Fuzzy and cross-app replay for smartphone appsYongjian Hu, Iulian Neamtiu. 50-56 [doi]
- Graph-aided directed testing of Android applications for checking runtime privacy behavioursJoseph Chan Joo Keng, Lingxiao Jiang, Tan Kiat Wee, Rajesh Krishna Balan. 57-63 [doi]
- Automated test generation for detection of leaks in Android applicationsHailong Zhang, Haowei Wu, Atanas Rountev. 64-70 [doi]
- Find more bugs with QuickCheck!John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts. 71-77 [doi]
- Automatic web security unit testing: XSS vulnerability detectionMahmoud Mohammadi, Bill Chu, Heather Richter Lipford, Emerson R. Murphy-Hill. 78-84 [doi]
- DynaMoth: dynamic code synthesis for automatic program repairThomas Durieux, Martin Monperrus. 85-91 [doi]