48 search results - page 1 / 10 » Using Contracts and Boolean Queries to Improve the Quality o... |
TAP
2007
Springer
14 years 5 months ago
2007
Springer
ISSTA
2010
ACM
14 years 2 months ago
2010
ACM
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
DEXA
2003
Springer
14 years 4 months ago
2003
Springer
: We demonstrate an approach to transform keyword queries automatically into queries that combine keywords appropriately by boolean operations, such as and and or. Our approach is ...
IPM
2007
13 years 11 months ago
2007
The work described here initially formed part of a triangulation exercise to establish the effectiveness of the Query Term Order algorithm. The methodology produced subsequently p...
ECOOP
2006
Springer
14 years 2 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...