|
1.
|
|
|
2.
|
Generating checking sequences for nondeterministic finite state machines A. Petrenko, A. Simao, N. Yevtushenko by Petrenko, Alexandre F | Simao, Adenilso da Silva | Yevtushenko, Nina V | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: IEEE Fifth International conference on software testing, verification and validation : (ICST 2012), Montreal, Quebec, Canada, 17-21 April 2012Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
3.
|
|
|
4.
|
Deriving tests with guaranteed fault coverage for finite state machines with timeouts A. Tvardovskii, K. El-Fakih, N. V. Yevtushenko by Tvardovskii, Aleksandr | El-Fakih, Khaled | Yevtushenko, Nina V. Source: Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018 : proceedingsMaterial type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
5.
|
Testing software and systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün (eds.) by Yenigün, Hüsnü [edt] | Yevtushenko, Nina V [edt] | Cavalli, Ana Rosa [edt]. Series: Lecture notes in computer scienceMaterial type: Set Publication details: Cham Springer 2017Availability: No items available :
|
|
6.
|
|