2774 search results - page 51 / 555 » Query-Driven Program Testing |
TOOLS
2008
IEEE
14 years 2 months ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...
EMSOFT
2006
Springer
13 years 11 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
CASCON
1996
13 years 9 months ago
1996
This paper de nes three levels of requirements for adequate code-based class testing, examining the eectiveness of traditional testing criteria in the context of object-oriented (...
SPIN
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
VL
1999
IEEE
14 years 12 hour ago
1999
IEEE
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...