Author:
Alur Rajeev,?ern� Pavol,Madhusudan P.,Nam Wonhong
Cited by
92 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Program synthesis algorithm based on context consistency heuristic;International Journal of Machine Learning and Cybernetics;2023-08-01
2. Synthesizing contracts correct modulo a test generator;Proceedings of the ACM on Programming Languages;2021-10-20
3. Specification synthesis with constrained Horn clauses;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
4. Verifying object construction;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27
5. Formal specification and testing of QUIC;Proceedings of the ACM Special Interest Group on Data Communication;2019-08-19