Please use this identifier to cite or link to this item:
Title: Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Authors: Walkinshaw, Neil
Derrick, John
Guo, Qiang
First Published: Nov-2009
Presented at: 2nd World Congress on Formal Methods/16th International Symposium on Formal Methods (FM 2009), Eindhoven, Netherlands, 2-6 November 2009
Start Date: 2-Nov-2009
End Date: 6-Nov-2009
Publisher: Springer Verlag
Citation: FM 2009: Formal Methods, Proceedings, Lecture Notes in Computer Science, 2009, 5850, pp. 305-320 (16)
Abstract: This paper presents an iterative technique to accurately reverse engineer models of the behaviour of software systems. A he novelty of the approach is the fact that it uses model-based testing to refine the hypothesised model. The process call 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 Link: 10.1007/978-3-642-05089-3_20
ISSN: 0302-9743
ISBN: 978-3-642-05088-6
Version: Post-print
Status: Peer-reviewed
Type: Conference Paper
Rights: Copyright © Springer-Verlag Berlin Heidelberg 2009. Deposited with reference to the publisher's archiving policy available on the SHERPA/RoMEO website. The original publication is available at
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
fm2009.pdfPost-review (final submitted)303.19 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.