Author:
Chaki Sagar,Clarke Edmund,Sinha Nishant,Thati Prasanna
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Alur, R., Cerný, P., Madhusudan, P., Nam, W.: Synthesis of interface specifications for java classes. In: POPL, pp. 98–109 (2005)
2. Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 75(2), 87–106 (1987)
3. Barringer, H., Giannakopoulou, D., Pasareanu, C.S.: Proof rules for automated compositional verification. In: Proc. of the 2nd Workshop on SAVCBS (2003)
4. Bernard, M., de la Higuera, C.: Gift: Grammatical inference for terms. In: International Conference on Inductive Logic Programming (1999)
5. Lecture Notes in Artificial Intelligence;R.C. Carrasco,1998
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献