| 2012 | APSEC | Exploring an Approach to Model-Based Testing from Behavior Trees. | Niusha Hakimipour, Paul A. Strooper |
| 2011 | APSEC | Architecture-Centric Model-Driven Web Engineering. | Eban Escott, Paul A. Strooper, Jrn Guy S, Paul King |
| 2011 | APSEC | Integrating Model-Based Testing in Model-Driven Web Engineering. | Eban Escott, Paul A. Strooper, Jim Steel, Paul King |
| 2011 | ICWE | Model-Driven Web Form Validation with UML and OCL. | Eban Escott, Paul A. Strooper, Paul King, Ian J. Hayes |
| 2010 | ICSE | Model-based testing of multiple GUI variants using the GUI test generator. | Duc-Hoai Nguyen, Paul A. Strooper, Jrn Guy S |
| 2010 | SEFM | TART: Timed-Automata to Real-Time Java Tool. | Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings |
| 2009 | APSEC | Selecting Usability Evaluation Methods for Software Process Descriptions. | Mohd Naz'ri Mahrin, Paul A. Strooper, David A. Carrington |
| 2009 | ICSE | Expanding, theory, and practice: Report on the 4 | Dimitris Dranidis, Stephen P. Masticola, Paul A. Strooper |
| 2008 | CADE | Exploring Model-Based Development for the Verification of Real-Time Java Code. | Niusha Hakimipour, Paul A. Strooper, Roger Duke |
| 2007 | FMICS | Introducing Time in an Industrial Application of Model-Checking. | Lionel van den Berg, Paul A. Strooper, Kirsten Winter |
| 2007 | ICECCS | Selecting V&V Technology Combinations: How to Pick a Winner? | Paul A. Strooper, Margaret A. Wojcicki |
| 2007 | ICSE | Automated Generation of Test Cases Using Model-Driven Architecture. | Abu Zafer Javed, Paul A. Strooper, Geoffrey Watson |
| 2007 | ICSE | Testing Concurrent Java Components. | Paul A. Strooper, Luke Wildman |
| 2007 | ICSE | An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies. | Margaret A. Wojcicki, Paul A. Strooper |
| 2006 | EuroSPI | An Industry-Based Evaluation of Process Modeling Techniques. | Brent Cahill, David A. Carrington, Brian Song, Paul A. Strooper |
| 2006 | FM | Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. | Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson |
| 2006 | ICSE | Testing concurrent java components. | Paul A. Strooper, Luke Wildman |
| 2006 | ISSTA | A state-of-practice questionnaire on verification and validation for concurrent programs. | Margaret A. Wojcicki, Paul A. Strooper |
| 2005 | APSEC | A Passive Test Oracle Using a Component's API. | Rakesh Shukla, David A. Carrington, Paul A. Strooper |
| 2005 | APSEC | Tool Support for Statistical Testing of Software Components. | Rakesh Shukla, Paul A. Strooper, David A. Carrington |
| 2005 | APSEC | Dealing with Non-Determinism in Testing Concurrent Java Components. | Luke Wildman, Brad Long, Paul A. Strooper |
| 2004 | APSEC | A Case Study in Specification and Implementation Testing. | Tim Miller, Paul A. Strooper |
| 2004 | APSEC | Systematic Operational Profile Development for Software Components. | Rakesh Shukla, David A. Carrington, Paul A. Strooper |
| 2004 | APSEC | Testing Java Interrupts and Timed Waits. | Luke Wildman, Brad Long, Paul A. Strooper |
| 2004 | IFM | Viewpoint-Based Testing of Concurrent Components. | Luke Wildman, Roger Duke, Paul A. Strooper |
| 2003 | APSEC | Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications. | Jason McDonald, Paul A. Strooper, Daniel Hoffman |
| 2003 | SEFM | Supporting the Software Testing Process through Specification Animation. | Tim Miller, Paul A. Strooper |
| 2002 | ICECCS | OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy. | Leesa Murray, Alena Griffiths, Paul A. Strooper |
| 2002 | ICFEM | Model-Based Specification Animation Using Testgraphs. | Tim Miller, Paul A. Strooper |
| 2002 | LOPSTR | Refinement of Higher-Order Logic Programs. | Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper |
| 2001 | ICECCS | Module Testing Embedded Software--An Industrial Pilot Project. | Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper |
| 2000 | LOPSTR | Modular Logic Program Refinement. | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
| 2000 | LOPSTR | A Technique for Modular Logic Program Refinement. | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
| 1998 | APSEC | Specification-Based Class Testing with ClassBench. | Leesa Murray, Jason McDonald, Paul A. Strooper |
| 1998 | ICFEM | Specification-Based Class Testing: A Case Study. | Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington |
| 1998 | ICFEM | Translating Object-Z Specifications to Passive Test Oracles. | Jason McDonald, Paul A. Strooper |
| 1997 | APSEC | Possum: An Animator for the SUM Specification Language. | Daniel Hazel, Paul A. Strooper, Owen Traynor |
| 1997 | APSEC | Translating Object-Z Specifications to Object-Oriented Test Oracles. | Jason McDonald, Leesa Murray, Paul A. Strooper |
| 1996 | LOPSTR | Refining Specifications to Logic Programs. | Ian J. Hayes, R. G. Nickson, Paul A. Strooper |
| 1994 | APSEC | Automated class testing: methods and experience. | Daniel Hoffman, Jonathan Smillie, Paul A. Strooper |
| 1988 | ISSAC | Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract). | Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper |