Pitfalls in Applying Model Learning to Industrial Legacy Software

Authors:

Publisher website

30 October 2018

book chapter
Published by Springer Nature

p. 121-138
DOI:10.1007/978-3-030-03427-6_13

Abstract

No abstract available

Keywords

This publication has 18 references indexed in Scilit:

Formal Models of Bank Cards for Free
2013
Reusing System States by Active Learning Algorithms
2012
LearnLib Tutorial: From Finite Automata to Register Interface Programs
Lecture Notes in Computer Science, 2012
Automata Learning with Automated Alphabet Abstraction Refinement
2011
Test-based model generation for legacy systems
2004
Securing web application code by static analysis and runtime protection
2004
Process mining: a research agenda
Computers in Industry, 2004
Symmetry Breaking in Software Patterns
2001
Learning regular sets from queries and counterexamples
Information and Computation, 1987
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering, 1978