Concepedia

David Willmor

DW

Statistics

Publications

4

Citations

181

H-Index

4

Active since

2004

Affiliations

University of Manchester(Current)

David Willmor is an author at University of Manchester specializing in engineering, formal methods, and formal verification.

Top concepts

Publications per year

2004–2006

4

Publications

4

A safe regression test selection technique for database-driven applications

David Willmor, Suzanne M. Embury · 2005 · 65 citations

, , +22

An intensional approach to the specification of test cases for database applications

David Willmor, Suzanne M. Embury · 2006 · 63 citations

, , +19

Program slicing in the presence of database state

David Willmor, Suzanne M. Embury, Jianhua Shao · 2004 · 35 citations

, , +22

Testing the Implementation of Business Rules Using Intensional Database Tests

David Willmor, Suzanne M. Embury · 2006 · 18 citations

, , +24

1–4 of 4