Incremental inconsistency detection with low memory overhead

Jean-Rémy Falleri, Xavier Blanc, Reda Bendraou, Marcos Aurélio Almeida da Silva, Cédric Teyton. Incremental inconsistency detection with low memory overhead. Software: Practice and Experience, 44(5):621-641, 2014. [doi]

Abstract

Abstract is missing.