1112 search results - page 67 / 223 » Executing Abstract Test Cases |
152
click to vote
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
178
click to vote
ICDE
2012
IEEE
13 years 5 months ago
2012
IEEE
Abstract—Relational database management systems are general in the sense that they can handle arbitrary schemas, queries, and modifications; this generality is implemented using...
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
107
click to vote
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
125
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Regression testing aims at showing that code has not been adversely affected by modification activities during maintenance. Regression test selection techniques reuse tests from...