Feedback-Directed Random Test Generation

Preview

Mehmet will talk about “Feedback-Directed Random Test Generation” by Carlos Pacheco, Shuvendu Lahiri, Michael Ernst, and Thomas Ball. The paper presents a technique to generate method call sequences to automatically test an API and generate a test suite. They use execution outcome, exceptions, contracts, and pre-existing error checking heuristics to categorize inputs for using as building blocks for new inputs.