Author:
Midtgaard Jan,Moller Anders
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles;Proceedings of the ACM on Software Engineering;2024-07-12
2. Random testing of a higher-order blockchain language (experience report);Proceedings of the ACM on Programming Languages;2022-08-29
3. MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators;2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST);2020-10
4. QuickChecking Patricia Trees;Lecture Notes in Computer Science;2018
5. QuickChecking static analysis properties;Software Testing, Verification and Reliability;2017-08-30