Evaluating Tools for Automatic Software Testing (Report on Test-Comp 2026)
Dirk Beyer
Topics & Concepts
Computer scienceTest suiteValidatorSoftware engineeringTest scriptTest Management ApproachKeyword-driven testingBenchmark (surveying)ReuseTest harnessSoftwareSuiteTask (project management)Code coverageTest (biology)System under testSet (abstract data type)Manual testingTest caseSoftware qualityGenerator (circuit theory)Software testingReliability engineeringEvent (particle physics)Test strategyModel-based testingWhite-box testingAutomatic test equipmentProgramming languageSoftware developmentRegression testingUnit testingSoftware systemVerification and validationData miningSoftware quality assuranceSoftware constructionSoftware Testing and Debugging TechniquesSoftware Engineering Techniques and PracticesSoftware System Performance and Reliability