• 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, ...