Jane Huffman Hayes

Professor, Associate Chair (former)

Computer Science

University of Kentucky

 

Biographical Information   Contact Information   Education   Teaching    Research and Publications   Projects   Grants   Links to Related Web Pages

 

The next RE Conference, the 23rd IEEE International Requirements Engineering Conference (RE'15), will be held in Ottawa, Canada, from the 24th to the 28th of August, 2015.

 

         http://www.re15.org

 

Abstracts are due March 2nd, papers due March 9th

 

Biographical Information

Dr. Jane Hayes is currently a Professor in Computer Science at the University of Kentucky. She is assisting the university in establishing a software engineering. Previously, she was a Corporate Vice President and the Manager of the Integrated System Technologies Operation of Science Applications International Corporation (SAIC). She has over 16 years of experience in the field of verification and validation, testing, software development, and process improvement. She has been the verification and validation technical lead and/or program manager on numerous trusted software development efforts. She has led and participated in numerous management process/product audits and assessments of large projects. She has assisted with process, plan, and procedure development for testing and verification and validation, including assisting with the development of a Y2K testing standard for a commercial initiative.

Dr. Hayes holds a M.S. in Computer Science from the University of Southern Mississippi and a Ph.D in Information Technology from George Mason University (GMU). She is the founding President of the Alumni Club of the Information Software Engineering Department at GMU, as well as a founding Member of their Industrial Advisory Board. She is a member of ACM and the IEEE Computer Society. She was a Certified Software Test Engineer through the Quality Assurance Institute.

Dr. Hayes has published numerous articles related to software verification, validation, and testing.

Contact

Department: Computer Science

Address:

301 Rose Street

Hardymon Building, Room 228

Lexington, KY 40506-0495

E-mail: hayes 'at' cs.uky.edu

Web Address: http://www.cs.uky.edu/~hayes

Phone: (859) 257-3171

Fax: (859) 323-3740

Education

Ph.D Information Technology, George Mason University, January 1999.

Department: Dissertation: Input Validation Testing: A System Level, Early Lifecycle Technique

Advisor: A. Jefferson Offutt

M.S. Computer Science, University of Southern Mississippi, May 1987.

Vitae

Details regarding the CV

Teaching

Teaching Philosophy

Syllabi from 2006 - 2011

Courses:

Spring 2014 - CS 616 Software Engineering

Fall 2013 - CS 499 Senior Design Project

Spring 2013 - CS 585-685 Software and Systems Traceability

Fall 2012 - CS 499 Senior Design Project

Spring 2012 - CS 485-004 (aka CS 498) Software Engineering for Senior Project

Spring 2012 - CS 618 Software Design

Fall 2011 - CS 499 Senior Design Project

Spring 2011 - CS 585 Software Testing

Fall 2010 - CS 499 Senior Design Project

Fall 2009 - CS 687 Empirical Software Engineering

Fall 2009 - CS 499 Senior Design Project

Spring 2009 - CS 616 Software Engineering

Spring 2009 - CS 499 Senior Design Project

Fall 2008 - CS 585 (and 485) Software Testing and Quality Evaluation

Spring 2007 - CS 685 Empirical Software Engineering

Fall 2006 - CS 616 Software Engineering

Spring 2006 - CS 617 Requirements Engineering

Fall 2005 - CS 499 Senior Design Project

Spring 2005 - CS 687 Software Design

Fall 2004 - CS 616 Software Engineering

Spring 2004 - CS 685 Software Testing and Quality Evaluation

Fall 2003 - CS 616 Software Engineering

Spring 2003 - CS 685 Software Design

Fall 2002 - CS 616 Software Engineering

Spring 2002 - CS 685-05 Requirements Engineering

Fall 2001 - CS 499 Senior Design Project

Spring 2001 - CS 650 Problems Seminar: Software Engineering

Research and Publications

Research Interests:

Requirements engineering, traceability, verification and validation, software maintainability, fault-based analysis, interface-based system testing, automatic test data generation, natural language processing, artificial intelligence, empirical validation

Research Statement

Refereed Journal Papers/Archival Publications

Published or accepted:

1.      Sandy Patel* and Jane Huffman Hayes, “Case Study:  Teaching an Electronic Course,” Journal for the Advancement of Marketing Education, Volume 2, Number 1, Summer 2002.

2.      Jane Huffman Hayes, Naresh Mohamed*, Tina Gao*, “The Observe-Mine-Adopt Model:  An Agile Way to Enhance Software Maintainability,” Journal of Software Maintenance and Evolution: Research and Practice, Volume 15, Issue 5, Pages 297 – 323, October 2003.

3.      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.

4.      Jane Huffman Hayes, Alex Dekhtyar, and Senthil Sundaram*, “Improving After-the-Fact Tracing and Mapping to Support Software Quality Predictions,” IEEE Software, Volume 22, Number 6, November/December 2005, pp. 30 – 37.

5.      Suresh Yadla*, Jane Huffman Hayes, Alex Dekhtyar, “Tracing Requirements to Defect Reports:  An Application of Information Retrieval Techniques,” Innovations in Systems and Software Engineering:  A NASA Journal, Volume 1, Number 2, September 2005, p. 116 – 124.

6.      Tina Gao*, Jane Huffman Hayes, and Henry Cai*, “Integrating Biological Research through Web Services,” IEEE Computer, March/April 2005 issue, pp. 26 - 31.

7.      Alain April, Jane Huffman Hayes, and Alain Abran, “Software Maintenance Maturity Model (SMmm):  A Software Maintenance Process Model,” Journal of Software Maintenance and Evolution: Research and Practice, Volume 17, Number 3, May-June 2005, p. 197-223.

8.      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.

9.      Jane Huffman Hayes and Jeff Offutt+, "Input Validation Analysis and Testing,” Journal on Empirical Software Engineering, 11(4):493-522, December 2006.

10.  Jane Huffman Hayes, Alex Dekhtyar, Senthil Sundaram, Ashlee Holbrook, Sravanthi Vadlamudi, Alain April, Requirements Tracing On target (RETRO):  Improving Software Maintenance through Traceability Recovery,” Innovations in Systems and Software Engineering:  A NASA Journal (ISSE) 3(3): 193-202 (2007).

11.  Jane Huffman Hayes, “Authorship Attribution:  A Principal Component and Linear Discriminant Analysis of the Consistent Programmer Hypothesis,” Int’l Journal on Computers and their Applications, Appl. 15 (2): 79-99 (2008).

12.  Jane Huffman Hayes and Jeff Offutt+, “Recognizing Authors: A Case Study of the Consistent Programmer Hypothesis,”  Journal of Software Testing Verification and Reliability, article first published online: 16 JUL 2009, DOI: 10.1002/stvr.412, hardcopy Volume 20, Issue 4, pp. 329 - 356.

13.  Senthil Karthikeyan Sundaram*, Jane Huffman Hayes, Alex Dekhtyar, and E. Ashlee Holbrook*, “Assessing Traceability of Software Engineering Artifacts,” Requirements Engineering Journal, 15(3):313 – 335, 2010

14.  Jane Huffman Hayes, Inies Chemmannoor*, Ashlee Holbrook*, “Improved Code Defect Detection with Fault Links,” accepted to Journal of Software Testing Verification and Reliability, revised version submitted in September 2009, online January 2010.

15.  Hakim Sultanov*, Jane Huffman Hayes, and Wei-Keat Kong*, “Application of Swarm Techniques to Requirement Tracing,”  Special Issue of Requirements Engineering Journal as one of the Top 5 papers at IEEE International Conference in Requirements Engineering (RE) 2010, accepted April 2011, online June 2011 at http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s00766-011-0121-4

16.  Alex Dekhtyar and Jane Huffman Hayes, “Studying the Role of Humans in the Traceability Loop,” (28 page chapter) accepted to "Software and Systems Traceability by June 2011, "edited book by Springer-Verlag, peer reviewed.

17.  Orlena Gotel, Jane Cleland-Huang, Jane Huffman Hayes, Andrea Zisman, Alexander Egyed, Paul Gruenbacher, Alex Dekhtyar, Giulio Antoniol, Jonathan Maletic and Brian Berenbach, “The Grand Challenge of Traceability,” (74 page chapter), accepted to "Software and Systems Traceability," edited book by Springer-Verlag, peer reviewed, June 2011.

18.  Orlena Gotel, Jane Cleland-Huang, Jane Huffman Hayes, Andrea Zisman, Alexander Egyed, Paul Gruenbacher, Alex Dekhtyar, Giulio Antoniol, Jonathan Maletic and Patrick Mader, “Traceability Fundamentals,” (18 page chapter), accepted in June 2011 to "Software and Systems Traceability," edited book by Springer-Verlag, peer reviewed.

19.  Liming Zhao* and Jane Huffman Hayes, “Rank-based Refactoring Decision Support: Two Studies,”  Innovations in Systems and Software Engineering: A NASA Journal (ISSE),  July 2011. Volume 7, Issue 3 (2011), Page 171-189.

20.  Ashlee Holbrook , Jane Huffman Hayes, Alex Dekhtyar, Wenbin Li “A study of methods for textual satisfaction assessment,” in Journal of Empirical Software Engineering (EMSE), February 2013, Volume 18, Issue 1, pp 139-176.

 

Refereed Conference Papers

1.      Bill Kidwell*, Jane H Hayes, Allen Nikora, “Toward Extended Change Types for Analyzing Software Faults,” International Conference on Quality Software (QSIC) 2014, Dallas, TX, October 2014.

2.      Davide Falessi, Bill Kidwell*, Jane Huffman Hayes, and Forrest Shull. 2014. “On failure classification: the impact of "getting it wrong.” In Companion Proceedings of the 36th International Conference on Software Engineering (ICSE Companion 2014). May 2014. ACM, New York, NY, USA, 512-515.

3.      Mark Hays*, Jane Huffman Hayes, and Arne C. Bathke 2014. “Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013.” In Proceedings of the 2014 IEEE International Conference on Software Testing, Verification, and Validation (ICST '14). IEEE Computer Society, Washington, DC, USA, 333-342.

4.      Wenbin Li*, David Brown*, Jane Huffman Hayes, Miroslaw Truszczynski: “Answer-Set Programming in Requirements Engineering.” Requirements Engineering: Foundation for Software Quality (REFSQ) 2014: 168-183.

5.      H Sultanov*, JH Hayes, “Application of Reinforcement Learning to Requirements Engineering:  Requirements Tracing,” in Proceedings of the IEEE International Conference on Requirements Engineering (RE) 2013.

6.      O Gotel, JC Huang, JC, JH Hayes, A Zisman, G Antoniol, A Egyed, P Grunbacher, “The Quest for Ubiquity:  A Roadmap for Software and Systems Traceability Research,” in Proceedings of the IEEE International Conference on Requirements Engineering (RE) 2012.

7.      WK Kong*, JH Hayes, A Dekhtyar, O Dekhtyar, “Process Improvement for Traceability: A Study of Human Fallibility,” in Proceedings of the IEEE International Conference on Requirements Engineering (RE) 2012.

8.      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.

9.      Jane Cleland-Huang, Yonghee Shin, Ed Keenan, Adam Czauderna, Greg Leach, Evan Moritz, Malcom Gethers, Denys Poshyvanyk, Jane Huffman Hayes, Wenbin Li*, Toward Actionable, Broadly Accessible Contests in Software Engineering,” in Proceedings of Int’l Conf. on SW Eng. Track on New and Innovative Emerging Results (NIER) 2012.

10.  Jane Cleland-Huang, Mats Heimdahl, Jane Huffman Hayes, Robyn Lutz and Patrick Mäder, “Trace Queries for Managing Safety Requirements in High Assurance Systems,” in Proceedings of 18th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ) 2012 (15 page paper).

11.  Alex Dekhtyar, Olga Dekhtyar, Jeff Holden, Jane Huffman Hayes, David Cuddeback and Wei-Keat Kong*, “On Human Analyst Performance in Assisted Requirements Tracing: Statistical Analysis,” in Proceedings of IEEE International Conference on Requirements Engineering (RE) 2011, Trento, Italy,  (10 page paper).

12.  N. Ali, W. Wu, G. Antoniol, M. DiPenta, YG Gueheneuc, YG, J. Huffman Hayes, “MoMS:  Multi-Objective Miniaturization of Software,” in Proceedings of International Conference on Software Maintenance (ICSM) 2011,  September 2011, Williamsburg, VA, (10 page paper).

13.  David Cuddeback, Alex Dekhtyar, Jane Huffman Hayes, Jeff Holden, Wei-Keat Kong*, “Towards Overcoming Human Analyst Fallibility in the Requirements Tracing Process”, in Proceedings of the International Conference on Software Engineering (ICSE 2011), New and Innovative Emerging Results (NIER) Track.

14.  D. Port, J. Huffman Hayes, LiGuo Huang, Allen Nikora, “Text Mining Support for Software Requirements: Traceability Assurance,” in Proceedings of IEEE Computer Society Hawaii International Conference on System Sciences (HICSS), January 2011, HICSS 2011: 1 – 11.

15.  Allen Nikora, Jane Huffman Hayes, Ashlee Holbrook[1], “Experiments in Automated Identification of Ambiguous Natural-Language Requirements,” in Proceedings of the Industry Track of IEEE International Symposium on Software Reliability Engineering (ISSRE) 2010, pp. 229 – 238. (10 page paper).

16.  Hakim Sultanov*, Jane Huffman Hayes, “Application of Swarm Techniques to Requirements Engineering: Requirements Tracing,” Proceedings of IEEE International Conference on Requirements Engineering (RE), September 2010, Sydney, Australia, RE 2010: 211-220.  Named one of “5 best papers.”.

17.  David Cuddeback, Alex Dekhtyar, Jane Huffman Hayes, “Automated Requirements Traceability: the Study of Human Analysts,” Proceedings of IEEE International Conference on Requirements Engineering (RE), September 2010, Sydney, Australia, RE 2010: 231-240.

18.  E. Ashlee Holbrook, Jane Huffman Hayes, Alex Dekhtyar, "Toward Automating Requirements Satisfaction Assessment," Proceedings of Requirements Engineering, IEEE International Conference on, pp. 149-158, 2009 17th IEEE International Requirements Engineering Conference, 2009.

19.  Jane Huffman Hayes, Giuliano Antoniol, Yann-Gaël Guéhéneuc: "PREREQIR: Recovering Pre-Requirements via Cluster Analysis" Proceedings of the Working Conference on Reverse Engineering (WCRE) WCRE 2008: 165-174.

20.  Giuliano Antoniol, Jane Huffman Hayes, Yann-Gaël Guéhéneuc, Massimiliano Di Penta: “Reuse or Rewrite: Combining Textual, Static, and Dynamic Analyses to Assess the Cost of Keeping a System Up-To-Date.” Proceedings of International Conference on Software Maintenance (ICSM) ICSM 2008: 147-156.

21.  Alex Dekhtyar, Jane Huffman Hayes, Senthil Sundaram, Ashlee Holbrook, Olga Dekhtyar, “Technique Integration for Requirements Assessment,” pp.141-150, Proceedings of the 15th IEEE International Requirements Engineering Conference (RE 2007), 2007.

22.  Jane Huffman Hayes, Inies Chemannor*, Ashlee Holbrook*, Dave Pruett, “A Case History of International Space Station Requirement Faults,”  in Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2006. (10 page paper)

23.  Jane Huffman Hayes, Alex Dekhtyar, Ashlee Holbrook*, Olga Dekhtyar, Senthil Sundaram*, “Will Johnny/Joanie Make a Good Software Engineer?:  Are Course Grades Showing the Whole Picture?,”  Proceedings of  Conference on Software Engineering Education and Training (CSEET), Oahu, HI, April 2006. (8 page paper).

24.  Jane Huffman Hayes, Liming Zhao*, Maintainability Prediction:  A Regression Analysis of Measures of Evolving Systems,” Proceedings of IEEE International Conference on Software Maintenance (ICSM) 2005, Budapest, Hungary, September, 2005. 

25.  Jane Huffman Hayes, Inies Chemannoor*, Vinod Surisetty*, and Anneliese Andrews, “ Fault Links:  Exploring the Relationship Between Module and Fault Types,”  Proceedings of European Dependable Computing Conference (EDCC), Budapest, Hungary, April 2005. – (20 page paper)

26.  Jane Huffman Hayes, Alexander Dekhtyar, Senthil Sundaram*, Sarah Howard, “Helping Analysts Trace Requirements:  An Objective Look,” in Proceedings of IEEE Requirements Engineering Conference (RE) 2004, Kyoto, Japan, September 2004, pp. 249-261.

27.  Jane Huffman Hayes, Sandip Patel*, and Liming Zhao*, “A Metrics-Based Software Maintenance Effort Model,” In Proceedings of the 8th European Conference on Software Maintenance and Reengineering, Tampere, Finland, March 2004. pp. 254-258.

28.  Jane Huffman Hayes, “Building a Requirement Fault Taxonomy:  Experiences from a NASA Verification and Validation Research Project,” in Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE), Denver, CO, November 2003, pp. 49 - 59.

29.  Jane Huffman Hayes, Alexander Dekhtyar, James Osbourne*, “Improving Requirements Tracing via Information Retrieval,” in Proceedings of the International Conference on Requirements Engineering (RE), Monterey, California, September 2003, pp. 138 – 148.

30.  Jane Huffman Hayes, Tim Lethbridge, and Dan Port, “Evaluating Individual Contribution Toward Group Software Engineering Projects," in Proceedings of the International Conference on Software Engineering (ICSE), Portland, Oregon, May 2003, pp. 622-627.

31.  Jane Huffman Hayes and Pifu Zhang* “Fault Detection Effectiveness of Spathic Test Data," in Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) 2002, Greenbelt, MD, December 2002, pp. 183-192

32.  Jane Huffman Hayesand Pifu Zhang* “Energizing Software Engineering Education through Real-World Projects as Experimental Studies," in Proceedings of 15th Conference on Software Engineering Education and Training (CSEET), Covington, KY, February 2002, pp. 192-206.

33.  Jane Huffman Hayes“Affects on Maintenance of Web Software Applications," in Proceedings of International Conference on Software & Systems Engineering and their Applications (ICSSEA), Paris, France, December 2001.

34.   Jane Huffman Hayes and Hui Cai*, “Software Engineering and Building Multi-Tier E-Business Applications Using Web Services Technology:  Forget Everything You Know?,” in Proceedings of the International Conference on Software & Systems Engineering and their Applications (ICSSEA), Paris, France, December 2001.

35.  Jane Huffman Hayes and Jeff Offutt+, "Increased Software Reliability Through Input Validation Analysis and Testing", in Proceedings of The Tenth IEEE International Symposium on Software Reliability Engineering, pages 199-209, Boca Raton, Florida, November 1999.

36.  Jane Huffman Hayes and Jeff Offutt+, "Input Validation Testing:  A Requirements-Driven, System Level, Early Lifecycle Technique", published in the Proceedings of the 11th International Conference on Software Engineering and its Applications, Paris, France, October 1998.

37.  Jane Huffman Hayes, "Input Validation Testing:  A System Level, Early Lifecycle Technique," accepted to ICSE `97 Doctoral Consortium, published in the Proceedings of the Seventeenth International Conference on Software Engineering Doctoral Consortium, Boston, Massachusetts, May 1997.

38.  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.

39.  Jane Huffman Hayes, "Testing 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.

40.  Jane Huffman (Hayes) and Cliff Burgess, "Partially Automated In-Line Documentation (PAID):  Design and Implementation of a Software Maintenance Tool," published in The Proceedings of the 1988 IEEE Conference on Software Maintenance (ICSM), pages 60-65, Phoenix, Arizona, October 1988.

Refereed Workshop Papers

1.  Wei-Keat Kong*, Jane Huffman Hayes, Alex Dekhtyar, Jeff Holden, “How Do We Trace Requirements? An Initial Study of Analyst Behavior in Trace Validation Tasks,” in Proceedings of Workshop on Cooperative and Human Aspects of Software Engineering (CHASE) 2011, an ICSE workshop.

2.  Dekhtyar, A., Huffman Hayes, J, Smith, Matt*, “Towards a Model of Analyst Effort for Traceability Research: A Position Paper,” in Proceedings of Traceability of Emerging Forms of Software Engineering (TEFSE) 2011, an ICSE workshop.

3.  Jane Cleland-Huang, Adam Czauderna, Alex Dekhtyar, Olly Gotel, Jane Huffman Hayes, Ed Keenan, Greg Leach, Jonathan Maletic, Denys Poshyvanyk, Yonghee Shin, Andrea Zisman, Antoniol Giulio, Brian Berenbach and Maeder Patrick, “Grand Challenges, Benchmarks, and TraceLab: Developing Infrastructure for the Software Traceability Research Community,” in Proceedings of TEFSE 2011, an ICSE workshop.

4.  Hakim Sultanov*, Wei-Keat Kong*, Jane Hayes, and Wenbin Li*, “Software Verification and Validation Research Laboratory (SVVRL) of the University of Kentucky: Traceability Challenge 2011: Language Translation,” in Proceedings of TEFSE 2011, an ICSE workshop.

5.  Jane Cleland-Huang, Jane Huffman Hayes, Jean Domel“Model-Based Tracebility,” in Proceedings of TEFSE 2011, an ICSE workshop.

6.  Jane Huffman Hayes, Alex Dekhtyar, David S. Janzen, "Towards Traceable Test-Driven Development,” in Proceedings of TEFSE 2009, an ICSE workshop.

7.  Jane Huffman Hayes, Wei-Keat Kong, Wenbin Li, Hakim Sultanov, Steven Alexander Wilson, Sami Taha, Jody Larsen, Senthil Sundaram., "Software Verification and Validation Research Laboratory (SVVRL) of the University of Kentucky: Traceability Challenge,” in Proceedings of TEFSE 2009, an ICSE workshop.

8.      Alex Dekhtyar, Jane Huffman Hayes, Judy Goldsmith, (2007), “Uncertainty as the Source of Knowledge Transfer Opportunity, Software Engineering,” (IWLU’2007), Atlanta, GA, November 2007.  

9.      Alex Dekhtyar, Jane Huffman Hayes, Jody Larsen, “Make the Most of Your Time:  How Should the Analyst Work with Automated Traceability Tools?” in Proceedings of PROMISE, an ICSE workshop, May 2007, Minneapolis, Minn.

10.  Alex Dekhtyar, Jane Huffman Hayes, Giulio Antoniol, “Benchmarks for Traceability?” in Proceedings of Traceability in Emerging Forms of Software Engineering (TEFSE), Slade, KY, March 22/23, 2007.

11.  Liming Zhao and Jane Huffman Hayes, Predicting Classes in Need of Refactoring: An Application of Static Metrics, in Proceedings of the Workshop on Predictive Models of Software Engineering (PROMISE), associated with ICSM 2006, Philadelphia, PA, September 2006.

12.  Ken McGill, Wes Deadrick, Jane Huffman Hayes, Alex Dekhtyar, “Houston, We Have a Success Story:  Technology Transfer at the NASA IV&V Facility,” in Proceedings of the Workshop on Technology Transfer in Software Engineering (WOTTSE), associated with International Conference on Software Engineering (ICSE) 2006, Shanghai, China, May 2006.

13.  Jane Huffman Hayes, Ashlee Holbrook*, Inies Chemannoor*, Dave Pruett, “Fault-Based Analysis: How History Can Help Improve Performance and Dependability Requirements for High Assurance Systems,” in Proceedings of the Fifth International Workshop on Requirements for High Assurance Systems (RHAS), Chicago, IL on November 8, 2005.

14.  Jane Huffman Hayes, Alex Dekhtyar, Senthil Sundaram*, “Humans in the Traceability Loop: Can't Live With 'Em, Can't Live Without 'Em,” in Proceedings of the Workshop on Traceability of Emerging Forms of Software Engineering (TEFSE), Long Beach, CA, November 8, 2005, pp. 20 - 23.

15.  Jane Huffman Hayes, Alex Dekhtyar, Senthil Sundaram*, “Text Mining for Software Engineering:  How Analyst Feedback Impacts Final Results,” in Proceedings of Workshop on Mining of Software Repositories (MSR), associated with ICSE 2005, St. Louis, MO, May 2005, pp. 58 - 62.

16.  Senthil Sundaram*, Jane Huffman Hayes, Alex Dekhtyar, “Baselines in Requirements Tracing,” in Proceedings of Workshop on Predictive Models of Software Engineering (PROMISE), associated with ICSE 2005, St. Louis, MO, May 2005, pp. 12 - 17.   

17.  Alex Dekhtyar, Jane Huffman Hayes, and Tim Menzies. “Text is Software Too,” in Proceedings of the Mining of Software Repositories Workshop, Edinburgh, Scotland, May 2004, pp. 22-26.

18.  Jeff Offutt+, Yuan Yang, and Jane Huffman Hayes, “SEEWeb: Making Experimental Artifacts Available,” Workshop on Empirical Research in Software Testing (WERST), in SIGNOTES, Volume 29, Issue 5,  September 2004, Boston, MA, July 2004, pp. 1 - 3.   

19.  Jane Huffman Hayes and Jeff Offutt+, “Applying a Semantic Fault Model to the Empirical Study of Corrective Maintenance,” presented at and in on-line proceedings of the Eighth IEEE Workshop on Empirical Studies of Software Maintenance (WESS 2002), Montreal, Canada, October 2002. 

20.  Jane Huffman Hayes and Hui Cai*, “Software Engineering and Building Multi-Tier E-Business Applications Using Web Services Technology:  Forget Everything You Know?” in Proceedings of the International Conference on Software & Systems Engineering and their Applications (ICSSEA), Paris, France, December 2001.

21.  Jane Huffman Hayes and Jeff Offutt+, “Product and Process: Key Areas Worthy of Software Maintainability Empirical Study,” presented at and in on-line proceedings of The Sixth IEEE Workshop on Empirical Studies of Software Maintenance (WESS 2000), San Jose, California, October 2000. 

22.  Jane Huffman (Hayes) and Cliff Burgess, published in The Proceedings of the 1988 IEEE Conference on Software Maintenance (ICSM), pages 60-65, Phoenix, Arizona, October 1988.

Refereed by Abstract

1. Hakim Sultanov*, Jane Huffman, Hayes, Troy Thompson, “Scan Station:  Using a combination self-aware approach and design patterns,” IEEE CASE08, Aug 23 – 26, 2008, Washington, DC.  

2. Ashlee Holbrook, Jane Huffman Hayes, Alex Dekhtyar, “Addressing a Grand Challenge in Traceability:  Semantics,” as a poster in Proceedings of TEFSE 2007, Slade, KY, March 22/23, 2007.

3. J. H. Graham, Jane Huffman Hayes, R.K. Ragade, "Requirements Methods for Safety-Critical Industrial Software Systems," Proceedings of Sixth Intl. Conf. on Engineering Design and Automation (EDA), Wailea, Maui, Hawaii, August 2002, pp. 42-45.

4. Steve Mirsky, Lance Miller, and Jane Huffman Hayes, "Development and Documentation of Verification and Validation Guidelines for Expert Systems in the Nuclear Power Industry," PLEX '93 (Plant Life Extension), Zurich, Switzerland, 29 November-1 December 1993.

5. Jane Huffman Hayes, Jeff Weatherbee, and Lillian Zelinski, "A Tool for Performing Software Interface Analysis," published in The Proceedings of the First International Conference on Software Quality, Dayton, Ohio, October 1991.

6. Jane Huffman Hayes, "Risk Reduction Through Requirements Tracing," published in The Conference Proceedings of Software Quality Week 1990, San Francisco, California, May 1990, pp. 1 - 25.

Invited Papers

1. Jane Huffman Hayes and Mary Biddle, “Nancy Mead and Software Engineering Education: Advancements through Action,” in Proceedings of the IEEE Conference on Software Engineering Education and Training (CSEET), Charleston, SC, April 2008.

2. Jane Huffman Hayes, Alex Dekhtyar, and James M. Carigan*, “Recommending a Framework for Comparison of Requirements Tracing Experiments,” in on-line proceedings of the Workshop on Empirical Studies of Software Maintenance (WESS 2004), Chicago, IL, September 2004.

3. Jane Huffman Hayes, “Do You Like Pina Coladas?  How Improved Communication Can Improve Software Quality,” IEEE Software, January/February 2002, pp. 90 - 92.

4. Jane Huffman Hayes, “On the Virtues of Not Knowing,” IEEE Software, May/June 2004, pp. 74 – 75.

Editorial Work

The Proceedings of the ACM 3rd International Workshop on Traceability in Emerging Forms of Software Engineering TEFSE 2005, J.I. Maletic, J. Cleland-Huang, J. H. Hayes, G. Antoniol (Editors), November 8th, Long Beach California, ACM, ISBN 1-59593-243-7, 2005.

Other Publications

Lance Miller, Steve Mirsky, and Jane Huffman Hayes, NUREG/CR-6316, Guidelines for the Verification and Validation of Expert System Software and Conventional Software, U.S. Nuclear Regulatory Commission and Electric Power Research Institute, March 1995.

 

+ My advisor

* Student co-author

 

Projects

Current Projects:

 

Modeling of Sequential Techniques in Software Verification and Validation Processes (not yet funded):  Description to be added upon paper acceptance

Student: Wenbin Li

Collaborator: Yann-Gaël Guéhéneuc, Giulio Antoniol, Mirosław Truszczyński, Bram Adams

 

Fault Links (formerly funded by NASA): This project aims to discover fault taxonomies for code changes and components as well as the relationships between the two types of taxonomies - this will support quality assurance.

Students: Bill Kidwell, Wenbin Li

Collaborator: Allen Nikora

Products Developed:      Bill Kidwell*, Jane H Hayes, Allen Nikora, “Toward Extended Change Types for Analyzing Software Faults,” International Conference on Quality Software (QSIC) 2014, Dallas, TX, October 2014.

Davide Falessi, Bill Kidwell*, Jane Huffman Hayes, and Forrest Shull. 2014. “On failure classification: the impact of "getting it wrong.” In Companion Proceedings of the 36th International Conference on Software Engineering (ICSE Companion 2014). May 2014. ACM, New York, NY, USA, 512-515.

Consistency Checking of Temporal Requirements (formerly funded by NASA and Army SMD): This project aims to develop automated formal techniques for checking the consistency of temporal natural language text requirements, requiring minimal assistance from requirements analysts who are not formal methods experts.

Students: Wenbin Li, David Brown

Collaborator: Mirosław Truszczyński, Victor Marek

Products Developed:      Wenbin Li*, David Brown*, Jane Huffman Hayes, Miroslaw Truszczynski: “Answer-Set Programming in Requirements Engineering.” Requirements Engineering: Foundation for Software Quality (REFSQ) 2014: 168-183.

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.

 

Past Projects:

MRI-R2-Development of a Software Traceability Instrument to Facilitate and Empower Traceability Research and Technology Transfer (NSF): This project will develop a software traceability instrument designed to empower future traceability research. Dr. Hayes is working on Benchmarking and Datasets.

Students: NA

Collaborators: Jane Cleland-Huang, Jonathan Maletic, Denys Poshyvanyk, Olly Gotel

 

 

Traceability+ (NSF): This project aims to develop stakeholder driven value-added traceability services.

Students: Ashlee Holbrook, Wenbin Li, Wei-Keat Kong, Hakim Sultanov, Jody Larsen, Alex Wilson, Isaac Lee, Aaron Jones, Ken Imai, Chase Carnes, Jesse Yannelli, Fan Yang

Collaborators: Jane Cleland-Huang, Jonathan Maletic, Maureen Doyle

Products (2012, 2013 – older product info available upon request):

 

Conference Papers and Presentations

 

    Hakim Sultanov, Jane Huffman Hayes (2013). Application of Reinforcement Learning to Requirements Engineering: Requirements Tracing. IEEE International Conference on Requirements Engineering (RE) 2013. Rio de Janeiro, Brazil. Status = PUBLISHED;  Acknowledgement of Federal Support = Yes

 

    Jane Huffman Hayes (2013). Be the Change You Want to See in Requirements Engineering: A Letter to Myself. Dagstuhl Seminar, "Requirements Management – Novel Perspectives and Challenges" (12442). Dagstuhl, Germany. Status = PUBLISHED;  Acknowledgement of Federal Support = Yes

 

    Sandeep Pandanaboyana, Shreeram Sridharan, Jesse Yannelli and Jane Hayes (2013). REquirements TRacing On target (RETRO) Enhanced with an Automated Thesaurus Builder: An Empirical Study. Traceability of Emerging Forms of Software Engineering (TEFSE) 2013, co-located with ICSE 2013. San Francisco, CA. Status = PUBLISHED;  Acknowledgement of Federal Support = Yes

 

    Jane Cleland-Huang, Yonghee Shin, Ed Keenan, Adam Czauderna, Greg Leach, Evan Moritz, Malcom Gethers, Denys Poshyvanyk, Jane Huffman Hayes, Wenbin Li, (2012). Toward Actionable, Broadly Accessible Contests in Software Engineering. Int’l Conf. on SW Eng. (ICSE), New and Innovative Emerging Results (NIER) 2012. Zurich, Switzerland. Status = PUBLISHED;  Acknowledgement of Federal Support = Yes

 

    Chase Carnes, Fan Yang, Jesse Yannelli, Ken Imai (2013). Trace Matrix Analyzer. National Conference on Undergraduate Research. La Crosse, Wisconsin. Status = PUBLISHED;  Acknowledgement of Federal Support = Yes

 

    Wenbin Li, Jane Huffman Hayes, Fan Yang, Jesse Yanelli, Ken Imai, Chase Carnes, Maureen Doyle (2013). Trace Matrix Analyzer (TMA). Traceability of Emerging Forms of Software Engineering (TEFSE) 2013, co-located with ICSE 2013. San Francisco, CA. Status = PUBLISHED;  Acknowledgement of Federal Support = Yes

 

    Wenbin Li, Jane Huffman Hayes (2013). Traceability Challenge 2013: Query+ Enhancement for Semantic Tracing (QuEST) Software Verification and Validation Research Laboratory (SVVRL) of the University of Kentucky. Traceability of Emerging Forms of Software Engineering (TEFSE) 2013, Challenge Track, co-located with ICSE 2013. San Francisco, CA. Status = PUBLISHED;  Acknowledgement of Federal Support = Yes

 

    Jane Huffman Hayes (2013). Walk Before You Run. Dagstuhl Seminar, "Requirements Management – Novel Perspectives and Challenges" (12442). Dagstuhl, Germany. Status = PUBLISHED;  Acknowledgement of Federal Support = Yes

 

{re2012kong} Kong, WK, Hayes, JH, Dekhtyar, A, Dekhtyar, O, 'Process Improvement for Traceability: A Study of Human Fallibility,' to

appear in Proceedings of IEEE Conference on Requirements Engineering (RE) 2012.

 

{re2012gotel} Gotel, O, Huang, JC, Hayes, JH, Zisman, A, Antoniol, G, Egyed, A, Grunbacher, P, 'The Quest for Ubiquity: A Roadmap for

Software and Systems Traceability Research,' to appear in Proceedings of IEEE Conference on Requirements Engineering (RE) 2012.

 

{refsq2012} Jane Cleland-Huang, Mats Heimdahl, Jane Huffman Hayes, Robyn Lutz and Patrick M?der, 'Trace Queries for Managing Safety

Requirements in High Assurance Systems,' to appear in Proceedings of 18th International Working Conference on Requirements Engineering:

Foundation for Software Quality (REFSQ) 2012 (15 page paper).

 

{RESATJournal} Ashlee Holbrook, Jane Huffman Hayes, Alex Dekhtyar, 'A study of methods for textual satisfaction assessment,' Empirical

Software Engineering (16 February 2012), pp. 1-38, doi:10.1007/s10664-012-9198-8

 

{yang2012} Yang, Fan, 'Trace Matrix Analyzer (TMA),' University of Kentucky Undergraduate Research Showcase, April 2012, Lexington,

KY.

 

{nfms2012} 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.

 

 

Journals

 

    Ashlee Holbrook, Jane Huffman Hayes, Alex Dekhtyar, Wenbin Li (2013). A study of methods for textual satisfaction assessment.  Empirical Software Engineering. 18 (1),  139. Status = PUBLISHED; Acknowledgment of Federal Support = Yes ; Peer Reviewed = Yes

 

Sundaram, Senthil, Hayes, Jane Huffman, Dekhtyar, Alex, "Assessing Traceability of Software Engineering Artifacts", Requirements

Engineering Journal, p. , vol. , (2010). Published, 10.1007/s00766-009-0096-6

 

Hakim Sultanov, Jane Huffman Hayes, and Wei-Keat Kong, "Application of Swarm Techniques to Requirement Tracing", Requirements

Engineering Journal, p. , vol. , (2011). Accepted

 

Other Products

 

    Audio or Video Products.

 

    Demo of RETRO.NET

 

    http://www.youtube.com/watch?v=y4IN_NuGy0o

 

    Software or Netware.

 

    We enhanced our previously existing version of REquirements TRacing On target (RETRO.NET).  This tool is available upon request.

 

    Educational aids or Curricula.

 

    We developed and taught a course on software and system traceability in the spring 2013 semester

 

    Data Sets.

 

    We developed a number of trace data sets.  These include:  source artifact elements, target artifact elements, and gold standard (answerset).  These have been made available over the www.coest.org website.

 

Other Publications

 

    Jane Cleland-Huang, Adam Czauderna, Jane Huffman Hayes (2013). Using TraceLab to Design, Execute and Baseline Empirical Requirements Engineering Experiments.  Poster at IEEE Requirements Engineering Conference 2013 in Rio de Janeiro, Brazil. Status = PUBLISHED;  Acknowledgement of Federal Support = Yes

 

Technologies or Techniques

 

    We developed a trace recovery method that extends the artifact elements by adding semantic role information.

 

    We developed an automated method for analyzing trace matrices.

 

    We developed an automated method for generating candidate links using reinforcement learning.

 

    We developed an automated thesaurus builder.

 

Websites

 

    COEST Data Sets

    http://www.coest.org/index.php/resources/dat-sets

 

    The data sets developed for tracing research are listed here.

 

Publications (2012):

 

 

 

Software Testability: This project seeks to empirically build and validate models of software testability.

Student: Mark Hays

 

Grants/Contracts

          See Projects above

Links to Related Web Pages

Center of Excellence for Software and System Traceability
Software Verification and Validation Lab
Software Engineering Research Seminar
University of Kentucky Home Page
Gerald N. Galstan Memorial Fellowship
Picture of People in the Software Engineering Group

 

Last Revised: 12/3/2014

 

 



6 This was after Ashlee earned her PhD