A Case Study in the Use of Theory Revision in Requirements Validation. - Thomas Leo McCluskey; Margaret Mary West (ICML, 1998)

Towards the Automated Debugging and Maintenance of Logic-based Requirements Models. - Thomas Leo McCluskey; Margaret Mary West (ASE, 1998)

The application of a machine learning tool to the validation of an air traffic control domain theory. - Margaret Mary West; Thomas Leo McCluskey (ICTAI, 2000)

The Automated Refinement of a Requirements Domain Theory. - Thomas Leo McCluskey; Margaret Mary West (Autom. Softw. Eng., 2001)

The Application of Machine Learning Tools to the Validation of an Air Traffic Control Domain Theory. - Margaret Mary West; Thomas Leo McCluskey (Int. J. Artif. Intell. Tools, 2001)

Issues in validation and executability of formal specifications in the Z notation. - Margaret Mary West (2002)

Acquisition of Object-Centred Domain Models from Planning Examples. - Stephen Cresswell; Thomas Leo McCluskey; Margaret Mary West (ICAPS, 2009)

Automated Acquisition of Action Knowledge. - Thomas Leo McCluskey; Stephen Cresswell; N. Elisabeth Richardson; Margaret Mary West (ICAART, 2009)

Action Knowledge Acquisition with Opmaker2. - Thomas Leo McCluskey; Stephen Cresswell; N. Elisabeth Richardson; Margaret Mary West (ICAART (Revised Selected Papers), 2009)

Acquiring planning domain models using LOCM. - Stephen Cresswell; Thomas Leo McCluskey; Margaret Mary West (Knowl. Eng. Rev., 2013)