Scott Wadsworth

According to our database, Scott Wadsworth authored at least 2 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Will you still compile me tomorrow? static cross-version compiler validation.

Chris Hawblitzel, Shuvendu K. Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2010

DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces.

Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth

Proceedings of the Tests and Proofs - 4th International Conference, 2010