Author:
Jasper Marc,Schordan Markus
Publisher
Springer International Publishing
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The RERS challenge: towards controllable and scalable benchmark synthesis;International Journal on Software Tools for Technology Transfer;2021-06-24
2. RERS 2019: Combining Synthesis with Real-World Models;Tools and Algorithms for the Construction and Analysis of Systems;2019
3. Synthesizing Subtle Bugs with Known Witnesses;Leveraging Applications of Formal Methods, Verification and Validation. Verification;2018
4. Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code;Proceedings of the First International Workshop on Software Correctness for HPC Applications;2017-11-12
5. The RERS 2017 challenge and workshop (invited paper);Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software;2017-07-13