247 search results - page 5 / 50 » Automatic Test Data Generation Using Constraint Solving Tech... |
84
Voted
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
114
click to vote
IFIP
2001
Springer
15 years 2 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
QSIC
2003
IEEE
15 years 2 months ago
2003
IEEE
A character string is an important element in programming. A problem that needs further research is how to automatically generate software test data for character strings. This pa...
72
Voted
ISSRE
2008
IEEE
15 years 3 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
103
click to vote
FLOPS
2010
Springer
15 years 4 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...