Students
who want to email me should read my hints for students making
requests first.
To
learn about a great conference, click here -> International Symposium on Grand Challenges in Traceability (GCT'07)
Contents:
|
|
PhD Information Technology, George Mason University, January 1999.
Dissertation: Input Validation Testing: A System
Level, Early Lifecycle Technique
Advisor: A. Jefferson Offutt
MS Computer Science, University of Southern Mississippi, May 1987.
Department:Computer Science
Address:
Hardymon Building, Room 233
E-mail: hayes@cs.uky.edu
Web Address: http://www.cs.uky.edu/~hayes
Phone: (859) 257-3171
Fax: (859)
323-3740
Research Interests:
Requirements engineering, traceability, verification and validation, software maintainability, fault-based analysis, interface-based system testing, automatic test
data generation
a. 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.
b. 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.
c. Sandip Patel
and Jane Huffman Hayes, "Case Study:Teaching
an Electronic Course," Journal for the Advancement of Marketing Education,
Volume 2, Number 1, Summer 2002.
d. Jane Huffman Hayes and Alex
Dekhtyar, "A Framework for Comparing Requirements Tracing Experiments," to
appear in International Journal on Software Engineering and Knowledge
Engineering (IJSEKE), October 2005.
e. 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.
f. Tina Gao*, Jane Huffman
Hayes, and Henry Cai*, "Integration Of Heterogeneous Bioinformatics Software
Components Using Standardized Web Services," IEEE Computer, March/April 2005
issue, pp. 26-31.
g. 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.
h. Jane Huffman Hayes, Alex
Dekhtyar, and Senthil Sundaram*, "Improving After the Fact Tracing and Mapping
to Support Software Quality Predictions" to appear in November/December 2005
issue of IEEE Software.
i.
Jane Huffman Hayes and Jeff Offutt, "Input
Validation Analysis and Testing," accepted to Journal on Empirical Software
Engineering, October 2005, to appear in Dec. 2006 issue.
j. 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.
k. 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.
l. Ken McGill, Wes Deadrick, Jane Huffman Hayes, Alex Dekhtyar,"Houston, We Have a Success Story: Technology Transfer at the NASA IV&V Facility,"in the Proceedings of the Workshop on Technology Transfer in Software Engineering (WOTTSE), associated with International Conference on Software Engineering (ICSE) 2006, Shanghai, China, May 2006.
m. 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?,,"in Proceedings of the Conference on Software Engineering Education and Training (CSEET), Oahu, Hawaii, April 2006, pp. 175–182.
n. 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.
o. 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.
p.
Jane Huffman Hayes, Liming Zhao, "Maintainability
Prediction:A Regression Analysis of
Measures of Evolving Systems,"
accepted to IEEE International Conference on Software Maintenance (ICSM) 2005,
q. Jane Huffman Hayes, Alex
Dekhtyar, Senthil Sundaram, "Text Mining for Software
Engineering:How Analyst Feedback
Impacts Final Results,"
Proceedings of Workshop on Mining of Software Repositories (MSR), associated
with ICSE 2005, St. Louis, MO, May 2005.
r.
Senthil Sundaram, Jane Huffman Hayes, Alex Dekhtyar, "Baselines in Requirements
Tracing,"
Proceedings of Workshop on Predictive Models of Software Engineering (PROMISE),
associated with ICSE 2005, St. Louis, MO, May 2005.
s. 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),
t.
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,
u.
Alex Dekhtyar, Jane Huffman Hayes, and Timm Menzies.
"Text is Software Too," in Proceedings of the Mining of Software Repositories
Workshop, Edinburgh, Scotland, May 2004, pp. 22-26.
v. 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.
w. Jane
Huffman Hayes, Alexander Dekhtyar, Senthil Sundaram, Sarah Howard,
"Helping
Analysts Trace Requirements: An
Objective Look," in Proceedings of IEEE Requirements Engineering
Congerence (RE) 2004,
x.
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.
y. Alex Dekhtyar, Jane Huffman Hayes, and Timm Menzies. "Text is Software Too," in Proceedings of the Mining of Software Repositories Workshop, Edinburgh, Scotland, May 2004, pp. 22-26.
z.
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.
aa.
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),
bb.
Jane Huffman
Hayes, Alexander Dekhtyar, James Osbourne, "Improving Requirements Tracing via Information
Retrieval," accepted to the
International Conference on Requirements Engineering, to be presented in
Monterey, California, September 2003.
cc.
Jane Huffman
Hayes, Tim Lethbridge, and Dan Port, "Evaluating Individual Contribution Toward Group
Software Engineering Projects," accepted to
International Conference on Software Engineering (ICSE) 2003 Software
Engineering Education and Training (SEET), to be presented in Portland, Oregon,
May 2003.
dd.
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.
ee.
Hayes, J.H., "Energizing Software Engineering Education through
Real-World Projects as Experimental Studies",to be published in
Proceedings of the 15th Conference on Software Engineering Education and Training
(CSEET), February 2002, Cincy, Ohio.
ff.
Hayes, J.H., "Affects on Maintenance of
Web Software Applications,"
published in Proceedings of the International Conference on Software & Systems
Engineering and their Applications (ICSSEA), December 2001,
gg.
Hayes, J.H. and H. Cai, "Software Engineering and
Building Multi-Tier E-Business Applications Using Web Services Technology: Forget
Everything You Know?,"
published in Proceedings of the International Conference on Software &
Systems Engineering and their Applications (ICSSEA), December 2001, Paris,
France
hh.
Jane Huffman
Hayes and Jeff Offutt, "Increased Software
Reliability Through Input Validation Analysis and Testing", The Tenth IEEE International Symposium
on Software Reliability Engineering, pages 199-209,
ii.
Jane Huffman
Hayes and Jeff Offutt, "Input Validation
Testing: A Requirements Driven, System Level, Early Lifecycle Technique", published in the Proceedings of the Eleventh
International Conference on Software Engineering and its Applications,
jj.
Jane Huffman
Hayes, "Input Validation
Testing: A System Level, Early Lifecycle Technique," ICSE `97 Doctoral Consortium, published in
the Proceedings of the Seventeenth International Conference on Software
Engineering Doctoral Consortium, Boston MA, May 1997.
kk.
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,
pages 195-200, ACM,
ll.
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.
mm.
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, pages 60-65, Phoenix, Arizona, October 1988.
nn. 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.
oo.
Steve Mirsky,
Lance Miller, and Jane Huffman Hayes, "Development and Documentation of
Verification and Validation Guidelines for Expert Systems in the Nuclear Power
Industry," presented at PLEX '93 (PlantLife Extension) in Zurich,
Switzerland, 29 November-1 December 1993.
pp.
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,
Courses:
Spring 2001-CS 650 Problems Seminar: Software
Engineering
Fall 2001-CS 499 Senior Design Project
Spring 2002 – CS 685-05 Requirements Engineering
Fall 2002 – CS 616 Software Engineering
Spring 2003 – CS 685 Software Design
Fall 2003 – CS 616 Software Engineering
Spring 2004 – CS 685 Software Testing and Quality Evaluation
Fall 2004 – CS 616 Software Engineering
Spring 2005 – CS 687Software
Design
Fall 2005-CS 499 Senior Design Project
Spring 2006 – CS 617 Requirements Engineering
Fall 2006 – CS 616 Software Engineering
Spring 2007 – CS 685 Empirical Software Engineering
Fall 2008 – A description of: CS 485 (and 585) Software Testing and Quality Evaluation
Fall 2008 – CS 485 (and 585) Software Testing and Quality Evaluation
Assessment of Requirements Traceability Matrices,
$50K, 9/29/05 – 9/28/06, NASA
Independent Verification and Validation Facility and
Fault-Based Analysis: Improving IV&V Through
Requirements Risk Reduction,
11/03 – 10/05, $194.3K, funded by NASA"s
Improving Requirements Tracing and IV&V via
Information Retrieval and Text Mining,
$134.9K, 9/1/04 – 8/30/05, NASA Independent Verification and Validation
Facility and
Robust Requirements Tracing via Internet Search
Technology: Improving an IV&V Technique-Phase II, 2/03-2/04,~ $86,000, awarded by NASA GSFC.
This funds myself, Dr. Dekhtyar, and one RA.
Fault-Based Analysis: Improving IV&V Through
Requirements Risk Reduction, 1/02
- 9/02, $112,000, funded by NASA Independent Verification and Validation
Facility. I am the Principal Investigator and also have a Ph.D. student working
with me as well as D.N. American (a small business in
Robust Requirements Tracing via Internet
Search Technology: Improving an IV&V Technique, 3/02-2/03, $46,000,
awarded by NASA GSFC. This funds myself, Dr. Dekhtyar, and one RA.
Gerald N. Galstan Memorial Fellowship, 1/01 – 12/02, ~$34,000.This
fellowship was established January 2001 by Science Applications International Corporation
(SAIC) in memory of Gerald N. Galstan, Senior Group Vice President,
Manager of the Applied Technology Systems Group, and employee of SAIC for over
20 years. The fund provides research assistantship support for graduate
students who are Computer Science majors studying software engineering.
Voice Recognition
for Procedure Automation on Body Wearables in a High Noise Environment, SAIC Corporate (Internal R&D), 6/99-1/00,
$200,000, funded by SAIC Corporate. As Principal Investigator, I have kept some
original research in house and subcontracted some research work to GTRI (Chris
Thompson) and a small local company (Pacel).
Input Validation
Testing: A System Level, Early Lifecycle Technique, U.S. Navy, 1/98-10/00, ~$200,000, ~1/98-now.
I was Principal Investigator and sole researcher, as this was my dissertation
research. We are using and enhancing the resultant implementation. The results
have been published at several conferences. A journal paper is also in work.
Guidelines for
the Verification and Validation of Expert System Software and Conventional
Software, funded by Nuclear
Regulatory Commission and Electric Power Research Institute,~6/91-6/93,
$474,000. I was Assistant Principal Investigator. The research was published in
NUREG/CR-6316. Customers gave us a follow-on research contract from 6/93 -
6/95.
Dr. Hayes is currently an Assistant 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
Dr. Hayes has published numerous articles related to software verification, validation, and testing.
Fault-Based Analysis (funded by NASA): This project aims to improve IV&V practices through requirements risk reduction using fault-based analysis.
Students: Andrea Hunt.
Robust Requirement Tracing (funded by NASA): This project is aimed at improving an IV&V Technique and uses IR technology.
Students: Senthil Sundaram, Sravanthi Vadlamudi, Sandeep Alluri.
Collaborator:Alex Dekhtyar
Semantic Model of Program Faults:This project attempts to model the characteristics of faults including their "size" by exploring the fundamental nature of faults and differentiating between a syntactic and semantic characterization of faults.
Students:Inies Michael C.M.
Collaborator:Jeff Offutt, Anneliese Andrews, Alex Dekhtyar
Software maintainability modeling:This project seeks to empirically build and validate models of software maintainability.
Students:Liming Zhao.
Fault Links:This project evaluates the notion of fault links and fault chains, to improve software verification and validation.
Students:Inies C.M.
Prior Projects:
Spathic Test Data Generation: This project studies the effectiveness of test data of various operational distributions, including standard and inverse forms of Gaussian distribution and involution of a circle.
Students: Pifu Zhang, Tina Gao
Obeserve-Mine-Adopt Model: This project is building an agile model to assist organizations to make improvements to their software development processes.
Students: Naresh Mohamed, Tina Gao
Fault-Based Analysis (funded by NASA): This project aims to improve IV&V practices through requirements risk reduction using fault-based analysis.It is in collaboration with D.N. American and SAIC.
Students: Bill Wyatt.
Test Driven Development (TDD):This project is examining the plausibility of improving software development through a test-driven development approach.
Students:Jim Carigan, Tina Gao.
Real-World Course Project/Study Approach:This project is building a frame work for using course projects as experimental studies.It also involves designing current course projects as experiments, collecting and analyzing data, etc.
Students:Naresh Mohamed, and Jim Carigan.
Benefits
of CASE Tools on Web Development:This project
is examining what, if any, benefits are derived from using commercial CASE
tools to build e-commerce applications.
Students:Hui Cai.
Testing of Web-based Systems:This project examines our traditional arsenal of tools and methods for unit, integration, and system level testing when applied to web-based systems.
Students:Julia Shi.
Software Verification and
Validation Lab
Software
Engineering Research Seminar
University of Kentucky Home Page
University of Kentucky
Campus Directory
Gerald
N.Galstan Memorial Fellowship
Picture of People in
the Software Engineering Group
![]()
Back to Contact Information Back to top
![]()
Last Revised: 12/12/05