TAP 2007 | Sciweavers

19

TAP
2007
Springer

113views Hardware» more TAP 2007»

Combining Static and Dynamic Reasoning for Bug Detection

13 years 11 months ago

Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...

Yannis Smaragdakis, Christoph Csallner

claim paper

Read More »

7

click to vote

TAP
2007
Springer

64views Hardware» more TAP 2007»

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation

13 years 11 months ago

Download se.ethz.ch

Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller

claim paper

Read More »

12

click to vote

TAP
2007
Springer

92views Hardware» more TAP 2007»

Generating Unit Tests from Formal Proofs

13 years 11 months ago

Download www.cse.chalmers.se

We present a new automatic test generation method for JAVA CARD based on attempts at formal veriﬁcation of the implementation under test (IUT). Self-contained unit tests in JUnit...

Christian Engel, Reiner Hähnle

claim paper

Read More »

10

click to vote

TAP
2007
Springer

80views Hardware» more TAP 2007»

Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing

13 years 11 months ago

Download www.brucker.ch

Achim D. Brucker, Burkhart Wolff

claim paper