Andrey Zakonov

According to our database, Andrey Zakonov authored at least 2 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

Extracting EFSMs of Web Applications for Formal Requirements Specification.

Andrey Zakonov, Anatoly Shalyto

Proceedings of the Computer Safety, Reliability, and Security, 2012

2010

GA-based and design by contract approach to test generation for EFSMs.

Andrey Zakonov, Oleg A. Stepanov, Anatoly Shalyto

Proceedings of the 2010 East-West Design & Test Symposium, 2010