Publication

Back to overview

OCELOT: a search-based test-data generation tool for C

Type of publication Peer-reviewed
Publikationsform Proceedings (peer-reviewed)
Author Scalabrino Simone, Grano Giovanni, Nucci Dario Di, Guerra Michele, Lucia Andrea De, Gall Harald C., Oliveto Rocco,
Project SURF-MobileAppsData
Show all

Proceedings (peer-reviewed)

Editor , Huchard Marianne; , Fraser Gordon; , Kästner Christian
Page(s) 868 - 871
Title of proceedings Proceedings of the 33rd Int Conf on Automated Software Engineering, ASE 2018
DOI 10.1145/3238147.3240477

Open Access

URL https://www.zora.uzh.ch/id/eprint/152977/
Type of Open Access Repository (Green Open Access)

Abstract

Automatically generating test cases plays an important role to reduce the time spent by developers during the testing phase. In last years, several approaches have been proposed to tackle such a problem: amongst others, search-based techniques have been shown to be particularly promising. In this paper we describe Ocelot, a search-based tool for the automatic generation of test cases in C. Ocelot allows practitioners to write skeletons of test cases for their programs and researchers to easily implement and experiment new approaches for automatic test-data generation. We show that Ocelot achieves a higher coverage compared to a competitive tool in 81% of the cases. Ocelot is publicly available to support both researchers and practitioners.
-