Wenbin Li

According to our database, Wenbin Li authored at least 12 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Error leakage and wasted time: sensitivity and effort analysis of a requirements consistency checking process.

Wenbin Li, Jane Huffman Hayes, Giulio Antoniol, Yann-Gaël Guéhéneuc, Bram Adams

J. Softw. Evol. Process., 2016

2015

Towards More Efficient Requirements Formalization: A Study.

Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2015

Measuring Requirement Quality to Predict Testability.

Jane Huffman Hayes, Wenbin Li, Tingting Yu, Xue Han, Mark Hays, Clinton Woodson

Proceedings of the 2015 IEEE Second International Workshop on Artificial Intelligence for Requirements Engineering, 2015

2014

Answer-Set Programming in Requirements Engineering.

Wenbin Li, David Brown, Jane Huffman Hayes, Miroslaw Truszczynski

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

Weka meets TraceLab: Toward convenient classification: Machine learning for requirements engineering problems: A position paper.

Jane Huffman Hayes, Wenbin Li, Mona Rahimi

Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014

2013

A study of methods for textual satisfaction assessment.

Elizabeth Ashlee Holbrook, Jane Huffman Hayes, Alex Dekhtyar, Wenbin Li

Empir. Softw. Eng., 2013

Trace Matrix Analyzer (TMA).

Wenbin Li, Jane Huffman Hayes, Fan Yang, Ken Imai, Jesse Yannelli, Chase Carnes, Maureen Doyle

Proceedings of the 7th International Workshop on Traceability in Emerging Forms of Software Engineering, 2013

Traceability Challenge 2013: Query+ enhancement for semantic tracing (QuEST): Software verification and validation research laboratory (SVVRL) of the University of Kentucky.

Wenbin Li, Jane Huffman Hayes

Proceedings of the 7th International Workshop on Traceability in Emerging Forms of Software Engineering, 2013

2012

Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements - (Preliminary Results).

Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski

Proceedings of the NASA Formal Methods, 2012

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

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Toward consistency checking of natural language temporal requirements.

Wenbin Li

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

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

Proceedings of the TEFSE'11, 2011