Contract-driven data structure repair: a novel approach for error recovery
R Nokhbeh Zaeem - 2014 - repositories.lib.utexas.edu
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 …
an urgent necessity. A large degree of research effort on increasing software reliability is …