A "Human-in-the-loop" approach for resolving complex software anomalies.

Suresh C. Kothari, Akshay Deepak, Ahmed Tamrawi, Benjamin Holland, Sandeep Krishnan

Browse the full SMC paper archive.