About Me

In April 2007 I submitted my PhD thesis and left the University of Manchester to join Morgan Stanley.

I was a PhD student (funded by the EPSRC) at the University of Manchester and a member of the Informatics Process Group (IPG) under the supervision of Dr Suzanne M Embury.

My research was focused on the testing of database systems. The main contribution of this work is an intensional approach to specifying database tests cases that was presented at the 28th International Conference on Software Engineering (ICSE 2006) and is implemented as the DOT-Unit open source testing framework.

I have also been a Research Assistant at the University of Manchester investigating What-If Analysis with Business Rules (WiABR). As well as a Visiting Researcher at the Universita degli Studi di Milano Bicocca in Italy investigating the dynamic monitoring of component-based systems and the automatic generation of integration test suites.

I also hold a BsC in Computer Science from the of Exeter.

I was the PhD Symposium Chair of TAIC PART 2007 (and 2006) a testing conference that aims to forge collaboration between industry and academia on the challenging and exciting problem of software testing.

Publications

  1. An Intensional Approach to the Specification of Test Cases for Database Systems.
    David Willmor and Suzanne M Embury.
    Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 20-28 May 2006, Shanghai, China. Pages 102-111. ACM.
  2. Testing the Implementation of Business Rules using Intensional Database Tests.
    David Willmor and Suzanne M Embury.
    Proceedings of the 1st Testing Academic and Industrial Conference - Practice and Research Techniques (TAIC PART 2006), 29-31 August 2006, Windsor, United Kingdom. IEEE Computer Society.
  3. Assessing Impacts of Changes to Business Rules through Data Exploration.
    Suzanne M Embury, David Willmor and Lei Dang.
    Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), 29 October - 1 November 2006, Tahiti, French Polynesia. IEEE Computer Society.
  4. A Safe Regression Test Selection Technique for Database-Driven Applications.
    David Willmor and Suzanne M Embury.
    Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 25-30 September 2005, Budapest, Hungary. Pages 421-430. IEEE Computer Society.
  5. Exploring Test Adequacy for Database Systems.
    David Willmor and Suzanne Embury.
    Proceedings of the 3rd UK Software Testing Research Workshop (UKTest 2005), 5-6 September 2005, Sheffield, UK.
  6. Program Slicing in the Presence of Database State.
    David Willmor, Suzanne M Embury and Jianhua Shao.
    Proceedings of the 20th IEEE International Conference on Software Maintenance (ICSM 2004), 11-17 September 2004, Chicago, IL, USA. Pages 448-452. IEEE Computer Society.
  7. Generation of Integration Tests for Self-Testing Components.
    Leonardo Mariani, Mauro Pezze and David Willmor.
    Proceedings of the FORTE 2004 Workshops (ITM 2004), 1-2 October 2004, Toledo, Spain. Pages 337-350, Springer.

Misc Links

 

 

updated: 02/05/2007