2774 search results - page 118 / 555 » Query-Driven Program Testing |
160
click to vote
ISSTA
2006
ACM
16 years 12 days ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
158
Voted
ISOLA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
199
Voted
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We say that a polynomial f(x1, . . . , xn) is indecomposable if it cannot be written as a product of two polynomials that are defined over disjoint sets of variables. The polynom...
159
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Although testing for simultaneous divergence (vicariance) across different population-pairs that span the same barrier to gene flow is of central importance to evoluti...
298
click to vote
AADEBUG
2005
Springer
16 years 6 hour ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...