Software verification and validation research laboratory (SVVRL) of the University of Kentucky: traceability challenge 2011: language translation.

Jane Huffman Hayes, Hakim Sultanov, Wei-Keat Kong, Wenbin Li

Browse the full ICSE paper archive.