Author:
Runciman Colin,Naylor Matthew,Lindblad Fredrik
Cited by
90 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generating Well-Typed Terms That Are Not “Useless”;Proceedings of the ACM on Programming Languages;2024-01-05
2. falsify: Internal Shrinking Reimagined for Haskell;Proceedings of the 16th ACM SIGPLAN International Haskell Symposium;2023-08-30
3. 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
4. MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04
5. Property-Based Testing: Climbing the Stairway to Verification;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29