IEEE - Institute of Electrical and Electronics Engineers, Inc. - A framework for the evaluation of specification miners based on finite state machines

2010 IEEE 26th International Conference on Software Maintenance (ICSM)

Author(s): Pradel, M. ; Bichsel, P. ; Gross, T.R.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2010
Conference Location: Timi oara, Romania, Romania
Conference Date: 12 September 2010
Page(s): 1 - 10
ISBN (Electronic): 978-1-4244-8629-8
ISBN (Paper): 978-1-4244-8630-4
ISBN (Online): 978-1-4244-8628-1
ISSN (Paper): 1063-6773
ISSN (Online): 1063-6773
DOI: 10.1109/ICSM.2010.5609576
Regular:

Software maintenance tasks, such as testing and program understanding, can benefit from formal specifications that describe how a program should use an API. Recently, there has been increasing... View More

Advertisement