DART
Top Cited Papers
- 12 June 2005
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 40 (6), 213-223
- https://doi.org/10.1145/1065010.1065036
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Synthesis of interface specifications for Java classesPublished by Association for Computing Machinery (ACM) ,2005
- Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic ExecutionLecture Notes in Computer Science, 2005
- Continuous Testing in EclipseElectronic Notes in Theoretical Computer Science, 2004
- Test input generation with java PathFinderPublished by Association for Computing Machinery (ACM) ,2004
- KoratPublished by Association for Computing Machinery (ACM) ,2002
- Automatically closing open reactive programsPublished by Association for Computing Machinery (ACM) ,1998
- A semantic model of program faultsPublished by Association for Computing Machinery (ACM) ,1996
- 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