Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report
Publication year
2016Publisher
Cham : Springer International Publishing
ISBN
9783319336930
In
Lecture Notes in Computer Science, (2016)Ábrahám, E.; Huisman, M. (ed.), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, pp. 311-325ISSN
Publication type
Article in monograph or in proceedings
Display more detailsDisplay less details
Editor(s)
Ábrahám, E.
Huisman, M.
Organization
Software Science
Journal title
Lecture Notes in Computer Science
Book title
Ábrahám, E.; Huisman, M. (ed.), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Page start
p. 311
Page end
p. 325
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [238441]
- Electronic publications [122526]
- Faculty of Science [34986]
- Open Access publications [97521]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.