8398 search results - page 320 / 1680 » Optimal Software Testing |
163
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
We describe the design, implementation and use of HPC, a toolkit to record and display Haskell Program Coverage. HPC includes tools that instrument Haskell programs to record prog...
164
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we propose a novel fault-oriented test generation methodology for detection and isolation of faults in analog circuits. Given the description of the circuit-underte...
194
Voted
GI
2007
Springer
16 years 26 days ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
143
click to vote
ATS
2003
IEEE
16 years 5 hour ago
2003
IEEE
Domain testing is a well-known software testing technique. Although research tasks have been initiated in domain testing, automatic test data generation based on character string ...
158
Voted
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...