1. Testing web applications by modeling with FSMs;Andrews;Software Systems and Modeling,2005
2. C. Artho, V. Schuppan, A. Biere, P. Eugster, M. Baur, B. Zweimüller, JNuke: Efficient Dynamic Analysis for Java, in: 16th Intl. Conf. on Computer Aided Verification, Boston, USA, July 2004.
3. H. Barringer, A. Goldberg, K. Havelund, K. Sen, Eagle Does Space Efficient LTL Monitoring, Technical Report, CSPP-25, University of Manchester, Department of Computer Science, October 2003.
4. S.A. Becker, Ar. Hevner, A White Box Analysis of Concurrent System Designs, in: 10th Annual Intl. Phoenix Conf. on Computers and Communications, Scottsdale, AZ, USA, 1991, pp. 332–338.
5. I. Beer, S. Ben-David, C. Eisner, The Temporal Logic Sugar, in: 13th Intl. Conf. on Computer Aided Verification, LNCS: 2102, 2001, pp. 363–367.