Specification-Driven Unit Test Generation for Java Generic Classes

Francisco Rebello de Andrade, João Pascoal Faria, Antónia Lopes, Ana C. R. Paiva. Specification-Driven Unit Test Generation for Java Generic Classes. In John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne, editors, Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Volume 7321 of Lecture Notes in Computer Science, pages 296-311, Springer, 2012. [doi]

Authors

Francisco Rebello de Andrade

This author has not been identified. Look up 'Francisco Rebello de Andrade' in Google

João Pascoal Faria

This author has not been identified. Look up 'João Pascoal Faria' in Google

Antónia Lopes

This author has not been identified. Look up 'Antónia Lopes' in Google

Ana C. R. Paiva

This author has not been identified. Look up 'Ana C. R. Paiva' in Google