Výsledky vyhledávání

Côte de Resyste in Progress

Autor: Vries, de, R., Tretmans, J., Belinfante, A., Feenstra, J., Feijs, L.M.G., Mauw, S., Goga, N., Heerink, L., Heer, de, Arjan, Veen, J.P.

Publikováno v: Proceedings of the 1st PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 13, 2000), Revised Edition, 157-164
STARTPAGE=157;ENDPAGE=164;TITLE=Proceedings of the 1st PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 13, 2000), Revised Edition

Traditional (manual) testing of software systems is a costly, laborious and error-prone activity. It gets even more complicated nowadays with complex reactive software like embedded system software and communication protocols. Such software is charac

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::70e4e9655ec0a7385fb4165c57ad2593
https://research.tue.nl/nl/publications/c59c0433-36f7-46a4-96c4-60e77702c395

Zobrazit plný text záznamu

Factorized test generation for multi-input/output transition systems

Autor: Brinksma, E., Heerink, L., Tretmans, J., Petrenko, A., Yevtushenko, N.

Publikováno v: Testing of Communication Systems (Proceedings of the IFIP TC6 11th International Workshop, IWTCS, Tomsk, Russia, August 31-September 2, 1998), 67-82
STARTPAGE=67;ENDPAGE=82;TITLE=Testing of Communication Systems (Proceedings of the IFIP TC6 11th International Workshop, IWTCS, Tomsk, Russia, August 31-September 2, 1998)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::573d2d95b0e57abd9d182b487b15673f
https://research.tue.nl/nl/publications/6d40448c-1e6b-41a8-836b-7d84b0bfd371

Zobrazit plný text záznamu

Developments in testing transition systems

Autor: Brinksma, E., Heerink, L., Tretmans, J., Kim, M., Kang, S., Hong, K.

Publikováno v: Testing of Communication Systems (Proceedings 10th IFIP TC6 International Workshop, IWTCS'97, Cheju Island, Korea, September 8-10,1997), 143-166
STARTPAGE=143;ENDPAGE=166;TITLE=Testing of Communication Systems (Proceedings 10th IFIP TC6 International Workshop, IWTCS'97, Cheju Island, Korea, September 8-10,1997)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::e0e67c886ff578321bd48594503653ce
https://research.tue.nl/nl/publications/c94793e0-e395-4454-9388-ae5395957cdf

Zobrazit plný text záznamu

Validation in context

Autor: Heerink, L., Brinksma, E., Dembinski, P., Sredniawa, M.

Publikováno v: Protocol Specification, Testing and Verification XV (Proceedings Fifteenth IFIP WG6.1 International Symposium, Warsaw, Poland, June 1995), 221-236
STARTPAGE=221;ENDPAGE=236;TITLE=Protocol Specification, Testing and Verification XV (Proceedings Fifteenth IFIP WG6.1 International Symposium, Warsaw, Poland, June 1995)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::b8c1742f77759b5131bf2905ffeeba52
https://research.tue.nl/nl/publications/7e8cc979-af70-407f-af78-892dd86d8e11

Zobrazit plný text záznamu