publication venue for A Framework for the Regression Testing of Model-to-Model Transformations. 15:65-84. 2021 Extending UML Use Case Diagrams to Represent Non-Interactive Functional Requirements. 14:97-115. 2020