239 search results - page 1 / 48 » Data Abstraction and Constraint Solving for Conformance Test... |
APSEC
2005
IEEE
13 years 10 months ago
2005
IEEE
ICST
2010
IEEE
13 years 3 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
CP
2007
Springer
13 years 9 months ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
ISSRE
2007
IEEE
13 years 6 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
ISSTA
1998
ACM
13 years 9 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...