Publisher
Springer International Publishing
Reference6 articles.
1. Lecture Notes in Computer Science;A Belinfante,2005
2. Elyasov, A., Prasetya, I.S.W.B., Hage, J., Nikas, A.: Reduce first, debug later. In: 9th Int. Workshop on Automation of Software Test, pp. 57–63. ACM (2014)
3. Lecture Notes in Computer Science;J-C Fernandez,1996
4. ITU: ASN.1 Project.
http://www.itu.int/en/ITU-T/asn1
5. Tervoort, T.: APSL.
https://git.science.uu.nl/prase101/apsl
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Protocol Conformance with Choreographic PlusCal;Theoretical Aspects of Software Engineering;2023
2. Using an agent-based approach for robust automated testing of computer games;Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation;2021-08-23
3. Test model coverage analysis under uncertainty: extended version;Software and Systems Modeling;2021-02-09
4. Test Model Coverage Analysis Under Uncertainty;Software Engineering and Formal Methods;2019