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, Wiley, 2014, 44 (5), pp.621-641.
⟨10.1002/spe.2171⟩.
⟨hal-00975337⟩