Generation of Multipurpose Formal Models from Legacy Code.

Stepan Potiyenko Alexander Kolchin

Published in: UkrPROG (2022)

Keyphrases

formal models
rule based systems
formal model
legacy software
process model
source code
case study
knowledge base
reverse engineering
legacy systems
genetic programming
software systems
open source
control system
generation process
generation method
pattern recognition