Mark Hays
Assistant Professor of Computer Science and Software Engineering
Office: F214
- CSSE371 Requirements Engineering
- CSSE120 Intro to Software Development
- CSSE376 Software Quality Assurance
- CSSE290 Competitive Programming
- CSSE120 Intro to Software Development
-
CSSE490 White Board Coding
This class gave students the opportunity to practice to algorithm design and
analysis under pressure. This situation is common in industry interviews at
tech companies.
- CSSE120-04 Intro to Software Development
Seeing as I just taught CSSE290 Competitive Programming in the Spring, I am letting Shawn Bohner teach that class this Fall. I look forward to taking over primary responsibility for teaching that class in the Fall in the future.
cyclomatic-paths is a Ruby tool that statically analyzes Ruby code and produces the test paths required for 100% basis path coverage. Testers can use these paths to generate test cases that produce code coverage that is significantly more rigorous than that from tools like SimpleCov. It can use those paths to estimate which lines of code are most fault-prone.
Software quality assurance: I spent 8 years at IBM developing new Web UI testing tools for an open source project, the Dojo Toolkit. I have great interest in creating useful tools in this area. As my cyclomatic-paths tool demonstrates, there is a lot of great theory out there (my own including!) that is very interesting to apply to an industry setting.
Statistical analysis: I am also interested in how to perform statistical hypothesis testing. Most researchers only have elementary training in statistical methods. I worked with statisticians to write an algorithm, called MeansTest, that automates statistical hypothesis testing.
M. Hays, J. H. Hayes, and A. C. Bathke, “Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013,” in ICST, 2014, pp. 333–342. http://dx.doi.org/10.1109/ICST.2014.46
M. Hays, J. H. Hayes, A. Stromberg, and A. Bathke, “Traceability Challenge 2013: Statistical Analysis for Traceability Experiments Software Verification and Validation Research Laboratory (SVVRL) of the University of Kentucky,” in Traceability in Emerging Forms of Software Engineering (TEFSE), 2013 International Workshop on, pp. 90–94. http://dx.doi.org/10.1109/TEFSE.2013.6620161
M. Hays and J. Hayes, “The Effect of Testability on Fault Proneness: A Case Study of the Apache HTTP Server,” in Software Reliability Engineering Workshops (ISSREW), 2012 IEEE 23rd International Symposium on, 2012, pp. 153–158. http://dx.doi.org/10.1109/ISSREW.2012.48