10th International Workshop on Automation of software Test (AST) - Florence; Italy; 23-24 May 2015
He Zhu, Dan Hao, Leonardo Mariani, Rajesh Subramanyan · BOA (University of Milano-Bicocca) · 2015
The proceedings contain 18 papers. The topics discussed include: towards cost-effective oracles; building test oracles by clustering failures; TASSA: testing framework for web service orchestrations; evaluating the effect of test case length on GUI test suite performance; GUI test case prioritization by state-coverage criterion; GuideSE: annotations for guiding concolic testing; GuideSE: annotations for guiding concolic testing; automatic test-pattern generation for grey-box programs; AIM: adaptable instrumentation and monitoring for automated software performance analysis; combining unit tests for data race detection; light-weight rule-based test case generation for detecting buffer overflow vulnerabilities; metamorphic testing: a simple method for alleviating the test oracle problem; dynamic inference of likely metamorphic properties to support differential testing; an experimental protocol for analyzing the accuracy of software error impact analysis; and mining patterns of unsatisfiable constraints to detect infeasible paths.