48 search results - page 1 / 10 » Using Contracts and Boolean Queries to Improve the Quality o... |
TAP
2007
Springer
14 years 1 months ago
2007
Springer
ISSTA
2010
ACM
13 years 11 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 17 days 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 7 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
13 years 11 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...