Author:
Pałka Michał H.,Claessen Koen,Russo Alejandro,Hughes John
Cited by
63 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Generating Well-Typed Terms That Are Not “Useless”;Proceedings of the ACM on Programming Languages;2024-01-05
2. A formal model of Checked C1;Journal of Computer Security;2023-10-13
3. Usando Esquema GraphQL para Geração de Consultas de Forma Aleatória;Proceedings of the XXVII Brazilian Symposium on Programming Languages;2023-09-25
4. Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing;Proceedings of the 16th ACM SIGPLAN International Haskell Symposium;2023-08-30
5. Etna: An Evaluation Platform for Property-Based Testing (Experience Report);Proceedings of the ACM on Programming Languages;2023-08-30