Вы здесь

Tretmans J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Test Generation Based on Symbolic Specifications 2005 Frantzen L., Tretmans J., Willemse T.A. C. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.04.2005
СТ Factorized test generation for multi-input/output transition systems 1998 Brinksma E., Heerink L., Tretmans J. Testing of Communicating Systems (IFIP) 29.01.2005
СТ Compositional Testing with IOCO 2004 Van Der Bijl M., Rensink A., Tretmans J. Lecture Notes in Computer Science 11.03.2004
СТ GAST: Generic Automated Software Testing 2003 Koopman P., Alimarine A., Tretmans J., Plasmeijer R. Lecture Notes in Computer Science 19.06.2003
СТ Testing Transition Systems: An Annotated Bibliography 2001 Brinksma E., Tretmans J. Lecture Notes in Computer Science 04.11.2001
СТ Testing Concurrent Systems: A Formal Approach 1999 Tretmans J. Lecture Notes in Computer Science 15.09.1999
СТ Test Generation with Inputs, Outputs, and Quiescence 1996 Tretmans J. Lecture Notes in Computer Science 24.04.1996