• Contract-based data structure repair using alloy 

      Nokhbeh Zaeem, Razieh (2010-05)
      Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifications in deployed software is commonly ...
    • Contract-driven data structure repair : a novel approach for error recovery 

      Nokhbeh Zaeem, Razieh (2014-05)
      Software systems are now pervasive throughout our world. The reliability of these systems is an urgent necessity. A large degree of research effort on increasing software reliability is dedicated to requirements, architecture, ...