Author:
Ho Vivian M.,Alvin Chris,Mukhopadhyay Supratik,Peterson Brian,Lawson Jimmie D.
Publisher
Springer International Publishing
Reference30 articles.
1. Lecture Notes in Computer Science;C Alvin,2017
2. Bielik, P., Raychev, V., Vechev, M.T.: PHOG: probabilistic model for code. In: Proceedings of the 33nd International Conference on Machine Learning, ICML 2016, New York City, NY, USA, 19–24 June 2016, pp. 2933–2942 (2016)
3. Lecture Notes in Computer Science;P Bielik,2017
4. Blumer, A., Ehrenfeucht, A., Haussler, D., Warmuth, M.K.: Learnability and the Vapnik-Chervonenkis dimension. J. ACM 36(4), 929–965 (1989)
5. Chen, Y., et al.: PAC learning-based verification and model synthesis. In: Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, 14–22 May 2016, pp. 714–724 (2016)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Program analysis using empirical abstraction;International Journal on Software Tools for Technology Transfer;2023-07-06
2. Empirical Abstraction;Runtime Verification;2020