Abstract
This doctoral work proposes to use invariant relations to analyze and repair loops. We discuss how invariant relations allow us to derive loop properties such as termination, correctness and incorrectness and to generate invariant assertions. We also present a method to statically repair a loop using invariant relations, to what we refer as "Debugging without Testing".
| Original language | English (US) |
|---|---|
| Pages (from-to) | 23-32 |
| Number of pages | 10 |
| Journal | CEUR Workshop Proceedings |
| Volume | 1454 |
| State | Published - 2015 |
| Event | Student Track of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS(ST) 2015 - Braga, Portugal Duration: Sep 28 2015 → Oct 1 2015 |
All Science Journal Classification (ASJC) codes
- General Computer Science