Sign in

Slicing ATL model transformations for scalable deductive verification and fault localization.

Zheng ChengMassimo 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