290 search results - page 19 / 58 » Using a Software Testing Technique to Improve Theorem Provin... |
ICALP
2011
Springer
13 years 1 months ago
2011
Springer
-Preserving Atomicity Abstraction Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 University of Oxford Modern concurrent algorithms are usually encapsulated in libr...
COMPSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
Mesh simplification is a mainstream technique to render graphics responsively in modern graphical software. However, the graphical nature of the output poses a test oracle problem...
BMCBI
2007
13 years 10 months ago
2007
Background: Classifying nuclear magnetic resonance (NMR) spectra is a crucial step in many metabolomics experiments. Since several multivariate classification techniques depend up...
ASE
2005
13 years 10 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
IRI
2007
IEEE
14 years 4 months ago
2007
IEEE
We present a software defect prediction model using operating characteristic curves. The main idea behind our proposed technique is to use geometric insight in helping construct a...