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]
@article{FalleriBBST14, title = {Incremental inconsistency detection with low memory overhead}, author = {Jean-Rémy Falleri and Xavier Blanc and Reda Bendraou and Marcos Aurélio Almeida da Silva and Cédric Teyton}, year = {2014}, doi = {10.1002/spe.2171}, url = {http://dx.doi.org/10.1002/spe.2171}, researchr = {https://researchr.org/publication/FalleriBBST14}, cites = {0}, citedby = {0}, journal = {Software: Practice and Experience}, volume = {44}, number = {5}, pages = {621-641}, }