A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
[chapter]
2009
Lecture Notes in Computer Science
This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it uses model-based testing to refine the hypothesised model. The process can in principle be entirely automated, and only requires a very small amount of manually generated information to begin with. We have implemented the technique for use in the development of Erlang systems and describe both the methodology as well as our implementation.
doi:10.1007/978-3-642-05089-3_20
fatcat:gdk3cujy6jextlqptya5jybhyq