The TAP conference is entirely devoted to this convergence of proofs and tests. 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.<br>The conference will include a mix of invited and submitted presentation, and a generous allocation of panels and informal discussions. IFIP sponsorship has been requested; The proceedings will be published as Springer–Verlag LNCS. Submissions in PDF, which will be refereed by the program committee, should not exceed 16 pages in standard LNCS format. <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>
Abbrevation
TAP
Link
City
Zürich
Country
Switzerland
Deadline Paper
Start Date
End Date
Abstract