Please use this identifier to cite or link to this item:
Title: Incrementally Discovering Testable Specifications from Program Executions
Authors: Walkinshaw, Neil
Derrick, John
First Published: Nov-2009
Presented at: 8th International Symposium on Formal Methods for Components and Objects, Eindhoven, NETHERLANDS, 4-6 November 2009
Start Date: 4-Nov-2009
End Date: 6-Nov-2009
Publisher: Springer Verlag
Citation: Formal Methods for Components and Objects, 8th International Symposium, FMCO 2009, Lecture Notes in Computer Science, 2010, 6286, pp. 272-289 (18)
Abstract: The Pro Test project(1) is an EU FP7 project to develop techniques that improve the testing and verification of concurrent and distributed software systems. One of the four main work packages is concerned with the automated identification of specifications that could serve as a suitable basis for testing; this is currently a tedious and error-prone manual task that tends to be neglected in practice. This paper describes how this problem has been addressed in the Pro Test project. It describes a technique that uses test executions to refine the specification from which they are generated. It shows how the technique has been implemented and applied to real Erlang systems. It also describes in detail the major challenges that remain to be addressed in future work.
DOI Link: 10.1007/978-3-642-17071-3_14
ISSN: 0302-9743
ISBN: 978-3-642-17070-6
Version: Post-print
Status: Peer-reviewed
Type: Conference Paper
Rights: Copyright © Springer-Verlag Berlin Heidelberg 2010. 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 
document.pdfPost-review (final submitted)770.62 kBAdobe PDFView/Open

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