Constructing an automated testing oracle: an effort to produce reliable software.

Luqi, Hongji Yang, Xiaodong Zhang

Browse the full COMPSAC paper archive.