University of Leicester
Browse
fm2009.pdf (303.19 kB)

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

Download (303.19 kB)
conference contribution
posted on 2012-07-03, 15:11 authored by Neil Walkinshaw, John Derrick, Qiang Guo
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.

History

Citation

FM 2009: Formal Methods, Proceedings, Lecture Notes in Computer Science, 2009, 5850, pp. 305-320 (16)

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Source

2nd World Congress on Formal Methods/16th International Symposium on Formal Methods (FM 2009), Eindhoven, Netherlands, 2-6 November 2009

Version

  • AM (Accepted Manuscript)

Published in

FM 2009: Formal Methods

Publisher

Springer Verlag

issn

0302-9743

isbn

978-3-642-05088-6

Copyright date

2009

Available date

2012-07-03

Publisher version

http://www.springerlink.com/content/c5732057u2702l03/?MUD=MP

Editors

Cavalcanti, Ana;Dams, Dennis R.

Temporal coverage: start date

2009-11-02

Temporal coverage: end date

2009-11-06

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC