About Assumptions
Some weeks ago, I attended a talk about IntelliJ IDEA. It was an interactive talk, to the most part, where attendees would ask questions about the IDE and th...
Recent Posts
Naming Tests
Recently, I received an email from a former student assistant of mine, who observed that I name tests different today, compared to when we were working toget...
Learning Syntactic Program Transformations from Examples
Reudismam Rolim observes that many edits are performed repeatedly, for example, when applying corresponding fixes to multiple locations. Such edits can be ge...
A Dissection of the Test-Driven Development Process: Does It really Matter to Test-First or to Test-Last?
Test-driven development is a testing technique that consists of the three actions “writing a failing test”, “making the test pass with the minimum amount of ...
Precise Condition Synthesis for Program Repair
In test-based program repair, the problem to solve is to take a program with a test suite and at least one failing test, to generate a match that makes the p...