A testing strategy for interacting finite state machinesYevtushenko, Nina; Petrenko, Alexandre; Trenkaev, VadimBEC'96 : the 5th Biennial Baltic Electronics Conference, October 7-11, 1996, Tallinn, Estonia : proceedings1996 / p. 137-140: ill

Testing of Software and Communicating Systems : work-in-progress and position papers, tool demonstrations, and tutorial abstracts of TestCom/Fates 2007 : Tallinn, Estonia, 26-29 June 2007Petrenko, Alexandre; Veanes, Margus; Tretmans, Jan; Grieskamp, Wolfgang2007 https://www.ester.ee/record=b2271047*est