Towards Automating the Generation of Mutation Tests

Papadakis, M., Malevris, N. and Kallia, M. (2010) Towards Automating the Generation of Mutation Tests. In: 5th Workshop on Automation of Software Test (AST '10), Cape Town, South Africa, 03-04 May 2010, pp. 111-118. ISBN 9781605589701 (doi:10.1145/1808266.1808283)

Full text not currently available from Enlighten.

Abstract

Automating software testing activities can increase the quality and drastically decrease the cost of software development. Towards this direction various automated test data generation tools have been developed. The majority of them aim at branch testing, while a quite limited number aim at a higher level of testing thoroughness such as mutation. In this paper an automated framework that makes a joint use of diverse techniques and tools is introduced in the context of automating mutation based test generation. The motivation behind this work is the use of existing techniques and tools such as symbolic execution and evolutionary testing towards automating the test input generation activity according to the weak mutation testing criterion. The proposed framework integrates existing automated tools for branch testing in order to effectively generate mutation test data. To fulfill this suggestion three automated tools are used for illustration purposes and preliminary results are obtained by applying the proposed framework to a set of java program units indicating the applicability and effectiveness of the proposed approach.

Item Type:Conference Proceedings
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Kallia, Dr Maria
Authors: Papadakis, M., Malevris, N., and Kallia, M.
College/School:College of Science and Engineering > School of Computing Science
ISBN:9781605589701

University Staff: Request a correction | Enlighten Editors: Update this record