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.
Zhu, H., Hao, D., Mariani, L., Subramanyan, R. (a cura di). (2015). 10th International Workshop on Automation of software Test (AST) - Florence; Italy; 23-24 May 2015. Piscataway, NJ : Institute of Electrical and Electronics Engineers Inc..
10th International Workshop on Automation of software Test (AST) - Florence; Italy; 23-24 May 2015
MARIANI, LEONARDO;
2015
Abstract
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.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
