Author:
Jacobs Swen,Kuncak Viktor
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science;A.R. Bradley,2005
2. Lecture Notes in Computer Science;E. Cohen,2009
3. Lecture Notes in Computer Science;Y. Ge,2009
4. Gligoric, M., Gvero, T., Jagannath, V., Khurshid, S., Kuncak, V., Marinov, D.: Test generation through programming in UDITA. In: International Conference on Software Engineering, ICSE (2010)
5. Lecture Notes in Computer Science;C. Ihlemann,2008
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Defining behaviorizeable relations to enable inference in semi-automatic program synthesis;Journal of Logical and Algebraic Methods in Programming;2021-11
2. On Invariant Synthesis for Parametric Systems;Lecture Notes in Computer Science;2019
3. A fully verified container library;Formal Aspects of Computing;2018-09
4. A Verified Implementation of the Bounded List Container;Tools and Algorithms for the Construction and Analysis of Systems;2018
5. Refutation-based synthesis in SMT;Formal Methods in System Design;2017-02-16