Office Hours for Fall 2009: TTh 0915-1000 in CRMS 514D
Students who want to email me should read my
hints for students making requests first.
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
For a list of publications, click here
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 687 Software 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 – CS 585 (and 485) Software Testing and Quality Evaluation
Spring 2009 – CS 499 Senior Design Project
Spring 2009 – CS 616 Software Engineering
Fall 2009 – CS 687 Empirical Software Engineering
Fall 2009 – CS 499 Senior Design Project
NSF, CPA-SEL-T: Collaborative Research: Traceability+:
A Service Oriented Framework to Support Value-Added Software Traceability,
with Jane Cleland-Huang and Jonathan Maletic, ~$500K for 5 years,
submitted in December 2007, funded for $250K for 3 years in summer 2008.
NSF, CPA-SEL-T: Collaborative Research: Traceability+:
A Service Oriented Framework to Support Value-Added Software Traceability,
Research Experience for Undergraduates, $7900.
Co-PI, NASA, Toward Unambiguous and Consistent Textual Requirements:
An Application of Natural Language Processing Techniques,
with Allen Nikora (JPL), Mirek Truszczynski, and Victor Marek,
$311,084K for one year, submitted November 2008, announced award in May 2009, awaiting funds.
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.
Consistency Checking of NL Requirements (NASA, NSF): This project aims to detect and correct inconsistency using tracing, NLP, ASP, and LP techniques.
Students: Wenbin Li
Collaborator: Mirek Truszczynski, Victor Marek, Allen Nikora
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
Collaborator: Jane Cleland-Huang, Jonathan Maletic
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., Ashlee Holbrook
Prior Projects:
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
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
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: 02/06/2010