Towards a tool environment for model-based testing with AsmL. In A. Petrenko
and A. Ulrich, editors, Formal Approaches to Software Testing, FATES 2003, volume
2931 of Lecture Notes in Computer Science, pages 264??“280. Springer, 2003.
M. Barnett, R. Leino, and W. Schulte. The Spec# programming system: An
overview. In M. Huisman, editor, Construction and Analysis of Safe, Secure, and
Interoperable Smart Devices: International Workshop, CASSIS 2004, volume
3362 of Lecture Notes in Computer Science, pages 49??“69. Springer, 2005.
B. Beizer. Software System Testing and Quality Assurance. Van Nostrand Reinhold,
New York, 1984.
B. Beizer. Software Testing Techniques, 2nd edition. Van Nostrand Reinhold, New
York, 1990.
B. Beizer. Black-Box Testing: Techniques for Functional Testing of Software and
Systems. John Wiley & Sons, 1995.
R. V. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools.
Addison-Wesley, 1999.
333
334 Bibliography
A. Blass and Y. Gurevich. Background, reserve, and Gandy machines. In Proceedings
of the 14th Annual Conference of the EACSL on Computer Science Logic,
pages 1??“17. Springer-Verlag, London, 2000.
A. Blass and Y. Gurevich. Ordinary interactive small-step algorithms, I. ACM
Transactions on Computation Logic, 7(2):363??“419, April 2006.
A. Blass, Y. Gurevich, L. Nachmanson, and M. Veanes. Play to test. In W.
Pages:
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430