SMT-based verification of program changes through summary repair
Additional information
Authors
Sharygina N.,
Asadi S.,
Blicha M.,
Hyvärinen A.,
Fedyukovich G.
Type
Journal Article
Year
2022
Language
English
Journal
Formal Methods in System Design
Pages (or article number)
350-380
