The Oracle Problem for Testing against Quantified Properties

Patrícia D. L. Machado, Wilkerson de L. Andrade. The Oracle Problem for Testing against Quantified Properties. In Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA. pages 415-418, IEEE Computer Society, 2007. [doi]

Authors

Patrícia D. L. Machado

This author has not been identified. Look up 'Patrícia D. L. Machado' in Google

Wilkerson de L. Andrade

This author has not been identified. Look up 'Wilkerson de L. Andrade' in Google