Export 2 results:
Search results for biblio_year:1979
Filters: 1 is biblio_year:1986 and 2 is biblio_year:1995 and 3 is biblio_year:2007 and 4 is biblio_year:1982 and 5 is biblio_year:1987 and 6 is field_publication_state:17 and 7 is biblio_year:2003 and 8 is field_research_area:6 and Author is Kirill Bogdanov [Reset Search]
Filters: 1 is biblio_year:1986 and 2 is biblio_year:1995 and 3 is biblio_year:2007 and 4 is biblio_year:1982 and 5 is biblio_year:1987 and 6 is field_publication_state:17 and 7 is biblio_year:2003 and 8 is field_research_area:6 and Author is Kirill Bogdanov [Reset Search]
"Automated Discovery of State Transitions and Their Functions in Source Code." Software Testing, Verification and Reliability 18 (2007): 99-121.
A Comparative Study of Methods for Dynamic Reverse-Engineering of State Models. Deptartment of Computer Science, The University of Sheffield, 2007.