Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract). - Bruce W. Char; Alan R. Macnaughton; Paul A. Strooper (ISSAC, 1988)

Complete Sets of Frontiers in Logic-Based Program Transformation. - Mantis H. M. Cheng; Maarten H. van Emden; Paul A. Strooper (META, 1988)

Discovering Inequality Conditions in the Analytic Solution of Optimization Problems. - Bruce W. Char; Alan R. Macnaughton; Paul A. Strooper (J. Autom. Reason., 1989)

From specification to implementation in logic. - Paul A. Strooper (1990)

Prolog Testing of C Modules. - Paul A. Strooper; Daniel Hoffman (ISLP, 1991)

Automated Module Testing in Prolog. - Daniel Hoffman; Paul A. Strooper (IEEE Trans. Software Eng., 1991)

A case study in class testing. - Daniel Hoffman; Paul A. Strooper (CASCON, 1993)

Describing Symmetrical Structures in Logic. - Paul A. Strooper; Maarten H. van Emden (Ann. Math. Artif. Intell., 1993)

Automated class testing: methods and experience. - Daniel Hoffman; Jonathan Smillie; Paul A. Strooper (APSEC, 1994)

Graph-based Class Testing. - Daniel Hoffman; Paul A. Strooper (Aust. Comput. J., 1994)

Software design, automated testing, and maintenance - a practical approach. - Daniel Hoffman; Paul A. Strooper (International Thomson, 1995)

State Abstraction and Modular Software Development. - Daniel Hoffman; Paul A. Strooper (SIGSOFT FSE, 1995)

The Testgraph Methodology: Automated Testing of Collection Classes. - Daniel Hoffman; Paul A. Strooper (J. Object Oriented Program., 1995)

Setting up a tutor training programme in computer science. - Paul Bakker; Andrew Goodchild; Paul A. Strooper; David A. Carrington; Ian MacColl; Peter Creasy; Helen C. Purchase (ACSE, 1996)

Teaching and Testing. - Daniel Hoffman; Paul A. Strooper; Peter Walsh (CSEE, 1996)

Refining Specifications to Logic Programs. - Ian J. Hayes; R. G. Nickson; Paul A. Strooper (LOPSTR, 1996)

Possum: An Animator for the SUM Specification Language. - Daniel Hazel; Paul A. Strooper; Owen Traynor (APSEC, 1997)

Translating Object-Z Specifications to Object-Oriented Test Oracles. - Jason McDonald; Leesa Murray; Paul A. Strooper (APSEC, 1997)

Extending Test Templates with Inheritance. - Leesa Murray; David A. Carrington; Ian MacColl; Paul A. Strooper (Australian Software Engineering Conference, 1997)

Object-Oriented Testing. - Paul A. Strooper (TOOLS (25), 1997)

ClassBench: A Framework for Automated Class Testing. - Daniel Hoffman; Paul A. Strooper (Softw. Pract. Exp., 1997)

Specification-Based Class Testing with ClassBench. - Leesa Murray; Jason McDonald; Paul A. Strooper (APSEC, 1998)

Specification-Based Class Testing: A Case Study. - Ian MacColl; Leesa Murray; Paul A. Strooper; David A. Carrington (ICFEM, 1998)

Translating Object-Z Specifications to Passive Test Oracles. - Jason McDonald; Paul A. Strooper (ICFEM, 1998)

Requirements Engineering and Verification using Specification Animation. - Daniel Hazel; Paul A. Strooper; Owen Traynor (ASE, 1998)

Programmatic Testing of the Standard Template Library Containers. - Jason McDonald; Daniel Hoffman; Paul A. Strooper (ASE, 1998)

Testing Generic Ada Packages with APE. - Daniel Hoffman; Jayakrishnan Nair; Paul A. Strooper (SIGAda, 1998)

Testing Inheritance Hierarchies in the ClassBench Framework. - Jason McDonald; Paul A. Strooper (TOOLS (28), 1998)

Formal Derivation of Finite State Machines for Class Testing. - Leesa Murray; David A. Carrington; Ian MacColl; Jason McDonald; Paul A. Strooper (ZUM, 1998)

TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing. - Leesa Murray; David A. Carrington; Ian MacColl; Paul A. Strooper (TOOLS (32), 1999)

Boundary Values and Automated Component Testing. - Daniel Hoffman; Paul A. Strooper; Lee J. White (Softw. Test. Verification Reliab., 1999)

Refining Logic Programs Using Types. - Robert Colvin; Ian J. Hayes; Paul A. Strooper (ACSC, 2000)

Tools and Techniques for Java API Testing. - Daniel Hoffman; Paul A. Strooper (Australian Software Engineering Conference, 2000)

A Single Complete Refinement Rule for Demonic Specifications. - Karl Lermer; Paul A. Strooper (IFIP TCS, 2000)

Modular Logic Program Refinement. - Robert Colvin; Ian J. Hayes; Paul A. Strooper (LOPSTR, 2000)

A Technique for Modular Logic Program Refinement. - Robert Colvin; Ian J. Hayes; Paul A. Strooper (LOPSTR (LNCS 2042: Selected Papers), 2000)

Prose + Test Cases = Specifications. - Daniel Hoffman; Paul A. Strooper (TOOLS (34), 2000)

From Object-Z Specifications to ClassBench Test Suites. - David A. Carrington; Ian MacColl; Jason McDonald; Leesa Murray; Paul A. Strooper (Softw. Test. Verification Reliab., 2000)

Systematically Deriving Partial Oracles for Testing Concurrent Programs. - Chris Hunter; Paul A. Strooper (ACSC, 2001)

Combining the Animation and Testing of Abstract Data Types. - Tim Miller 001; Paul A. Strooper (APAQS, 2001)

Testing Java Monitors through Deterministic Execution. - Craig Harvey; Paul A. Strooper (Australian Software Engineering Conference, 2001)

A Framework for Subsystem-Based Configuration Management . - Peter A. Lindsay; Anthony MacDonald; Paul A. Strooper; Mark Staples (Australian Software Engineering Conference, 2001)

Animation Can Show Only the Presence of Errors, Never Their Absence. - Tim Miller 001; Paul A. Strooper (Australian Software Engineering Conference, 2001)

A Case Study in Testing Distributed Systems. - Brad Long; Paul A. Strooper (DOA, 2001)

Module Testing Embedded Software–An Industrial Pilot Project. - Jason McDonald; Leesa Murray; Peter A. Lindsay; Paul A. Strooper (ICECCS, 2001)

A Concurrency Test Tool for Java Monitors. - Brad Long; Daniel Hoffman; Paul A. Strooper (ASE, 2001)

Refinement Calculus for Logic Programming in Isabelle/HOL. - David Hemer; Ian J. Hayes; Paul A. Strooper (TPHOLs, 2001)

Refinement and state machine abstraction. - Karl Lermer; Paul A. Strooper (Theor. Comput. Sci., 2001)

Translating Refined Logic Programs to Mercury. - Robert Colvin; Ian J. Hayes; David Hemer; Paul A. Strooper (ACSC, 2002)

OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy. - Leesa Murray; Alena Griffiths; Paul A. Strooper (ICECCS, 2002)

Model-Based Specification Animation Using Testgraphs. - Tim Miller 001; Paul A. Strooper (ICFEM, 2002)

A Tool for Subsystem Configuration Management. - Hagen Völzer; Brenton Atchison; Paul A. Strooper; Peter A. Lindsay; Anthony MacDonald (ICSM, 2002)

Refinement of Higher-Order Logic Programs. - Robert Colvin; Ian J. Hayes; David Hemer; Paul A. Strooper (LOPSTR, 2002)

Don't Care Non-determinism in Logic Program Refinement. - David Hemer; Ian J. Hayes; Paul A. Strooper; Robert Colvin (CATS, 2002)

A framework for table driven testing of Java classes. - Nigel Daley; Daniel Hoffman; Paul A. Strooper (Softw. Pract. Exp., 2002)

A refinement calculus for logic programs. - Ian J. Hayes; Robert Colvin; David Hemer; Paul A. Strooper; Ray Nickson (Theory Pract. Log. Program., 2002)

Mutation Analysis to Verify Feature Matrices for Isolating Errors in Simulation Models. - Simon Carter; Malcolm Graham; Paul A. Strooper; Zhiguo Yuan (ACSC, 2003)

Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications. - Jason McDonald; Paul A. Strooper; Daniel Hoffman (APSEC, 2003)

Testing iptables. - Daniel Hoffman; Durga Prabhakar; Paul A. Strooper (CASCON, 2003)

Teaching Software Engineering Fundamentals to Practicing Engineers. - Paul A. Strooper; David A. Carrington; Sharron Newby; Terry Stevenson (CSEE&T, 2003)

A Classification of Concurrency Failures in Java Components. - Brad Long; Paul A. Strooper (IPDPS, 2003)

Supporting the Software Testing Process through Specification Animation. - Tim Miller 001; Paul A. Strooper (SEFM, 2003)

API documentation with executable examples. - Daniel Hoffman; Paul A. Strooper (J. Syst. Softw., 2003)

A framework and tool support for the systematic testing of model-based specifications. - Tim Miller 001; Paul A. Strooper (ACM Trans. Softw. Eng. Methodol., 2003)

Tool Support for Testing Concurrent Java Components. - Brad Long; Daniel Hoffman; Paul A. Strooper (IEEE Trans. Software Eng., 2003)

An Approach to Specifying Software Frameworks. - Leesa Murray; David A. Carrington; Paul A. Strooper (ACSC, 2004)

Flexible Proof Reuse for Software Verification. - Chris Hunter; Peter J. Robinson 001; Paul A. Strooper (AMAST, 2004)

A Case Study in Specification and Implementation Testing. - Tim Miller 001; Paul A. Strooper (APSEC, 2004)

Systematic Operational Profile Development for Software Components. - Rakesh Shukla; David A. Carrington; Paul A. Strooper (APSEC, 2004)

Testing Java Interrupts and Timed Waits. - Luke Wildman; Brad Long; Paul A. Strooper (APSEC, 2004)

A Framework for Reliability Assessment of Software Components. - Rakesh Shukla; Paul A. Strooper; David A. Carrington (CBSE, 2004)

Viewpoint-Based Testing of Concurrent Components. - Luke Wildman; Roger Duke; Paul A. Strooper (IFM, 2004)

Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. - Brad Long; Roger Duke; Doug Goldson; Paul A. Strooper; Luke Wildman (IPDPS, 2004)

Developing Logic Programs from Specifications Using Stepwise Refinement. - Robert Colvin; Lindsay Groves; Ian J. Hayes; David Hemer; Ray Nickson; Paul A. Strooper (Program Development in Computational Logic, 2004)

Integrating Formal Specification and Software Verification and Validation. - Roger Duke; Tim Miller 001; Paul A. Strooper (TFM, 2004)

SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting. - Hagen Völzer; Anthony MacDonald; Brenton Atchison; Andrew Hanlon; Peter A. Lindsay; Paul A. Strooper (IEEE Trans. Software Eng., 2004)

Agent-Based Distributed Software Verification. - Chris Hunter; Peter J. Robinson 001; Paul A. Strooper (ACSC, 2005)

A Passive Test Oracle Using a Component's API. - Rakesh Shukla; David A. Carrington; Paul A. Strooper (APSEC, 2005)

Tool Support for Statistical Testing of Software Components. - Rakesh Shukla; Paul A. Strooper; David A. Carrington (APSEC, 2005)

Dealing with Non-Determinism in Testing Concurrent Java Components. - Luke Wildman; Brad Long; Paul A. Strooper (APSEC, 2005)

Plug-in Proof Support for Formal Development Environments. - David Hemer; Gregory Long; Paul A. Strooper (CATS, 2005)

An industry/university collaboration to upgrade software engineering knowledge and skills in industry. - David A. Carrington; Paul A. Strooper; Sharron Newby; Terry Stevenson (J. Syst. Softw., 2005)

Tool support for executable documentation of Java class hierarchies. - Daniel Hoffman; Paul A. Strooper; Sarah Wilkin (Softw. Test. Verification Reliab., 2005)

Evaluating software refactoring tool support. - Erica Mealy; Paul A. Strooper (ASWEC, 2006)

An Industry-Based Evaluation of Process Modeling Techniques. - Brent Cahill; David A. Carrington; Brian Song; Paul A. Strooper (EuroSPI, 2006)

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 001 (FM, 2006)

Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components. - Margaret A. Wojcicki; Paul A. Strooper (ISESE, 2006)

A state-of-practice questionnaire on verification and validation for concurrent programs. - Margaret A. Wojcicki; Paul A. Strooper (PADTAD, 2006)

An Automated Approach for the Interpretation of Counter-Examples. - Lionel van den Berg; Paul A. Strooper; Wendy Johnston (V&D@FLoC, 2006)

Improving Usability of Software Refactoring Tools. - Erica Mealy; David A. Carrington; Paul A. Strooper; Peta Wyeth (ASWEC, 2007)

Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks. - John Ngui; Paul A. Strooper; Luke Wildman; Margaret A. Wojcicki (ASWEC, 2007)

Introducing Time in an Industrial Application of Model-Checking. - Lionel van den Berg; Paul A. Strooper; Kirsten Winter (FMICS, 2007)

Selecting V&V Technology Combinations: How to Pick a Winner? - Paul A. Strooper; Margaret A. Wojcicki (ICECCS, 2007)

Automated Generation of Test Cases Using Model-Driven Architecture. - Abu Zafer Javed; Paul A. Strooper; Geoffrey Watson (AST, 2007)

Testing Concurrent Java Components. - Paul A. Strooper; Luke Wildman (ICSE Companion, 2007)

An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies. - Margaret A. Wojcicki; Paul A. Strooper (WoSQ@ICSE, 2007)

A method for verifying concurrent Java components based on an analysis of concurrency failures. - Brad Long; Paul A. Strooper; Luke Wildman (Concurr. Comput. Pract. Exp., 2007)

Maximising the information gained from a study of static analysis technologies for concurrent software. - Margaret A. Wojcicki; Paul A. Strooper (Empir. Softw. Eng., 2007)

A Framework for Statistical Testing of Software Components. - Rakesh Shukla; Paul A. Strooper; David A. Carrington (Int. J. Softw. Eng. Knowl. Eng., 2007)

Exploring Model-Based Development for the Verification of Real-Time Java Code. - Niusha Hakimipour; Paul A. Strooper; Roger Duke (VERIFY, 2008)

Model-Based Generation of Interlocking Controller Software from Control Tables. - Cédric Chevillat; David A. Carrington; Paul A. Strooper; Jörn Guy Süß; Luke Wildman (ECMDA-FA, 2008)

Investigating Factors Affecting the Usability of Software Process Descriptions. - Mohd Naz'ri Mahrin; David A. Carrington; Paul A. Strooper (ICSP, 2008)

Calculating modules in contextual logic program refinement. - Robert Colvin; Ian J. Hayes; Paul A. Strooper (Theory Pract. Log. Program., 2008)

Selecting Usability Evaluation Methods for Software Process Descriptions. - Mohd Naz'ri Mahrin; Paul A. Strooper; David A. Carrington (APSEC, 2009)

Expanding, theory, and practice: Report on the 4th International Workshop on the Automation of Software Test. - Dimitris Dranidis; Stephen P. Masticola; Paul A. Strooper (ICSE Companion, 2009)

Challenges in practice: 4th international workshop on the automation of software test report. - Dimitris Dranidis; Stephen P. Masticola; Paul A. Strooper (ACM SIGSOFT Softw. Eng. Notes, 2009)

Automated functionality testing through GUIs. - Duc-Hoai Nguyen; Paul A. Strooper; Jörn Guy Süß (ACSC, 2010)

Model-based testing of multiple GUI variants using the GUI test generator. - Duc-Hoai Nguyen; Paul A. Strooper; Jörn Guy Süß (AST, 2010)

TART: Timed-Automata to Real-Time Java Tool. - Niusha Hakimipour; Paul A. Strooper; Andy J. Wellings (SEFM, 2010)

Two case studies in grammar-based test generation. - Daniel Hoffman; Hong-Yi Wang 012; Mitch Chang; David Ly-Gagnon; Lewis Sobotkiewicz; Paul A. Strooper (J. Syst. Softw., 2010)

Architecture-Centric Model-Driven Web Engineering. - Eban Escott; Paul A. Strooper; Jörn Guy Süß; Paul King (APSEC, 2011)

Integrating Model-Based Testing in Model-Driven Web Engineering. - Eban Escott; Paul A. Strooper; Jim Steel; Paul King (APSEC, 2011)

Model-Driven Web Form Validation with UML and OCL. - Eban Escott; Paul A. Strooper; Paul King; Ian J. Hayes (ICWE Workshops, 2011)

A model-based development approach for the verification of real-time Java code. - Niusha Hakimipour; Paul A. Strooper; Andy J. Wellings (Concurr. Comput. Pract. Exp., 2011)

Grammar-based test generation with YouGen. - Daniel Hoffman; David Ly-Gagnon; Paul A. Strooper; Hong-Yi Wang 012 (Softw. Pract. Exp., 2011)

Exploring an Approach to Model-Based Testing from Behavior Trees. - Niusha Hakimipour; Paul A. Strooper (APSEC Workshops, 2012)

A case study in model-based testing of specifications and implementations. - Tim Miller 001; Paul A. Strooper (Softw. Test. Verification Reliab., 2012)

Automation of Test Case Generation from Behavior Tree Requirements Models. - Peter A. Lindsay; Sentot Kromodimoeljo; Paul A. Strooper; Mohamed Almorsy (ASWEC, 2015)