Author:
Tanida Hideo,Prasad Mukul R.,Rajan Sreeranga P.,Fujita Masahiro
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Computer Science;L. Alfaro de,2001
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. Benedikt, M., Freire, J., Godefroid, P.: VeriWeb: Automatically Testing Dynamic Web Sites. In: Proceedings of 11th International World Wide Web Conference (2002)
4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press (1999)
5. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specifications for Finite-State Verification. In: ICSE 1999: Proceedings of the 21st International Conference on Software Engineering, pp. 411–420. ACM, New York (1999)