Aslantest: A symbolic execution tool for Testing Asian formal specifications

Proceedings of the 1994 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1994

Volumn , Issue , 1994, Pages 15-27

  Douglas, Jeffrey ^a   Kemmerer, Richard A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; LIFE CYCLE; MODEL CHECKING; SOFTWARE TESTING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

FIRST ORDER PREDICATE CALCULUS; RELIABLE SYSTEMS; SOFTWARE LIFE CYCLES; STATE BASED; SYMBOLIC EXECUTION; TEST CASE;

FORMAL SPECIFICATION;

EID: 85030265725     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/186258.186487     Document Type: Conference Paper

References (9)

1. [AK 92] Auernheimer, B. and R. A. Kemmerer, "ASIAN User's Manual", Department of Computer Science, University of California, Santa Barbara, California, TRCS 84-10, April 1992.
2. [Dou 93a] Douglas, J., "Aslantest User's Manual", Department of Computer Science, University of California, Santa Barbara, California, TRCS 93-12, July 1993.
3. [Dou 93b] Douglas, J., "XAslantest User's Manual", Department of Computer Science, University of California, Santa Barbara, California, TRCS 93-26, July 1993.
4. [HI 88] Hekmatpour, S. and Darrel Ince, Software Prototyping, Formal Methods, and VDM, Addison Wesley, New York, New York, 1988.
5. [Kern 85] Kemmerer, R. A., "Testing Formal Specifications to Detect Design Errors", IEEE Transactions on Software Engineering, pp. 32-43, vol SE-11, No. 1, January 1985.
6. [KE 85a] Kemmerer, R. A. and S. T. Eckmann, "UNISEX: a UNIx-based Symbolic EXecutor for Pascal", Software-Practice and Experience, pp. 439-458, vol. 15, No. 5, May 1985.
7. [KE 85b] Kemmerer, R. A. and S. T. Eckmann, "INATEST: an Interactive Environment for Testing Formal Specifications", Software Engineering Notes, vol. 10, No. 4, August 1985.
8. [VSV 91] van Hee, K. M., L. J. Somers, and M. Voorhoeve, "Z and High Level Petri Nets", Software Development Methods, 4th International Symposium of VDM, pp. 204-219, Noordwijkerhout, The Netherlands, 1991.
9. [VN91] Veronika, D. and R. Nicholl, "EZ: A System for Automatic Prototyping of Z Specifications", Software Development Methods, 4th International Symposium of VDM, pp. 189-203, Noordwijkerhout, The Netherlands, 1991.