Author:
Claessen Koen,Duregård Jonas,Pałka Michał H.
Publisher
Springer International Publishing
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. 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
2. Etna: An Evaluation Platform for Property-Based Testing (Experience Report);Proceedings of the ACM on Programming Languages;2023-08-30
3. Covering All the Bases: Type-Based Verification of Test Input Generators;Proceedings of the ACM on Programming Languages;2023-06-06
4. MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04
5. Computing correctly with inductive relations;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09