Wenbin Li

12 papers A* 2B 2Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2016 J jnl
Error leakage and wasted time: sensitivity and effort analysis of a requirements consistency checking process.
J. Softw. Evol. Process.
Wenbin Li, Jane Huffman Hayes, Giulio Antoniol, Yann-Gaël Guéhéneuc, Bram Adams
2015 — conf
Measuring Requirement Quality to Predict Testability.
AIRE
Jane Huffman Hayes, Wenbin Li, Tingting Yu, Xue Han, Mark Hays, Clinton Woodson
2015 B conf
Towards More Efficient Requirements Formalization: A Study.
REFSQ
Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski
2014 B conf
Answer-Set Programming in Requirements Engineering.
REFSQ
Wenbin Li, David Brown, Jane Huffman Hayes, Miroslaw Truszczynski
2014 — conf
Weka meets TraceLab: Toward convenient classification: Machine learning for requirements engineering problems: A position paper.
AIRE
Jane Huffman Hayes, Wenbin Li, Mona Rahimi
2013 J jnl
A study of methods for textual satisfaction assessment.
Empir. Softw. Eng.
Elizabeth Ashlee Holbrook, Jane Huffman Hayes, Alex Dekhtyar, Wenbin Li
2013 — conf
Trace Matrix Analyzer (TMA).
TEFSE@ICSE
Wenbin Li, Jane Huffman Hayes, Fan Yang, Ken Imai, Jesse Yannelli, Chase Carnes, Maureen Doyle
2013 — conf
Traceability Challenge 2013: Query+ enhancement for semantic tracing (QuEST): Software verification and validation research laboratory (SVVRL) of the University of Kentucky.
TEFSE@ICSE
Wenbin Li, Jane Huffman Hayes
2012 — conf
Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements - (Preliminary Results).
NASA Formal Methods
Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski
2012 A* conf
Toward actionable, broadly accessible contests in Software Engineering.
ICSE
Jane Cleland-Huang, Yonghee Shin, Ed Keenan, Adam Czauderna, Greg Leach, Evan Moritz, Malcom Gethers, Denys Poshyvanyk, Jane Huffman Hayes, Wenbin Li
2011 — conf
Software verification and validation research laboratory (SVVRL) of the University of Kentucky: traceability challenge 2011: language translation.
EFSE@ICSE
Jane Huffman Hayes, Hakim Sultanov, Wei-Keat Kong, Wenbin Li
2011 A* conf
Toward consistency checking of natural language temporal requirements.
ASE
Wenbin Li