DART
Authors:
Open Access
- 12 June 2005
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 40 (6) , 213-223
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Synthesis of interface specifications for Java classes2005
- Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution2005
- Continuous Testing in EclipseElectronic Notes in Theoretical Computer Science, 2004
- Test input generation with java PathFinder2004
- Korat2002
- Automatically closing open reactive programs1998
- A semantic model of program faults1996
- An attack on the Needham-Schroeder public-key authentication protocolInformation Processing Letters, 1995
- Using encryption for authentication in large networks of computersCommunications of the ACM, 1978
- Symbolic execution and program testingCommunications of the ACM, 1976