45 search results - page 4 / 9 » A Tool to Automatically Map Implementation-based Testing Tec... |
89
Voted
DEXAW
2007
IEEE
15 years 3 months ago
2007
IEEE
System interoperability is a well known issue, especially for heterogeneous information systems, where ontologybased representations may support automatic and usertransparent inte...
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
ISCI
2008
14 years 11 months ago
2008
Automatic software testing tools are still far from ideal for real world object-oriented (OO) software. The use of nature inspired search algorithms for this problem has been inve...
89
Voted
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
111
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...