Model partitions and compact test case suites - Bonifacio, Adilson Luiz; Moura, Arnaldo Vieira; Simão, Adenilso da Silva (International Journal of Foundations of Computer Science, 2012)