Login / Signup
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.
Cheng-Hao Cai
Jing Sun
Gillian Dobbie
Zhé Hóu
Hadrien Bride
Jin Song Dong
Scott Uk-Jin Lee
Published in:
Formal Aspects Comput. (2022)
Keyphrases
</>
abstract machine
data model
semi automated
data driven
software systems
fully automated
computer aided
semi automatic
special case
data quality
image processing
automated analysis
source code
data sets
multi agent
preventive maintenance
feature selection