Second Competition on Software Testing: Test-Comp 2020
Dirk Beyer
Abstract
This report describes the 2020 Competition on Software Testing (Test-Comp), the 2 $$^{\text {nd}}$$ edition of a series of comparative evaluations of fully automatic software test-case generators for C programs. The competition provides a snapshot of the current state of the art in the area, and has a strong focus on replicability of its results. The competition was based on 3 230 test tasks for C programs. Each test task consisted of a program and a test specification (error coverage, branch coverage). Test-Comp 2020 had 10 participating test-generation systems.
Topics & Concepts
Computer scienceTest (biology)Snapshot (computer storage)Test harnessSoftwareTest Management ApproachSoftware engineeringCompetition (biology)Software testingProgramming languageSoftware developmentSoftware constructionOperating systemPaleontologyBiologyEcologySoftware Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchAdvanced Malware Detection Techniques