Publisher
Springer International Publishing
Reference52 articles.
1. Andreasen, E.S., Møller, A., Nielsen, B.B.: Systematic approaches for increasing soundness and precision of static analyzers. In: Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis, SOAP 2017, pp. 31–36. Association for Computing Machinery, New York (2017). https://doi.org/10.1145/3088515.3088521
2. Lecture Notes in Computer Science;S Blazy,2013
3. Brummayer, R., Biere, A.: Fuzzing and delta-debugging SMT solvers. In: Proceedings of the 7th International Workshop on Satisfiability Modulo Theories, SMT 2009, pp. 1–5. Association for Computing Machinery, New York (2009). https://doi.org/10.1145/1670412.1670413
4. Bueno, F., et al.: On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. In: Proceedings of the 3rd International Workshop on Automated Debugging-AADEBUG 1997, pp. 155–170. University of Linköping Press, Linköping, Sweden, May 1997. ftp://cliplab.org/pub/papers/aadebug_discipldeliv.ps.gz
5. Lecture Notes in Computer Science;F Bueno,2004
Cited by
2 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. Testing Dafny (experience paper);Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18