Eclat: Automatic Generation and Classification of Test Inputs
- 1 January 2005
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 504-527
- https://doi.org/10.1007/11531142_22
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic ExecutionLecture Notes in Computer Science, 2005
- An overview of JML tools and applicationsInternational Journal on Software Tools for Technology Transfer, 2004
- JCrasher: an automatic robustness tester for JavaSoftware: Practice and Experience, 2004
- Discovering Algebraic Specifications from Java ClassesLecture Notes in Computer Science, 2003
- An Informal Formal Method for Systematic JUnit Test Case GenerationLecture Notes in Computer Science, 2002
- Automatic extraction of object-oriented component interfacesACM SIGSOFT Software Engineering Notes, 2002
- Structural specification-based testingACM SIGSOFT Software Engineering Notes, 1999
- Partition testing does not inspire confidence (program testing)IEEE Transactions on Software Engineering, 1990
- Automatic generation of test scripts from formal test specificationsACM SIGSOFT Software Engineering Notes, 1989
- The category-partition method for specifying and generating fuctional testsCommunications of the ACM, 1988