Author:
Paraskevopoulou Zoe,Hriţcu Cătălin,Dénès Maxime,Lampropoulos Leonidas,Pierce Benjamin C.
Publisher
Springer International Publishing
Reference24 articles.
1. Appel, A.W.: Efficient verified red-black trees, Manuscript (2011)
2. Lecture Notes in Computer Science;S Berghofer,2009
3. Brucker, A.D., Brügger, L., Wolff, B.: Formal firewall conformance testing: an application of test and proof techniques. Softw. Test. Verification Reliab. 25(1), 34–71 (2015)
4. Brucker, A.D., Wolff, B.: On theorem prover-based testing. Formal Aspects Comput. 25(5), 683–721 (2013)
5. Lecture Notes in Computer Science;L Bulwahn,2012
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Automated Infrastructure as Code Program Testing;IEEE Transactions on Software Engineering;2024-06
2. Property-Based Testing in Practice;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
3. Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs.;The Journal of Object Technology;2024
4. Automatically Enforcing Rust Trait Properties;Lecture Notes in Computer Science;2023-12-30
5. PropProof: Free Model-Checking Harnesses from PBT;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30