Skip to content
STIMSMITH

ATGen

Tool
First seen 7/11/2026
Last seen 7/11/2026
Evidence 2 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

3 connections
Towards a framework for constraint-based test case generation ← compares with 80% 2e
The paper mentions ATGen as an existing tool using symbolic execution for structural coverage.
Symbolic Execution uses → 95% 2e
ATGen uses constraint logic programming and symbolic execution for structural coverage.
structural coverage evaluates → 95% 2e
ATGen is used for structural coverage of Spark ADA programs.