Paul A. Strooper

122 papers A* 4A 2B 9C 21Journal 28Unranked 54

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