Jane Huffman Hayes, Ph.D.

Associate Professor

Research Areas: Verification and validation; requirements engineering; requirements traceability; software maintainability; software analysis; static analysis; software testing.

University of Kentucky, College of Engineering
Computer Science - CS
233 JFHB
Lexington, KY 40506-0495
Phone: 859-257-3171
Fax: 859-323-3740
Email: hayes@cs.uky.edu

Professional Preparation

Hanover College Geology and Computer Science BA 1983 (double major) (Cum Laude)

University of Southern Mississippi Computer Science MS 1987

George Mason University Information Technology PhD 1999


August 2015: Associate Director, NASA Kentucky Space Grant Consortium

July 2016: Associate Chair, Computer Science, University of Kentucky

July 2012: Professor of Computer Science, University of Kentucky

Jan 2007–July 2012: Associate Professor of Computer Science, University of Kentucky

Jan 2001-2007: Assistant Professor of Computer Science, University of Kentucky

Jan 2001-2007: Consultant, Science Applications International Corporation

Nov 1984-Jan 2001: Corporate Vice President/Operation Manager, Science Applications
International Corporation


      1. Jane Huffman Hayes, Alex Dekhtyar, and Senthil Sundaram, “Advancing Candidate Link Generation for Requirements Tracing: The Study of Methods,” IEEE Transactions on Software Engineering, Volume 32, No. 1, pp. 4-19, January 2006.
      2. Wei-Keat Kong, Jane Huffman Hayes, Alex Dekhtyar, Olga Dekhtyar, “Process Improvement for Traceability: A Study of Human Fallibility,” Proceedings of IEEE International Conference on Requirements Engineering (RE) 2012, Chicago, IL.
      3. Jane Huffman Hayes and Jeff Offutt, “Input Validation Analysis and Testing,” Journal on Empirical Software Engineering, Vol. 11, No. 4, pp. 493-522, December 2006.
      4. Wenbin Li, Jane Huffman Hayes, and Miroslaw Truszczynski, “Towards More Efficient Requirements Formalization: A Study,” in Proceedings of 21st International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ) 2015 (16 page paper).
      5. Jeff Offutt and Jane Huffman Hayes, “A Semantic Model of Program Faults,” published in The Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pages 195-200, ACM, San Diego, California, January 1996.

Other Products

      1. Jane Huffman Hayes and Alex Dekhtyar, “A Framework for Comparing Requirements Tracing Experiments,” International Journal on Software Engineering and Knowledge Engineering (IJSEKE), Volume 15, Number 5, October 2005, pp. 751 – 781.
      2. Wenbin Li*, Mirek Truszczynski and Jane Huffman Hayes, “Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements,” in Proceedings of NASA Formal Methods Symposium, 2012.
      3. Jane Huffman Hayes, Inies Chemannoor, Vinod Surisetty, and Anneliese Andrews, “Fault Links: Exploring the Relationship Between Module and Fault Types,” in Proceedings of European Dependable Computing Conference (EDCC), Budapest, Hungary, April 2005.
      4. Orlena Gotel, Jane Cleland-Huang, Jane Huffman Hayes, Andrea Zisman, Alexander Egyed, Paul Gruenbacher, Alex Dekhtyar, Giulio Antoniol, Jonathan Maletic and Brian Berenbach, “Problem Statements and Grand Challenges,” 08-23-2006, COET-GCT-06-01-0.5, available at www.coest.org.
      5. Jane Huffman Hayes, “Testing of Object-Oriented Systems:  A Fault-Based Approach,” published in The Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS), Springer-Verlag Lecture Notes on Computer Science series, Number 858, pages 205-220, Palermo, Italy, September 1994.

Synergistic Activities

  1. I am helping to develop a software engineering curriculum for the department.  Have thus far developed 6 courses: graduate-level software engineering survey course, graduate-level requirements engineering course, graduate-level software design course, graduate-level and upper-division software testing and quality evaluation course, graduate-level and upper-division experimental software engineering course, undergraduate upper-division software engineering course, and undergraduate Senior Design Project course (I re-designed this course, it previously had no software engineering content).
  2. Developed, and continuing to develop and maintain, numerous worthwhile software products such as PheTracker (helps PKU disease sufferers track their phenylalanine milligrams), Stereologist (a stereology tool that assists M.D.s who perform research in facial bone regeneration), and Speak (an audio analysis tool that assists speech therapists and parents who are working with young children with hearing and/or speech impairments).  These double as on-going experimental studies for my traceability and maintainability research.
  3. Assisted Perot Systems to improve the maintainability of their software as well as to develop new means of performing cost and effort estimation for maintenance of potential customer’s software (customers outsource their legacy code to Perot).
  4. On a volunteer basis, set up and administered program at SAIC as well as personally transported 60+ personal computers, 70 monitors, 12+ printers, hundreds of keyboards, and hundreds of mice to the Powell County School system in eastern Kentucky, 1997 to 2007. Currently (2014) volunteer in their Informatics courses (assist teacher, speak to class, and review projects).