TAP
2010
Springer
13 years 10 months ago
2010
Springer
raction, simplification, segmentation, illumination, rendering, and illustration. Even though this technique is inspired by models of low-level human vision, it has not yet been v...
TAP
2010
Springer
14 years 3 months ago
2010
Springer
TAP
2010
Springer
14 years 4 months ago
2010
Springer
Unit tests of object-oriented code exercise particular sequences of method calls. A key problem when automatically generating unit tests that achieve high structural code coverage ...
TAP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...
TAP
2010
Springer
14 years 4 months ago
2010
Springer
TAP
2010
Springer
14 years 4 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...