4. TAP 2010: Málaga, Spain

Invited Talks

Specifications from Testing

Testing Proofs

Test Generation Using Proof Techniques

Theorem Proving and Testing

Abstraction