169 search results - page 4 / 34 » Towards a Framework for Constraint-Based Test Case Generatio... |
169
click to vote
FLOPS
2010
Springer
15 years 11 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...
156
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
158
click to vote
FATES
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
154
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
Web Services (WSs) are the W3C-endorsed realization of the Service-Oriented Architecture (SOA). Since they are supposed to be implementation-neutral, WSs are typically tested blac...
145
click to vote
IWANN
2009
Springer
15 years 11 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...