Sciweavers

Share
FM
2009
Springer

Iterative Refinement of Reverse-Engineered Models by Model-Based Testing

10 years 11 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. 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.
Neil Walkinshaw, John Derrick, Qiang Guo
Added 17 Feb 2011
Updated 17 Feb 2011
Type Journal
Year 2009
Where FM
Authors Neil Walkinshaw, John Derrick, Qiang Guo
Comments (0)
books