< Back to previous page

Publication

Finding and fixing bugs in model transformations with formal verification

Book Contribution - Book Abstract Conference Contribution

Subtitle:an experience report
Book: AMT 2015 Analysis of Model Transformations : proceedings of the 4th Workshop on the Analysis of Model Transformations, co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, Sept
Pages: 26 - 35
Publication year:2015
Keywords:P1 Proceeding
Accessibility:Open

Authors/publisher

  • Gehan M.K. Selim (Author)
  • James R. Cordy (Author)
  • Juergen Dingel (Author)
  • Levi Lúcio (Author)
  • Bentley Oakes (Author)

Research units

Events

  • AMT 2015 Analysis of Model Transformations : proceedings of the 4th Workshop on the Analysis of Model Transformations, co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, Sept (Conference)