posted by system || 3034 views || tracked by 7 users: [display]

TAP 2014 : 8th International Conference on Tests And Proofs


Conference Series : Tests and Proofs
When Jul 24, 2014 - Jul 25, 2014
Where York, United Kingdom
Abstract Registration Due Feb 25, 2014
Submission Deadline Mar 1, 2014

Call For Papers

The TAP conference is devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality.

Testing and proving seem to be contradictory techniques: once you have proved your program to be correct then additional testing seems pointless; on the other hand, when such a proof is not feasible, then testing the program seems to be the only option. This view has dominated the research community since the dawn of computer science, and has resulted in distinct communities pursuing the seemingly orthogonal research areas.

However, the development of both approaches has lead to the discovery of common issues and to the realization of potential synergy. The TAP conference aims to bring together researchers and practitioners working in the converging fields of testing and proving.

The conference will include a mix of invited and submitted presentation, and a generous allocation of panels and informal discussions.

Related Resources

IEEE DApps - ZKP 2022   IEEE DApps - Special Session “Verifiable Off-Chain Computations using Zero-Knowledge Proofs – A DApp Perspective”
CPP 2023   Certified Programs and Proofs 2023
PROOFS 2022   11th International Workshop on Security Proofs for Embedded Systems
Fashion AI 2022   CFP for IEEE AI Tests 2022 : CFP : The IEEE 8th International Conference On Artificial Intelligence Testing (AITest 2022)
CPP 2022   Certified Programs and Proofs (CPP) 2022
TAP 2022   Tests and Proofs