Aslantest animates Aslan specifications and enables users to interactively run specific test cases or symbolically execute the specification. Testing the formal specifications early in the software life cycle allows one to assure a reliable system that also provides the desired functionality.
This paper introduces Aslantest, a symbolic execution tool for the formal specification language Aslan. Aslan is a state-based specification language built on ...
Aslantest animates Aslan specifications and enables users to interactively run specific test cases or symbolically execute the specification. Testing the formal ...
Aslantest animates Aslan specifications and enables users to interactively run specific test cases or symbolically execute the specification. This document is ...
Jul 1, 1993 · Aslantest animates Aslan specifications andenables users to interactively run specific test cases or symbolically executethe specification. This ...
Jeffrey Douglas, Richard A. Kemmerer: Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications. ISSTA 1994: 15-27.
AslanTest. • A Symbolic Execution Tool for the ASLAN. Formal Specification Language. • Developed from two previous symbolic execution tools: – Inatest. – Unisex.
Jeffrey Douglas, Richard A. Kemmerer: Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications. ISSTA 1994: 15-27.
People also ask
What is a symbolic execution tool?
What is symbolic execution memory model?
Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications. ... Selecting Tests and Identifying Test Coverage Requirements for Modified Software ...
Douglas and R.A. Kemmerer, “Aslantest: A Symbolic. Execution Tool for Testing ASLAN Formal Specifications”,. Proc. ISTSTA '94 - Intl. Symp. on Software Testing ...
In response to a legal request submitted to Google, we have removed 1 result(s) from this page. If you wish, you may read more about the request at LumenDatabase.org. |