1722 search results - page 138 / 345 » Generating Tests from Counterexamples |
93
Voted
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
Built-In Self-Test (BIST) becomes important also for more complex structures like complete front-ends. In order to bring down the costs for the test overhead, Spectral Signature A...
HASKELL
2007
ACM
15 years 4 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...
PRL
1998
15 years 8 days ago
1998
A single parameter value that represents the difference between the original and the digitized characters is determined from a binary scan of a test chart. It represents the combi...
106
click to vote
PROMISE
2010
14 years 7 months ago
2010
BACKGROUND: Defect predictors learned from static code measures can isolate code modules with a higher than usual probability of defects. AIMS: To improve those learners by focusi...
109
Voted
DAS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Automatic identification of a script in a given document image facilitates many important applications such as automatic archiving of multilingual documents, searching on...