5th International Workshop on

Constraints in Software Testing Verification and Analysis

March 22nd, 2013 - Luxembourg
Co-located with the 6th int. conf. on Software Testing, Verification and Validation


Sarfraz Kurshid - Systematic Software Testing Using Logical Constraints

Abstract: This talk gives an overview of the systematic approach for software testing using constraints that was originally co-invented by the speaker about a decade ago and has been the focus of a number of subsequent projects. The key idea is to represent desired properties of complex test inputs as logical constraints and to solve them for systematic enumeration of tests. The approach has found bugs in several software applications, including Google Chrome web browser, Eclipse and NetBeans refactoring engines, Sun Javac compiler, NASA Java PathFinder model checker, Oracle 11g database management system, and a resource discovery architecture developed at MIT.

Biography: Sarfraz Khurshid is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Texas at Austin, where he leads the Software Verification and Testing Research Group. He obtained PhD in Computer Science at MIT in 2004. He received BSc in Mathematics and Computer Science from Imperial College London and read Part III of the Mathematical Tripos at Trinity College Cambridge. His current research focuses on software testing, model checking, specification languages, code conformance, data structure repair, and parallel and incremental techniques for software analysis. He is a recipient of the ACM SIGSOFT Impact Paper Award for 2012, two ACM SIGSOFT Distinguished Paper Awards (ISSTA 2002 and ICSE 2010), a Best Research Paper Award (ASWEC 2009), and an NSF CAREER Award (2009). He is an avid player and keen follower of squash (the racket sport, not the vegetable).

Home page: http://www.ece.utexas.edu/~khurshid