GA-based and design by contract approach to test generation for EFSMs. - Andrey Zakonov; Oleg A. Stepanov; Anatoly Shalyto 001 (EWDTS, 2010)

Extracting EFSMs of Web Applications for Formal Requirements Specification. - Andrey Zakonov; Anatoly Shalyto 001 (SAFECOMP, 2012)