It would be cool to see this integrated with the system used in the backend at Pex for Fun (http://www.pexforfun.com/ http://www.pexforfun.com/), which tries to

It would be cool to see this integrated with the system used in the backend at Pex for Fun (http://www.pexforfun.com/ http://www.pexforfun.com/), which tries to automatically find "interesting" inputs for a function given the code.