Infoscience

Thesis

Execution Synthesis: A Technique for Automating the Debugging of Software

Related material