Tests and Proofs (TAP)
(brand of TEST)1 × Czech Republic
1 × Hungary
2 × Italy
1 × Spain
3 × Switzerland
1 × United Kingdom
76 ×#testing
24 ×#generative
18 ×#verification
13 ×#modelling
13 ×#proving
13 ×#using
10 ×#automation
10 ×#specification
9 ×#uml
8 ×#analysis
Vocabulary: 330 words
167 papers in 13 issues:
- 2019
Proceedings of the 13th International Conference on Tests and Proofs (TAP 2019)- 2018
- Proceedings of the 12th International Conference on Tests and Proofs (TAP 2018)
- 2017
- Proceedings of the 11th International Conference on Tests and Proofs (TAP 2017)
- 2016
- Proceedings of the 10th International Conference on Tests and Proofs (TAP 2016)
- 2015
- Proceedings of the Ninth International Conference on Tests and Proofs (TAP 2015)
- 2014
- Proceedings of the Eighth International Conference on Tests and Proofs (TAP 2014)
- 2013
- Proceedings of the Seventh International Conference on Tests and Proofs (TAP 2013)
- 2012
- Proceedings of the Sixth International Conference on Tests and Proofs (TAP 2012)
- 2011
- Proceedings of the Fifth International Conference on Tests and Proofs (TAP 2011)
- 2010
- Proceedings of the Fourth International Conference on Tests and Proofs (TAP 2010)
- 2009
- Proceedings of the Third International Conference on Tests and Proofs (TAP 2009)
- 2008
- Proceedings of the Second International Conference on Tests and Proofs (TAP 2008)
- 2007
- Revised Papers of the First International Conference on Tests and Proofs (TAP 2007)
1 × Hungary
2 × Italy
1 × Spain
3 × Switzerland
1 × United Kingdom
76 ×#testing
24 ×#generative
18 ×#verification
13 ×#modelling
13 ×#proving
13 ×#using
10 ×#automation
10 ×#specification
9 ×#uml
8 ×#analysis
Vocabulary: 330 words
Proceedings of the 13th International Conference on Tests and Proofs (TAP 2019)Proceedings of the 12th International Conference on Tests and Proofs (TAP 2018)Proceedings of the 11th International Conference on Tests and Proofs (TAP 2017)Proceedings of the 10th International Conference on Tests and Proofs (TAP 2016)Proceedings of the Ninth International Conference on Tests and Proofs (TAP 2015)Proceedings of the Eighth International Conference on Tests and Proofs (TAP 2014)Proceedings of the Seventh International Conference on Tests and Proofs (TAP 2013)Proceedings of the Sixth International Conference on Tests and Proofs (TAP 2012)Proceedings of the Fifth International Conference on Tests and Proofs (TAP 2011)Proceedings of the Fourth International Conference on Tests and Proofs (TAP 2010)Proceedings of the Third International Conference on Tests and Proofs (TAP 2009)Proceedings of the Second International Conference on Tests and Proofs (TAP 2008)Revised Papers of the First International Conference on Tests and Proofs (TAP 2007)