Sign in
Slicing ATL model transformations for scalable deductive verification and fault localization.
Zheng Cheng
Massimo Tisi
Published in:
Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
</>
high level
decision making
fault localization
databases
decision trees
data structure
management system
complex systems