Affiliation:
1. Universidad Politécnica de Madrid, Spain
Funder
Ministerio de Ciencia, Innovación y Universidades
Comunidad de Madrid
Reference19 articles.
1. Klaus Alfert. 2015. https://github.com/alfert/propcheck Accessed: 2021-05-06. Klaus Alfert. 2015. https://github.com/alfert/propcheck Accessed: 2021-05-06.
2. QuickCheck
3. Functional Testing of Java Programs
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Extensible Testing for Infrastructure as Code;Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity;2023-10-22
2. Generation and Refinement of Testing Models;Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang;2023-08-30