Building Rich Internet Applications Models: Example of a Better Strategy Suryakant Choudhary1 , Mustafa Emre Dincturk1 , Seyed M. Mirtaheri1 , Guy-Vincent Jourdan1,2 , Gregor v. Bochmann1,2 , and Iosif Viorel Onut3,4 1

First Page		Document Content
Date: 2013-04-30 15:56:24 Web crawler Model-based testing Shortest path problem Rich Internet application Graph Graph theory Mathematics Theoretical computer science		Building Rich Internet Applications Models: Example of a Better Strategy Suryakant Choudhary1 , Mustafa Emre Dincturk1 , Seyed M. Mirtaheri1 , Guy-Vincent Jourdan1,2 , Gregor v. Bochmann1,2 , and Iosif Viorel Onut3,4 1 Add to Reading List Source URL: ssrg.site.uottawa.ca Download Document from Source Website File Size: 191,02 KB Share Document on Facebook

	Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract DocID: 1xVj1 - View Document
	Model-Based Testing of Electronic Passports Wojciech Mostowski1 , Erik Poll1 , Julien Schmaltz2 , Jan Tretmans1,2 , and Ronny Wichers Schreur1 1 2 DocID: 1uZqX - View Document
	Model-Based Testing of a WAP Gateway: an Industrial Case-Study Anders Hessel and Paul Pettersson Department of Information Technology, Uppsala University, P.O. Box 337, SEUppsala, Sweden. E-mail: {hessel,paupet}@ DocID: 1tQFm - View Document
	A Multi-Criteria Decision Making Framework for Real Time Model-Based Testing M. AbouTrab, B. Alrouh, S. Counsell, R. M. Hierons and G. Ghinea Department of Information Systems and DocID: 1tD2G - View Document
	A Process to Increase the Model Quality in the Context of Model-Based Testing Vladimir Entin, Mathias Winder, Bo Zhang, Andreas Claus Graz, DocID: 1tx1J - View Document