Related references
Note: Only part of the references are listed.Automated Comparison of State-Based Software Models in Terms of Their Language and Structure
Neil Walkinshaw et al.
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY (2013)
Scenario-based and value-based specification mining: better together
David Lo et al.
AUTOMATED SOFTWARE ENGINEERING (2012)
Automatically Generating Test Cases for Specification Mining
Valentin Dallmeier et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2012)
Learning extended FSA from software: An empirical assessment
David Lo et al.
JOURNAL OF SYSTEMS AND SOFTWARE (2012)
Using formal specifications to support testing
Robert M. Hierons et al.
ACM COMPUTING SURVEYS (2009)
A systematic analysis of performance measures for classification tasks
Marina Sokolova et al.
INFORMATION PROCESSING & MANAGEMENT (2009)
A Theoretical and Empirical Study of EFSM Dependence
Kelly Androutsopoulos et al.
2009 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, CONFERENCE PROCEEDINGS (2009)
Automated discovery of state transitions and their functions in source code
Neil Walkinshaw et al.
SOFTWARE TESTING VERIFICATION & RELIABILITY (2007)
Generating annotated behavior models from end-user scenarios
C Damas et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2005)
A bibliographical study of grammatical inference
C de la Higuera
PATTERN RECOGNITION (2005)
Dynamically discovering likely program invariants to support program evolution
MD Ernst et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2001)
Share Paper
