Experiment 2:Code without explicit invariants

• 563-line C program: regular expression search & replace [Hutchins][Rothermel]

• Task: modify to add Kleene +

• Complementary use of both detected invariants and traditional tools (such as grep)

Previous slide

Next slide

Back to first slide

View graphic version