Paul A. Strooper

ORCID

Publication Activity (10 Years)

Years Active: 1988-2015
Publications (10 Years): 0

Top Venues

Softw. Test. Verification Reliab.

APSEC Workshops

ASWEC

Publications

Peter A. Lindsay, Sentot Kromodimoeljo, Paul A. Strooper, Mohamed Almorsy
Automation of Test Case Generation from Behavior Tree Requirements Models. ASWEC (2015)
Tim Miller, Paul A. Strooper
A case study in model-based testing of specifications and implementations. Softw. Test. Verification Reliab. 22 (1) (2012)
Niusha Hakimipour, Paul A. Strooper
Exploring an Approach to Model-Based Testing from Behavior Trees. APSEC Workshops (2012)
Eban Escott, Paul A. Strooper, Jörn Guy Süß, Paul King
Architecture-Centric Model-Driven Web Engineering. APSEC (2011)
Eban Escott, Paul A. Strooper, Jim Steel, Paul King
Integrating Model-Based Testing in Model-Driven Web Engineering. APSEC (2011)
Eban Escott, Paul A. Strooper, Paul King, Ian J. Hayes
Model-Driven Web Form Validation with UML and OCL. ICWE Workshops (2011)
Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings
A model-based development approach for the verification of real-time Java code. Concurr. Comput. Pract. Exp. 23 (13) (2011)
Daniel Hoffman, David Ly-Gagnon, Paul A. Strooper, Hong-Yi Wang
Grammar-based test generation with YouGen. Softw. Pract. Exp. 41 (4) (2011)
Duc-Hoai Nguyen, Paul A. Strooper, Jörn Guy Süß
Automated functionality testing through GUIs. ACSC (2010)
Daniel Hoffman, Hong-Yi Wang, Mitch Chang, David Ly-Gagnon, Lewis Sobotkiewicz, Paul A. Strooper
Two case studies in grammar-based test generation. J. Syst. Softw. 83 (12) (2010)
Duc-Hoai Nguyen, Paul A. Strooper, Jörn Guy Süß
Model-based testing of multiple GUI variants using the GUI test generator. AST (2010)
Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings
TART: Timed-Automata to Real-Time Java Tool. SEFM (2010)
Dimitris Dranidis, Stephen P. Masticola, Paul A. Strooper
International Workshop on the Automation of Software Test. ICSE Companion (2009)
Mohd Naz'ri Mahrin, Paul A. Strooper, David A. Carrington
Selecting Usability Evaluation Methods for Software Process Descriptions. APSEC (2009)
Dimitris Dranidis, Stephen P. Masticola, Paul A. Strooper
Challenges in practice: 4th international workshop on the automation of software test report. ACM SIGSOFT Softw. Eng. Notes 34 (4) (2009)
Niusha Hakimipour, Paul A. Strooper, Roger Duke
Exploring Model-Based Development for the Verification of Real-Time Java Code. VERIFY (2008)
Robert Colvin, Ian J. Hayes, Paul A. Strooper
Calculating modules in contextual logic program refinement. Theory Pract. Log. Program. 8 (1) (2008)
Cédric Chevillat, David A. Carrington, Paul A. Strooper, Jörn Guy Süß, Luke Wildman
Model-Based Generation of Interlocking Controller Software from Control Tables. ECMDA-FA (2008)
Mohd Naz'ri Mahrin, David A. Carrington, Paul A. Strooper
Investigating Factors Affecting the Usability of Software Process Descriptions. ICSP (2008)
Abu Zafer Javed, Paul A. Strooper, Geoffrey Watson
Automated Generation of Test Cases Using Model-Driven Architecture. AST (2007)
Erica Mealy, David A. Carrington, Paul A. Strooper, Peta Wyeth
Improving Usability of Software Refactoring Tools. ASWEC (2007)
Rakesh Shukla, Paul A. Strooper, David A. Carrington
A Framework for Statistical Testing of Software Components. Int. J. Softw. Eng. Knowl. Eng. 17 (3) (2007)
Margaret A. Wojcicki, Paul A. Strooper
An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies. WoSQ@ICSE (2007)
Brad Long, Paul A. Strooper, Luke Wildman
A method for verifying concurrent Java components based on an analysis of concurrency failures. Concurr. Comput. Pract. Exp. 19 (3) (2007)
Margaret A. Wojcicki, Paul A. Strooper
Maximising the information gained from a study of static analysis technologies for concurrent software. Empir. Softw. Eng. 12 (6) (2007)
Paul A. Strooper, Margaret A. Wojcicki
Selecting V&V Technology Combinations: How to Pick a Winner? ICECCS (2007)
John Ngui, Paul A. Strooper, Luke Wildman, Margaret A. Wojcicki
Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks. ASWEC (2007)
Lionel van den Berg, Paul A. Strooper, Wendy Johnston
An Automated Approach for the Interpretation of Counter-Examples. Electron. Notes Theor. Comput. Sci. 174 (4) (2007)
Lionel van den Berg, Paul A. Strooper, Kirsten Winter
Introducing Time in an Industrial Application of Model-Checking. FMICS (2007)
Paul A. Strooper, Luke Wildman
Testing Concurrent Java Components. ICSE Companion (2007)
Erica Mealy, Paul A. Strooper
Evaluating software refactoring tool support. ASWEC (2006)
Margaret A. Wojcicki, Paul A. Strooper
Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components. ISESE (2006)
Paul A. Strooper, Luke Wildman
Testing concurrent java components. ICSE (2006)
Brent Cahill, David A. Carrington, Brian Song, Paul A. Strooper
An Industry-Based Evaluation of Process Modeling Techniques. EuroSPI (2006)
Margaret A. Wojcicki, Paul A. Strooper
A state-of-practice questionnaire on verification and validation for concurrent programs. PADTAD (2006)
Robert Colvin, Ian J. Hayes, Paul A. Strooper
Calculating modules in contextual logic program refinement CoRR (2006)
Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. FM (2006)
Chris Hunter, Peter J. Robinson, Paul A. Strooper
Agent-Based Distributed Software Verification. ACSC (2005)
David Hemer, Gregory Long, Paul A. Strooper
Plug-in Proof Support for Formal Development Environments. CATS (2005)
Luke Wildman, Brad Long, Paul A. Strooper
Dealing with Non-Determinism in Testing Concurrent Java Components. APSEC (2005)
David A. Carrington, Paul A. Strooper, Sharron Newby, Terry Stevenson
An industry/university collaboration to upgrade software engineering knowledge and skills in industry. J. Syst. Softw. 75 (1-2) (2005)
Daniel Hoffman, Paul A. Strooper, Sarah Wilkin
Tool support for executable documentation of Java class hierarchies. Softw. Test. Verification Reliab. 15 (4) (2005)
Rakesh Shukla, Paul A. Strooper, David A. Carrington
Tool Support for Statistical Testing of Software Components. APSEC (2005)
Rakesh Shukla, David A. Carrington, Paul A. Strooper
A Passive Test Oracle Using a Component's API. APSEC (2005)
Chris Hunter, Peter J. Robinson, Paul A. Strooper
Flexible Proof Reuse for Software Verification. AMAST (2004)
Rakesh Shukla, David A. Carrington, Paul A. Strooper
Systematic Operational Profile Development for Software Components. APSEC (2004)
Roger Duke, Tim Miller, Paul A. Strooper
Integrating Formal Specification and Software Verification and Validation. TFM (2004)
Luke Wildman, Brad Long, Paul A. Strooper
Testing Java Interrupts and Timed Waits. APSEC (2004)
Luke Wildman, Roger Duke, Paul A. Strooper
Viewpoint-Based Testing of Concurrent Components. IFM (2004)
Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman
Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. IPDPS (2004)
Hagen Völzer, Anthony MacDonald, Brenton Atchison, Andrew Hanlon, Peter A. Lindsay, Paul A. Strooper
SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting. IEEE Trans. Software Eng. 30 (10) (2004)
Leesa Murray, David A. Carrington, Paul A. Strooper
An Approach to Specifying Software Frameworks. ACSC (2004)
Tim Miller, Paul A. Strooper
A Case Study in Specification and Implementation Testing. APSEC (2004)
Rakesh Shukla, Paul A. Strooper, David A. Carrington
A Framework for Reliability Assessment of Software Components. CBSE (2004)
Daniel Hoffman, Paul A. Strooper
API documentation with executable examples. J. Syst. Softw. 66 (2) (2003)
Brad Long, Paul A. Strooper
A Classification of Concurrency Failures in Java Components. IPDPS (2003)
Tim Miller, Paul A. Strooper
A framework and tool support for the systematic testing of model-based specifications. ACM Trans. Softw. Eng. Methodol. 12 (4) (2003)
Jason McDonald, Paul A. Strooper, Daniel Hoffman
Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications. APSEC (2003)
Paul A. Strooper, David A. Carrington, Sharron Newby, Terry Stevenson
Teaching Software Engineering Fundamentals to Practicing Engineers. CSEE&T (2003)
Simon Carter, Malcolm Graham, Paul A. Strooper, Zhiguo Yuan
Mutation Analysis to Verify Feature Matrices for Isolating Errors in Simulation Models. ACSC (2003)
Tim Miller, Paul A. Strooper
Supporting the Software Testing Process through Specification Animation. SEFM (2003)
Brad Long, Daniel Hoffman, Paul A. Strooper
Tool Support for Testing Concurrent Java Components. IEEE Trans. Software Eng. 29 (6) (2003)
Daniel Hoffman, Durga Prabhakar, Paul A. Strooper
Testing iptables. CASCON (2003)
Leesa Murray, Alena Griffiths, Paul A. Strooper
OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy. ICECCS (2002)
Hagen Völzer, Brenton Atchison, Paul A. Strooper, Peter A. Lindsay, Anthony MacDonald
A Tool for Subsystem Configuration Management. ICSM (2002)
Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
A refinement calculus for logic programs. Theory Pract. Log. Program. 2 (4-5) (2002)
Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
A Refinement Calculus for Logic Programs CoRR (2002)
David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin
Don't Care Non-determinism in Logic Program Refinement. Electron. Notes Theor. Comput. Sci. 61 (2002)
Nigel Daley, Daniel Hoffman, Paul A. Strooper
A framework for table driven testing of Java classes. Softw. Pract. Exp. 32 (5) (2002)
Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper
Refinement of Higher-Order Logic Programs. LOPSTR (2002)
Tim Miller, Paul A. Strooper
Model-Based Specification Animation Using Testgraphs. ICFEM (2002)
Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper
Translating Refined Logic Programs to Mercury. ACSC (2002)
Karl Lermer, Paul A. Strooper
Refinement and state machine abstraction. Theor. Comput. Sci. 266 (1-2) (2001)
Peter A. Lindsay, Anthony MacDonald, Paul A. Strooper, Mark Staples
A Framework for Subsystem-Based Configuration Management . Australian Software Engineering Conference (2001)
Brad Long, Paul A. Strooper
A Case Study in Testing Distributed Systems. DOA (2001)
David Hemer, Ian J. Hayes, Paul A. Strooper
Refinement Calculus for Logic Programming in Isabelle/HOL. TPHOLs (2001)
Tim Miller, Paul A. Strooper
Animation Can Show Only the Presence of Errors, Never Their Absence. Australian Software Engineering Conference (2001)
Brad Long, Daniel Hoffman, Paul A. Strooper
A Concurrency Test Tool for Java Monitors. ASE (2001)
Craig Harvey, Paul A. Strooper
Testing Java Monitors through Deterministic Execution. Australian Software Engineering Conference (2001)
Chris Hunter, Paul A. Strooper
Systematically Deriving Partial Oracles for Testing Concurrent Programs. ACSC (2001)
Tim Miller, Paul A. Strooper
Combining the Animation and Testing of Abstract Data Types. APAQS (2001)
Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper
Module Testing Embedded Software--An Industrial Pilot Project. ICECCS (2001)
David A. Carrington, Ian MacColl, Jason McDonald, Leesa Murray, Paul A. Strooper
From Object-Z Specifications to ClassBench Test Suites. Softw. Test. Verification Reliab. 10 (2) (2000)
Robert Colvin, Ian J. Hayes, Paul A. Strooper
A Technique for Modular Logic Program Refinement. LOPSTR (LNCS 2042: Selected Papers) (2000)
Daniel Hoffman, Paul A. Strooper
Tools and Techniques for Java API Testing. Australian Software Engineering Conference (2000)
Robert Colvin, Ian J. Hayes, Paul A. Strooper
Modular Logic Program Refinement. LOPSTR (2000)
Robert Colvin, Ian J. Hayes, Paul A. Strooper
Refining Logic Programs Using Types. ACSC (2000)
Karl Lermer, Paul A. Strooper
A Single Complete Refinement Rule for Demonic Specifications. IFIP TCS (2000)
Daniel Hoffman, Paul A. Strooper
Prose + Test Cases = Specifications. TOOLS (34) (2000)
Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper
TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing. TOOLS (32) (1999)
Daniel Hoffman, Paul A. Strooper, Lee J. White
Boundary Values and Automated Component Testing. Softw. Test. Verification Reliab. 9 (1) (1999)
Daniel Hazel, Paul A. Strooper, Owen Traynor
Requirements Engineering and Verification using Specification Animation. ASE (1998)
Jason McDonald, Paul A. Strooper
Testing Inheritance Hierarchies in the ClassBench Framework. TOOLS (28) (1998)
Leesa Murray, Jason McDonald, Paul A. Strooper
Specification-Based Class Testing with ClassBench. APSEC (1998)
Daniel Hoffman, Jayakrishnan Nair, Paul A. Strooper
Testing Generic Ada Packages with APE. SIGAda (1998)
Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington
Specification-Based Class Testing: A Case Study. ICFEM (1998)
Jason McDonald, Paul A. Strooper
Translating Object-Z Specifications to Passive Test Oracles. ICFEM (1998)
Jason McDonald, Daniel Hoffman, Paul A. Strooper
Programmatic Testing of the Standard Template Library Containers. ASE (1998)
Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper
Formal Derivation of Finite State Machines for Class Testing. ZUM (1998)
Jason McDonald, Leesa Murray, Paul A. Strooper
Translating Object-Z Specifications to Object-Oriented Test Oracles. APSEC (1997)

Paul A. Strooper.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paul A. Strooper