Learning regular sets from queries and counterexamples
Information and Computation
Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
We present a Tool Suite which supports the (re-)construction of a behavioral model of a legacy component based on a learning approach by exploiting knowledge of known models of the existing component environment. This in turn enables to check whether the legacy component can be integrated correctly into its environment.