Author:
Bourdonov Igor B.,Kossatchev Alexander S.,Kuliamin Victor V.,Petrenko Alexander K.
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. http://www.ispras.ru/~RedVerst/
2. http://www.fmeurope.org/databases/fmadb088.html
3. Lect Notes Comput Sci;I. Bourdonov,1999
4. D. Peters, D. Parnas. Using Test Oracles Generated from Program Documentation. IEEE Transactions on Software Engineering, 24(3):161–173, 1998.
5. M. Obayashi, H. Kubota, S. P. McCarron, L. Mallet. The Assertion Based Testing Tool for OOP: ADL2, available via
http://adl.xopen.org/exgr/icse/icse98.htm
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. TLS 1.3 Clients Testing;Proceedings of 24th Scientific Conference “Scientific Services & Internet – 2022”;2022
2. Specification-Based Testing;Texts in Theoretical Computer Science. An EATCS Series;2022
3. Verification of security properties of the TLS 1.3 extensions;Scientific Conference “Scientific Services & Internet”;2021
4. Verification of security properties of the TLS protocol version 1.3;Proceedings of 22nd Scientific Conference “Scientific Services & Internet – 2020”;2020
5. EAP Clients verification;Proceedings of 21th Scientific Conference “Scientific Services & Internet – 2019”;2019