Selecting small yet effective set of test data
Amit Paradkar
AI 2003
Summary & Conclusions -We propose a new technique for automatic generation of test cases for predicates. Earlier we proposed an efficient effective test generation strategy for Boolean expressions. We now extend this strategy to predicates. Our new strategy addresses several issues, including: • analysis of dependencies between relational expressions in a predicate <?, • generation of test constraints for (P based on the detection of Boolean and relational operator faults in (P, • generation of actual tests according to the generated test constraints for (P. We propose: • the use of constraint logic programming (CLP) to automate testdata generation for a predicate, • an incremental approach to apply CLP techniques to solve a constraint system. Since our technique is specification-based, it can facilitate generation of anticipated outputs for actual tests. ©1996 IEEE.
Amit Paradkar
AI 2003
Sethuramalingam Subramaniam, Gargi Dasgupta, et al.
AAMAS 2018
Alan Hartman, Mika Katara, et al.
ESEC/FSE 2007
Shay Artzi, Adam Kiezun, et al.
IEEE TSE