Andrey Zakonov

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Specification Language

Web Development

Web Applications

Top Venues

Publications

Andrey Zakonov, Anatoly Shalyto
Extracting EFSMs of Web Applications for Formal Requirements Specification. SAFECOMP (2012)
Andrey Zakonov, Oleg A. Stepanov, Anatoly Shalyto
GA-based and design by contract approach to test generation for EFSMs. EWDTS (2010)