Author:
Milicevic Aleksandar,Near Joseph P.,Kang Eunsuk,Jackson Daniel
Funder
National Science Foundation
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference57 articles.
1. Alloy* home page.
http://alloy.mit.edu/alloy/hola
2. Aigner M, Ziegler GM (2001) Turán’s graph theorem. In: Proofs from THE BOOK. Springer, Berlin, pp 183–187
3. Alur R, Bodík R, Juniwal G, Martin MMK, Raghothaman M, Seshia SA, Singh R, Solar-Lezama A, Torlak E, Udupa A (2013) Syntax-guided synthesis. In: FMCAD. IEEE, pp 1–17
4. Alur R, Bodík R, Juniwal G, Martin MMK, Raghothaman M, Seshia SA, Singh R, Solar-Lezama A, Torlak E, Udupa A (2014) Syntax-guided synthesis competition report (2014).
http://sygus.seas.upenn.edu/files/sygus_extended
5. Alvaro P, Hutchinson A, Conway N, Marczak WR, Hellerstein JM (2012) Bloomunit: declarative testing for distributed programs. In: Proceedings of the fifth international workshop on testing database systems, DBTest 2012, Scottsdale, AZ, USA, 21 May 2012, p 1
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantitative relational modelling with QAlloy;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
2. A Flow Graph based Approach for controlled Generation of AAS Digital Twin Instances for the Verification of Compliance Check Tools;IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society;2022-10-17
3. The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs;Software: Practice and Experience;2021-11-22
4. Special Issue on Syntax-Guided Synthesis Preface;Formal Methods in System Design;2021-11
5. Semantic comparisons of Alloy models;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2020-10-16