2 Why We Need Model-Based Testing
2 Why We Need Model-Based Testing
2 Why We Need Model-Based Testing
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
334 Bibliography<br />
A. Blass and Y. Gurevich. Background, reserve, and Gandy machines. In Proceedings<br />
of the 14th Annual Conference of the EACSL on Computer Science Logic,<br />
pages 1–17. Springer-Verlag, London, 2000.<br />
A. Blass and Y. Gurevich. Ordinary interactive small-step algorithms, I. ACM<br />
Transactions on Computation Logic, 7(2):363–419, April 2006.<br />
A. Blass, Y. Gurevich, L. Nachmanson, and M. Veanes. Play to test. In W.<br />
Grieskamp and C. <strong>We</strong>ise, editors, FATES, volume 3997 of Lecture Notes in<br />
Computer Science, pages 32–46. Springer, 2005.<br />
E. Börger and R. Stärk. Abstract State Machines: A Method for High-Level System<br />
Design and Analysis. Springer, 2003.<br />
C. Boyapati, S. Khurshid, and D. Marinov. Korat: Automated testing based on Java<br />
predicates. SIGSOFT Software Engineering Notes, 27(4):123–133, 2002.<br />
E. Brinksma and J. Tretmans. <strong>Testing</strong> transition systems: An annotated bibliography.<br />
In Summer School MOVEP’2k – <strong>Model</strong>ling and Verification of Parallel<br />
Processes, volume 2067 of Lecture Notes in Computer Science, pages 187–193.<br />
Springer, 2001.<br />
M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, and A. Pretschner, editors.<br />
<strong>Model</strong>-<strong>Based</strong> <strong>Testing</strong> of Reactive Systems, volume 3472 of Lecture Notes in<br />
Computer Science. Springer, 2005.<br />
C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, and<br />
M. Veanes. <strong>Testing</strong> concurrent object-oriented systems with Spec Explorer<br />
(extended abstract). In FM 2005: Formal Methods, volume 3582 of Lecture<br />
Notes in Computer Science, pages 542–547. Springer, 2005a.<br />
C. Campbell and M. Veanes. State exploration with multiple state groupings.<br />
In D. Beauquier, E. Börger, and A. Slissenko, editors, 12th International<br />
Workshop on Abstract State Machines, ASM’05, March 8–11, 2005, Laboratory<br />
of Algorithms, Complexity and Logic, University Paris 12 – Val de Marne,<br />
Créteil, France, pages 119–130, 2005.<br />
C. Campbell, M. Veanes, J. Huo, and A. Petrenko. Multiplexing of partially<br />
ordered events. In F. Khendek and R. Dssouli, editors, 17th IFIP International<br />
Conference on <strong>Testing</strong> of Communicating Systems, TestCom 2005, volume 3502<br />
of Lecture Notes in Computer Science, pages 97–110. Springer, 2005b.<br />
K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-<br />
<strong>We</strong>sley, 1988.<br />
E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state<br />
concurrent systems using temporal logic specifications. ACM Transactions on<br />
Programming Languages and Systems, 8(2):244–263, April 1986.<br />
E. M. Clarke, O. Grumberg, and D. Long. Verification tools for finite-state<br />
concurrent systems. In J. W. De Bakker, W.-P De Roever, and G Rozenberg,<br />
editors, A Decade of Concurrency, Reflections and Perspectives, volume 803 of<br />
Lecture Notes in Computer Science. Springer, 1994.<br />
more free ebooks download links at:<br />
http://www.ebook-x.com
Change language