Analysis of Source Code Using UPPAAL.

Mitja Kulczynski Axel Legay Dirk Nowotka Danny Bøgsted Poulsen

Published in: F-IDE@NFM (2021)

Keyphrases

source code
static analysis
open source
software maintenance
manual inspection
impact analysis
mining software repositories
software systems
software projects
object oriented systems
program understanding
text files
open source software
legacy systems
software engineering
high level
artificial intelligence