Author:
Gransden Thomas,Walkinshaw Neil,Raman Rajeev
Publisher
Springer International Publishing
Reference34 articles.
1. Alama, J., Heskes, T., Kühlwein, D., Tsivtsivadze, E., Urban, J.: Premise Selection for Mathematics by Corpus Analysis and Kernel Methods. Journal of Automated Reasoning 52(2), 191–213 (2014)
2. Biermann, A., Feldman, J.A.: On the Synthesis of Finite-State Machines from Samples of Their Behavior. IEEE Transactions on Computers C-21(6), 592–597 (1972)
3. LNAI;S. Böhme,2010
4. Lecture Notes in Computer Science;A. Bundy,1988
5. Cheng, K.T., Krishnakumar, A.S.: Automatic Functional Test Generation Using the Extended Finite State Machine Model. In: Proceedings of the 30th International Design Automation Conference, DAC 1993, pp. 86–91. ACM, New York (1993)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献