Fortis: A Tool for Analysis and Repair of Robust Software Systems.

Changjian Zhang Ian Dardik Rômulo Meira-Góes David Garlan Eunsuk Kang

Published in: FMCAD (2023)

Keyphrases

software systems
software engineering
source code
software design
analysis tool
software maintenance
databases
artificial intelligence
open source
software development
database
high level
multi agent systems
design patterns
software components
metamodel