• Contract-driven data structure repair : a novel approach for error recovery 

    Nokhbeh Zaeem, Razieh (2014-06-25)
    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, ...
  • Improving constraint-based test input generation using Korat 

    Srinivasan, Raghavendra (2015-05-08)
    Korat is an existing technique for test input generation using imperative constraints that describe properties of desired inputs written as Java predicates, termed RepOk methods, which are executable checks for those ...
  • Improving dynamic analysis with data flow analysis 

    Chang, Walter Chochen (2010-10-26)
    Many challenges in software quality can be tackled with dynamic analysis. However, these techniques are often limited in their efficiency or scalability as they are often applied uniformly to an entire program. In this ...