Author:
Berg Therese,Jonsson Bengt,Leucker Martin,Saksena Mayank
Subject
General Computer Science,Theoretical Computer Science
Reference12 articles.
1. Learning regaular sets from queries and counterexamples;Angluin;Information and Computation,1987
2. Queries revisited;Angluin,2001
3. Corbett, J., M. Dwyer, J. Hatcliff, S. Laubach, C. Pasareanu, Robby and H. Zheng, Bandera : Extracting finite-state models from java source code, in: Proc. 22nd Int. Conf. on Software Engineering, 2000
4. An experiment in automatic generation of test suites for protocols with verification technology;Fernandez;Science of Computer Programming,1997
5. The Spin Verification System,1997
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献