Test Automation Workshop 2010

Test Automation Workshop (TAW)

September 2-3 2010
Bond University, Gold Coast
Co-hosted by Centre for Software Assurance, Bond University and K. J. Ross & Associates

The 7th annual Test Automation Workshop was held at Bond University on the Gold Coast with the aim of improving test automation. We invited structured presentations and discussions on issues affecting test automation.

Keynote Speaker

Jonathan de Halleux
Microsoft Research

Jonathan "Peli" de Halleux is actively working on Pex, an Automated Whitebox Testing tool for .NET. Peli joined the Foundations for Software Engineering group at Microsoft in October 2006. Peli has extensive experience in rigourous software testing, compilers and algorithms. Before joining Microsoft, Peli earned a PhD in Applied Mathematics from the Catholic University of Louvain (2000-2004). More information can be found at http://research.microsoft.com/en-us/people/jhalleux/

Taking Test Input Generation to the Masses with Pex
Pex is a test generation tool for .NET developed at Microsoft Research. Pex uses dynamic symbolic execution and constraint solving to generate test suites that achieve high code coverage. In this talk, we show how Pex was integrated into the development experience of .NET developers. We will also talk about the challenges to turn Pex into a product that developers with little computer science background can use.

Download Presentations

Presentations made by K. J. Ross & Associates consultants are available here:

All other presentations are available from the Bond University Centre for Software Assurance here