@article{articlea2d62f09,
title   = {Model partitions and compact test case suites},
author = {Bonifacio, Adilson Luiz and Moura, Arnaldo Vieira and Simão, Adenilso da Silva},
year = {2012},
doi = {10.1142/S0129054112500013},
journal   = {International Journal of Foundations of Computer Science}
}