Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications


This paper introduces Aslantest, a symbolic execution tool for the formal specification language Aslan. Aslan is a state-based specification language built on first-order predicate calculus with equality. Aslantest animates Aslan specifications and enables users to interactively run specific test cases or symbolically execute the specification. Testing the… (More)
DOI: 10.1145/186258.186487


1 Figure or Table

Slides referencing similar topics