2 Why We Need Model-Based Testing

338 Bibliography
J. Tretmans. Testing concurrent systems: A formal approach. In J. C. M. Baeten and
S. Mauw, editors, CONCUR ’99, volume 1664 of Lecture Notes in Computer
Science, pages 46–65. Springer, 1999.
J. Tretmans and A. Belinfante. Automatic testing with formal methods. In Euro
STAR’99: 7th European International Conference on Software Testing, Analysis
and Review, Barcelona, Spain, November 8–12, 1999. EuroStar Conferences,
Galway, Ireland.
J. Tretmans and E. Brinksma. TorX: Automated model based testing. In 1st
European Conference on Model Driven Software Engineering, Nuremberg,
Germany, pages 31–43, December 2003.
J. R. Ullmann. An algorithm for subgraph isomorphism. Journal of the ACM,
23(1):31–42, 1976.
M. Utting and B. Legeard. Practical Model-Based Testing: A Tools Approach.
Morgan Kaufmann, 2006.
M. van der Bijl, A. Rensink, and J. Tretmans. Compositional testing with IOCO.
In A. Petrenko and A. Ulrich, editors, Formal Approaches to Software Testing:
Third International Workshop, FATES 2003, volume 2931 of Lecture Notes in
Computer Science, pages 86–100. Springer, 2004.
M. Veanes, C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, and N.
Tillmann. Model-based testing of object-oriented reactive systems with Spec
Explorer. In: R. Hierons, J. P. Bowen, and M. Harman, editors, Formal Methods
and Testing, Springer, in press.
M. Veanes, C. Campbell, and W. Schulte. Composition of model programs. In J.
Derrick and J. Vain, editors, 27th International Conference on Formal Methods
for Networked and Distributed Systems, FORTE’07, Tallinn, Estonia, June 2007,
volume 4574 of Lecture Notes in Computer Science. Springer 2007a.
M. Veanes, J. Ernits, and C. Campbell. State isomorphism in model programs with
abstract data structures. In J. Derrick and J. Vain, editors, 27th International
Conference on Formal Methods for Networked and Distributed Systems,
FORTE’07, Tallinn, Estonia, June 2007, volume 4574 of Lecture Notes in
Computer Science. Springer, 2007b.
M. Veanes, C. Campbell, W. Schulte, and N. Tillmann. Online testing with
model programs. In ESEC/FSE-13: Proceedings of the 10th European Software
Engineering Conference Held Jointly with 13th ACM SIGSOFT International
Symposium on Foundations of Software Engineering, pages 273–282. ACM
Press, New York, 2005.
M. Veanes, P. Roy, and C. Campbell. Online testing with reinforcement learning.
In K. Havelund, M. Núñez, G. Rosu, and B. Wolff, editors, FATES/RV,
volume 4262 of Lecture Notes in Computer Science, pages 240–253. Springer,
2006.
more free ebooks download links at:
http://www.ebook-x.com