Interesting Research

Sources

Groups

Journals

Events

Mailing lists

Blogs

Topics

Systematic concurrency testing (SCT)

Deterministic testing for concurrent programs, by controlling the scheduling decisions made to intelligently explore the state space. Can be complete or incomplete. Draws from model checking and program verification.

People

Papers

My papers

Venues

Test case generation

Test cases are hard to write by hand, so rather than do that, have a tool attempt to discover interesting ones. By reading the output, a programmer can (a) add good tests to the testsuite; and (b) spot potential issues when expected tests don’t show up, or when unexpected ones do.

People

Papers

Venues

Test case reduction

Once we have produced (either hand-written by a programmer or generated with a tool) a test case which exhibits some fault, we want to throw away all the incidental complexity, and find the simplest test case which exhibits the same bug.

This overlaps heavily with test case generation, but differs in motivation.

People

Papers

Venues