A framework and tool for porting assessment and remediation
Donald P. Pazel, Pradeep Varma, et al.
ICSM 2004
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.
Donald P. Pazel, Pradeep Varma, et al.
ICSM 2004
Avik Sinha, Stanley M. Sutton Jr., et al.
ICST 2010
Sinem Guven, Karin Murthy, et al.
NOMS 2016
Shay Artz, Adam Kiezun, et al.
ISSTA 2008