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 009 (EFSE@ICSE, 2011)

Toward consistency checking of natural language temporal requirements. - Wenbin Li 009 (ASE, 2011)

Toward actionable, broadly accessible contests in Software Engineering. - Jane Cleland-Huang; Yonghee Shin; Ed Keenan; Adam Czauderna; Greg Leach; Evan Moritz; Malcom Gethers; Denys Poshyvanyk; Jane Huffman Hayes; Wenbin Li 009 (ICSE, 2012)

Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements - (Preliminary Results). - Wenbin Li 009; Jane Huffman Hayes; Miroslaw Truszczynski (NASA Formal Methods, 2012)

Traceability Challenge 2013: Query+ enhancement for semantic tracing (QuEST): Software verification and validation research laboratory (SVVRL) of the University of Kentucky. - Wenbin Li 009; Jane Huffman Hayes (TEFSE@ICSE, 2013)

Trace Matrix Analyzer (TMA). - Wenbin Li 009; Jane Huffman Hayes; Fan Yang; Ken Imai; Jesse Yannelli; Chase Carnes; Maureen Doyle (TEFSE@ICSE, 2013)

A study of methods for textual satisfaction assessment. - Elizabeth Ashlee Holbrook; Jane Huffman Hayes; Alex Dekhtyar; Wenbin Li 009 (Empir. Softw. Eng., 2013)

Weka meets TraceLab: Toward convenient classification: Machine learning for requirements engineering problems: A position paper. - Jane Huffman Hayes; Wenbin Li 009; Mona Rahimi (AIRE, 2014)

Answer-Set Programming in Requirements Engineering. - Wenbin Li 009; David Brown; Jane Huffman Hayes; Miroslaw Truszczynski (REFSQ, 2014)

Measuring Requirement Quality to Predict Testability. - Jane Huffman Hayes; Wenbin Li 009; Tingting Yu 001; Xue Han; Mark Hays; Clinton Woodson (AIRE, 2015)

Towards More Efficient Requirements Formalization: A Study. - Wenbin Li 009; Jane Huffman Hayes; Miroslaw Truszczynski (REFSQ, 2015)

Error leakage and wasted time: sensitivity and effort analysis of a requirements consistency checking process. - Wenbin Li 009; Jane Huffman Hayes; Giulio Antoniol; Yann-Gaël Guéhéneuc; Bram Adams (J. Softw. Evol. Process., 2016)