Invariant detection meets Random test case generation - Veloso, Tiago Alves (2011)
Dissertação de mestrado em Engenharia de Informática