Loop analysis and repair

Nafi Diallo, Ali Mili

Research output: Contribution to journalConference articlepeer-review


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 languageEnglish (US)
Pages (from-to)23-32
Number of pages10
JournalCEUR Workshop Proceedings
StatePublished - 2015
EventStudent Track of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS(ST) 2015 - Braga, Portugal
Duration: Sep 28 2015Oct 1 2015

All Science Journal Classification (ASJC) codes

  • General Computer Science


Dive into the research topics of 'Loop analysis and repair'. Together they form a unique fingerprint.

Cite this