3527 search results - page 57 / 706 » Test Automation in Practice |
KBSE
1997
IEEE
15 years 2 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
109
click to vote
GECCO
2010
Springer
15 years 2 months ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
ESA
2008
Springer
14 years 11 months ago
2008
Springer
We experimentally study the reliability of geometric software for point location in simple polygons. As expected, the code we tested works very well for random query points. Howeve...
EWCBR
1998
Springer
15 years 2 months ago
1998
Springer
This paper presents the CARE-PARTNER system. Functionally, it offers via the WWW knowledge-support assistance to clinicians responsible for the long-term follow-up of stem-cell pos...
FORMATS
2009
Springer
15 years 4 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...