Author:
Arcaini Paolo,Bolis Francesco,Gargantini Angelo
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Sahi website, http://sahi.co.in/
2. Andrews, A.A., Offutt, J., Alexander, R.T.: Testing Web applications by modeling with FSMs. Software and Systems Modeling 4, 326–345 (2005)
3. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer (2003)
4. Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50, 752–794 (2003)
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献