Contract-driven data structure repair : a novel approach for error recovery
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, design, implementation and testing---activities that are performed before...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2152/24967 |