• Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts 

      Khalil, Amal (2016-11-02)
      Model Driven Engineering (MDE) is an iterative and incremental software development process. Supporting the analysis and the verification of software systems developed following the MDE paradigm requires to adopt incrementality ...