I recently hosted an episode of Software Engineering Radio called "Goran Petrovic on Mutation Testing at Google"!

Gregory M. Kapfhammer

Code 
from rich.console import Console
console = Console()
console.print(
    ":rocket: Hi! I'm a researcher, teacher, podcaster, and software developer!"
)
🚀 Hi! I'm a researcher, teacher, podcaster, and software developer!

Innovating in technical areas such as software engineering and software testing, I teach courses, conduct research, write papers and a blog, give presentations, create software, and serve organizations. Working as an Associate Professor in the Department of Computer and Information Science at Allegheny College, I am an associate editor for the Journal of Software: Evolution and Process, an academic editor for the PeerJ Computer Science journal, a program committee member for conferences like the International Conference on Software Testing, Verification and Validation and the International Conference on Software Engineering, and a reviewer for journals like Transactions on Software Engineering and the Journal of Software Testing, Verification and Reliability. You can learn more about me and my work by reading my biography, downloading my curriculum vitae, and subscribing to my mailing list.

Research Expertise

Explore all of my areas of research expertise

Professional Service

Investigate all of my professional service

Recent Posts

Read all of my blog posts

Media Appearances

Learn more by reading my professional biography

Highlighted Courses

Explore all of my teaching materials

Software Engineering

  • Cellveyor: Easily convey reports from Google Sheets to GitHub

  • Chasten: Configurable linting tool that uses XPath expressions

  • GatorGrade: Python front-end for the GatorGrader assessment tool

  • GatorGrader: Automated assessment for source code and writing

  • SchemaAnalyst: Data generation and mutation analysis for database schemas

Benefit from my open-source software

Status Updates

mrundkvist

“In everyone’s pocket right now is a computer far more powerful than the one we flew on Voyager. I don’t mean your cell phone — I mean the key fob that unlocks your car.”

— Rich Terrile, JPL scientist and member of the Voyager imaging team

#space

Mar 16, 2025
liamoc

@jonmsterling Exactly. Most people don't learn a topic by just working through a textbook.

I'm reasonably confident in (traditional) domain theory now, but that wasn't because I read through Winskel or Gunter. I did some research that involved some of those techniques. I spoke to a few experts. I brushed up on some related fields like topology. I proved a few theorems in a proof assistant.

In the process, I gradually pieced it together from pieces here and there. Now reading Gunter I can understand it fairly easily, but my learning process wasn't by reading the book. I mostly used it as a reference to check I was understanding things correctly.

Mar 16, 2025
dubroy

I have a soft spot for visual formalisms. Some examples:

• neural circuit diagrams (Vincent Abbott)
• revision diagrams (Burckhardt et al)

Any other good examples?

Mar 7, 2025
See more posts at Mastodon