Abbrevation
TAP
City
Zürich
Country
Switzerland
Deadline Paper
Start Date
End Date
Abstract

The TAP conference is entirely devoted to this convergence of proofs and tests&#046; Contributions discussing just proof techniques, or just testing techniques, are not appropriate for submission to TAP; instead we are interested in work that somehow combines ideas from both sides, for the advancement of software quality&#046;<br>The conference will include a mix of invited and submitted presentation, and a generous allocation of panels and informal discussions&#046; IFIP sponsorship has been requested; The proceedings will be published as Springer&#8211;Verlag LNCS&#046; Submissions in PDF, which will be refereed by the program committee, should not exceed 16 pages in standard LNCS format&#046; <b>Keywords:</b> * Generation of test cases or oracles by theorem proving<br>* Generation of test cases or oracles by constraint logic programming<br>* Generation of test cases or oracles by model checking<br>* Generation of test cases or oracles by symbolic execution<br>* Program proving with the aid of testing techniques<br>* Automatic tools<br>* Case studies<br>* Formal frameworks<br>* Verification techniques combining proofs and tests<br>* Experience reports on these topics<br>