TAP
2010
Springer
13 years 5 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
13 years 11 months ago
2010
Springer
TAP
2010
Springer
14 years 15 days 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 15 days 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 15 days ago
2010
Springer
TAP
2010
Springer
14 years 15 days 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...