2302 search results - page 30 / 461 » Testing as Abstraction |
156
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Test case prioritization for regression testing can be performed using different metrics (e.g., statement coverage, path coverage) depending on the application context. Employing ...
130
click to vote
FSTTCS
2005
Springer
15 years 11 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...
155
click to vote
ISSRE
2010
IEEE
15 years 3 months ago
2010
IEEE
—Models abstract reality. Although abstract, such models can capture the essence of real world phenomena as long as they are sufficiently accurate. The development of new techni...
126
Voted
XPU
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The paper outlines an experiment conducted in two different academic environments, in which FIT tests were used as a functional requirements specification. Common challen...
134
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...