Debugging by querying a database of all program state

by Kyle Huey