Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lecture Notes in Computer Science;D. Beyer,2012
2. Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The Software Model Checker Blast. Int. J. Softw. Tools Technol. Transfer 9(5-6), 505–525 (2007)
3. Beyer, D., Henzinger, T.A., Théoduloz, G.: Program Analysis with Dynamic Precision Adjustment. In: Proc. ASE, pp. 29–38. IEEE (2008)
4. Lecture Notes in Computer Science;D. Beyer,2011
5. Beyer, D., Keremoglu, M.E., Wendler, P.: Predicate Abstraction with Adjustable-Block Encoding. In: Proc. FMCAD, pp. 189–197. FMCAD (2010)
Cited by
57 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Green Fuzzer Benchmarking;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
2. Software Testing: 5th Comparative Evaluation: Test-Comp 2023;Fundamental Approaches to Software Engineering;2023
3. Competition on Software Verification and Witness Validation: SV-COMP 2023;Tools and Algorithms for the Construction and Analysis of Systems;2023
4. Progress on Software Verification: SV-COMP 2022;Tools and Algorithms for the Construction and Analysis of Systems;2022
5. Advances in Automatic Software Testing: Test-Comp 2022;Fundamental Approaches to Software Engineering;2022