Publications

Export 1 results:
Filters: Author is de Andrade, Francisco Rebello  [Clear All Filters]
2012
de Andrade, F. Rebello, J. P. Faria, A. Lopes, and A. C. R. Paiva, "Specification-driven unit test generation for java generic classes", Integrated Formal Methods: Springer Berlin Heidelberg, pp. 296–311, 2012.