| 2008 |
|---|
| 100 | EE | 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: 349-360 |
| 99 | EE | Mohd Naz'ri Mahrin,
David A. Carrington,
Paul A. Strooper:
Investigating Factors Affecting the Usability of Software Process Descriptions.
ICSP 2008: 222-233 |
| 98 | EE | Niusha Hakimipour,
Paul A. Strooper,
Roger Duke:
Exploring Model-Based Development for the Verification of Real-Time Java Code.
VERIFY 2008 |
| 97 | EE | Robert Colvin,
Ian J. Hayes,
Paul A. Strooper:
Calculating modules in contextual logic program refinement.
TPLP 8(1): 1-31 (2008) |
| 2007 |
|---|
| 96 | EE | 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: 223-232 |
| 95 | EE | Erica Mealy,
David A. Carrington,
Paul A. Strooper,
Peta Wyeth:
Improving Usability of Software Refactoring Tools.
ASWEC 2007: 307-318 |
| 94 | EE | Lionel van den Berg,
Paul A. Strooper,
Kirsten Winter:
Introducing Time in an Industrial Application of Model-Checking.
FMICS 2007: 56-67 |
| 93 | EE | Paul A. Strooper,
Margaret A. Wojcicki:
Selecting V&V Technology Combinations: How to Pick a Winner?
ICECCS 2007: 87-96 |
| 92 | EE | Paul A. Strooper,
Luke Wildman:
Testing Concurrent Java Components.
ICSE Companion 2007: 161-162 |
| 91 | EE | Brad Long,
Paul A. Strooper,
Luke Wildman:
A method for verifying concurrent Java components based on an analysis of concurrency failures.
Concurrency and Computation: Practice and Experience 19(3): 281-294 (2007) |
| 90 | EE | Lionel van den Berg,
Paul A. Strooper,
Wendy Johnston:
An Automated Approach for the Interpretation of Counter-Examples.
Electr. Notes Theor. Comput. Sci. 174(4): 19-35 (2007) |
| 89 | EE | Margaret A. Wojcicki,
Paul A. Strooper:
Maximising the information gained from a study of static analysis technologies for concurrent software.
Empirical Software Engineering 12(6): 617-645 (2007) |
| 88 | EE | Rakesh Shukla,
Paul A. Strooper,
David A. Carrington:
A Framework for Statistical Testing of Software Components.
International Journal of Software Engineering and Knowledge Engineering 17(3): 379-405 (2007) |
| 2006 |
|---|
| 87 | EE | Erica Mealy,
Paul A. Strooper:
Evaluating software refactoring tool support.
ASWEC 2006: 331-340 |
| 86 | EE | Brent Cahill,
David A. Carrington,
Brian Song,
Paul A. Strooper:
An Industry-Based Evaluation of Process Modeling Techniques.
EuroSPI 2006: 111-122 |
| 85 | EE | Wendy Johnston,
Kirsten Winter,
Lionel van den Berg,
Paul A. Strooper,
Peter Robinson:
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking.
FM 2006: 524-540 |
| 84 | EE | Paul A. Strooper,
Luke Wildman:
Testing concurrent java components.
ICSE 2006: 1075-1076 |
| 83 | EE | 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: 174-183 |
| 82 | EE | Margaret A. Wojcicki,
Paul A. Strooper:
A state-of-practice questionnaire on verification and validation for concurrent programs.
PADTAD 2006: 1-10 |
| 81 | EE | Robert Colvin,
Ian J. Hayes,
Paul A. Strooper:
Calculating modules in contextual logic program refinement
CoRR abs/cs/0608110: (2006) |
| 2005 |
|---|
| 80 | EE | Chris Hunter,
Peter Robinson,
Paul A. Strooper:
Agent-Based Distributed Software Verification.
ACSC 2005: 159-164 |
| 79 | EE | Luke Wildman,
Brad Long,
Paul A. Strooper:
Dealing with Non-Determinism in Testing Concurrent Java Components.
APSEC 2005: 393-400 |
| 78 | EE | Rakesh Shukla,
David A. Carrington,
Paul A. Strooper:
A Passive Test Oracle Using a Component's API.
APSEC 2005: 561-567 |
| 77 | EE | Rakesh Shukla,
Paul A. Strooper,
David A. Carrington:
Tool Support for Statistical Testing of Software Components.
APSEC 2005: 719-728 |
| 76 | EE | David Hemer,
Gregory Long,
Paul A. Strooper:
Plug-in Proof Support for Formal Development Environments.
CATS 2005: 69-79 |
| 75 | EE | David A. Carrington,
Paul A. Strooper,
Sharron Newby,
Terry Stevenson:
An industry/university collaboration to upgrade software engineering knowledge and skills in industry.
Journal of Systems and Software 75(1-2): 29-39 (2005) |
| 74 | EE | Daniel Hoffman,
Paul A. Strooper,
Sarah Wilkin:
Tool support for executable documentation of Java class hierarchies.
Softw. Test., Verif. Reliab. 15(4): 235-256 (2005) |
| 2004 |
|---|
| 73 | EE | Leesa Murray,
David A. Carrington,
Paul A. Strooper:
An Approach to Specifying Software Frameworks.
ACSC 2004: 185-192 |
| 72 | EE | Chris Hunter,
Peter Robinson,
Paul A. Strooper:
Flexible Proof Reuse for Software Verification.
AMAST 2004: 211-225 |
| 71 | EE | Tim Miller,
Paul A. Strooper:
A Case Study in Specification and Implementation Testing.
APSEC 2004: 130-139 |
| 70 | EE | Luke Wildman,
Brad Long,
Paul A. Strooper:
Testing Java Interrupts and Timed Waits.
APSEC 2004: 438-447 |
| 69 | EE | Rakesh Shukla,
David A. Carrington,
Paul A. Strooper:
Systematic Operational Profile Development for Software Components.
APSEC 2004: 528-537 |
| 68 | EE | Rakesh Shukla,
Paul A. Strooper,
David A. Carrington:
A Framework for Reliability Assessment of Software Components.
CBSE 2004: 272-279 |
| 67 | EE | Luke Wildman,
Roger Duke,
Paul A. Strooper:
Viewpoint-Based Testing of Concurrent Components.
IFM 2004: 501-520 |
| 66 | EE | Brad Long,
Roger Duke,
Doug Goldson,
Paul A. Strooper,
Luke Wildman:
Mutation-Based Exploration of a Method for Verifying Concurrent Java Components.
IPDPS 2004 |
| 65 | EE | Robert Colvin,
Lindsay Groves,
Ian J. Hayes,
David Hemer,
Ray Nickson,
Paul A. Strooper:
Developing Logic Programs from Specifications Using Stepwise Refinement.
Program Development in Computational Logic 2004: 66-89 |
| 64 | EE | Roger Duke,
Tim Miller,
Paul A. Strooper:
Integrating Formal Specification and Software Verification and Validation.
TFM 2004: 124-139 |
| 63 | EE | 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): 675-693 (2004) |
| 2003 |
|---|
| 62 | EE | Simon Carter,
Malcolm Graham,
Paul A. Strooper,
Zhiguo Yuan:
Mutation Analysis to Verify Feature Matrices for Isolating Errors in Simulation Models.
ACSC 2003: 29-34 |
| 61 | EE | Jason McDonald,
Paul A. Strooper,
Daniel Hoffman:
Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications.
APSEC 2003: 322-331 |
| 60 | EE | Daniel Hoffman,
Durga Prabhakar,
Paul A. Strooper:
Testing iptables.
CASCON 2003: 80-91 |
| 59 | EE | Paul A. Strooper,
David A. Carrington,
Sharron Newby,
Terry Stevenson:
Teaching Software Engineering Fundamentals to Practicing Engineers.
CSEE&T 2003: 36-43 |
| 58 | EE | Brad Long,
Paul A. Strooper:
A Classification of Concurrency Failures in Java Components.
IPDPS 2003: 287 |
| 57 | EE | Tim Miller,
Paul A. Strooper:
Supporting the Software Testing Process through Specification Animation.
SEFM 2003: 14-23 |
| 56 | EE | 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): 409-439 (2003) |
| 55 | EE | Brad Long,
Daniel Hoffman,
Paul A. Strooper:
Tool Support for Testing Concurrent Java Components.
IEEE Trans. Software Eng. 29(6): 555-566 (2003) |
| 54 | EE | Daniel Hoffman,
Paul A. Strooper:
API documentation with executable examples.
Journal of Systems and Software 66(2): 143-156 (2003) |
| 2002 |
|---|
| 53 | EE | Robert Colvin,
Ian J. Hayes,
David Hemer,
Paul A. Strooper:
Translating Refined Logic Programs to Mercury.
ACSC 2002: 33-40 |
| 52 | EE | 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: 232-237 |
| 51 | EE | Tim Miller,
Paul A. Strooper:
Model-Based Specification Animation Using Testgraphs.
ICFEM 2002: 192-203 |
| 50 | EE | Hagen Völzer,
Brenton Atchison,
Paul A. Strooper,
Peter A. Lindsay,
Anthony MacDonald:
A Tool for Subsystem Configuration Management.
ICSM 2002: 492-500 |
| 49 | EE | Robert Colvin,
Ian J. Hayes,
David Hemer,
Paul A. Strooper:
Refinement of Higher-Order Logic Programs.
LOPSTR 2002: 126-143 |
| 48 | EE | Ian J. Hayes,
Robert Colvin,
David Hemer,
Paul A. Strooper,
Ray Nickson:
A Refinement Calculus for Logic Programs
CoRR cs.SE/0202002: (2002) |
| 47 | EE | David Hemer,
Ian J. Hayes,
Paul A. Strooper,
Robert Colvin:
Don't Care Non-determinism in Logic Program Refinement.
Electr. Notes Theor. Comput. Sci. 61: (2002) |
| 46 | | Nigel Daley,
Daniel Hoffman,
Paul A. Strooper:
A framework for table driven testing of Java classes.
Softw., Pract. Exper. 32(5): 465-493 (2002) |
| 45 | | Ian J. Hayes,
Robert Colvin,
David Hemer,
Paul A. Strooper,
Ray Nickson:
A refinement calculus for logic programs.
TPLP 2(4-5): 425-460 (2002) |
| 2001 |
|---|
| 44 | EE | Chris Hunter,
Paul A. Strooper:
Systematically Deriving Partial Oracles for Testing Concurrent Programs.
ACSC 2001: 83-91 |
| 43 | EE | Tim Miller,
Paul A. Strooper:
Combining the Animation and Testing of Abstract Data Types.
APAQS 2001: 249-258 |
| 42 | EE | Brad Long,
Daniel Hoffman,
Paul A. Strooper:
A Concurrency Test Tool for Java Monitors.
ASE 2001: 421-425 |
| 41 | EE | Peter A. Lindsay,
Anthony MacDonald,
Paul A. Strooper,
Mark Staples:
A Framework for Subsystem-Based Configuration Management .
Australian Software Engineering Conference 2001: 275-284 |
| 40 | EE | Craig Harvey,
Paul A. Strooper:
Testing Java Monitors through Deterministic Execution.
Australian Software Engineering Conference 2001: 61-67 |
| 39 | EE | Tim Miller,
Paul A. Strooper:
Animation Can Show Only the Presence of Errors, Never Their Absence.
Australian Software Engineering Conference 2001: 76-88 |
| 38 | EE | Brad Long,
Paul A. Strooper:
A Case Study in Testing Distributed Systems.
DOA 2001: 20- |
| 37 | EE | Jason McDonald,
Leesa Murray,
Peter A. Lindsay,
Paul A. Strooper:
Module Testing Embedded Software--An Industrial Pilot Project.
ICECCS 2001: 233- |
| 36 | EE | David Hemer,
Ian J. Hayes,
Paul A. Strooper:
Refinement Calculus for Logic Programming in Isabelle/HOL.
TPHOLs 2001: 249-264 |
| 35 | EE | Karl Lermer,
Paul A. Strooper:
Refinement and state machine abstraction.
Theor. Comput. Sci. 266(1-2): 195-235 (2001) |
| 2000 |
|---|
| 34 | EE | Robert Colvin,
Ian J. Hayes,
Paul A. Strooper:
Refining Logic Programs Using Types.
ACSC 2000: 43-50 |
| 33 | EE | Daniel Hoffman,
Paul A. Strooper:
Tools and Techniques for Java API Testing.
Australian Software Engineering Conference 2000: 235-246 |
| 32 | EE | Karl Lermer,
Paul A. Strooper:
A Single Complete Refinement Rule for Demonic Specifications.
IFIP TCS 2000: 564-579 |
| 31 | EE | Robert Colvin,
Ian J. Hayes,
Paul A. Strooper:
Modular Logic Program Refinement.
LOPSTR 2000 |
| 30 | EE | Robert Colvin,
Ian J. Hayes,
Paul A. Strooper:
A Technique for Modular Logic Program Refinement.
LOPSTR (LNCS 2042: Selected Papers) 2000: 38-56 |
| 29 | EE | Daniel Hoffman,
Paul A. Strooper:
Prose + Test Cases = Specifications.
TOOLS (34) 2000: 239- |
| 28 | | David A. Carrington,
Ian MacColl,
Jason McDonald,
Leesa Murray,
Paul A. Strooper:
From Object-Z Specifications to ClassBench Test Suites.
Softw. Test., Verif. Reliab. 10(2): 111-137 (2000) |
| 1999 |
|---|
| 27 | EE | 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: 222-233 |
| 26 | | Daniel Hoffman,
Paul A. Strooper,
Lee J. White:
Boundary Values and Automated Component Testing.
Softw. Test., Verif. Reliab. 9(1): 3-26 (1999) |
| 1998 |
|---|
| 25 | EE | Leesa Murray,
Jason McDonald,
Paul A. Strooper:
Specification-Based Class Testing with ClassBench.
APSEC 1998: 164-173 |
| 24 | EE | Jason McDonald,
Daniel Hoffman,
Paul A. Strooper:
Programmatic Testing of the Standard Template Library Containers.
ASE 1998: 147-156 |
| 23 | EE | Daniel Hazel,
Paul A. Strooper,
Owen Traynor:
Requirements Engineering and Verification using Specification Animation.
ASE 1998: 302-305 |
| 22 | EE | Jason McDonald,
Paul A. Strooper:
Translating Object-Z Specifications to Passive Test Oracles.
ICFEM 1998: 165- |
| 21 | EE | Ian MacColl,
Leesa Murray,
Paul A. Strooper,
David A. Carrington:
Specification-Based Class Testing: A Case Study.
ICFEM 1998: 222- |
| 20 | EE | Daniel Hoffman,
Jayakrishnan Nair,
Paul A. Strooper:
Testing Generic Ada Packages with APE.
SIGAda 1998: 255-262 |
| 19 | EE | Jason McDonald,
Paul A. Strooper:
Testing Inheritance Hierarchies in the ClassBench Framework.
TOOLS (28) 1998: 229- |
| 18 | | Leesa Murray,
David A. Carrington,
Ian MacColl,
Jason McDonald,
Paul A. Strooper:
Formal Derivation of Finite State Machines for Class Testing.
ZUM 1998: 42-59 |
| 1997 |
|---|
| 17 | EE | Jason McDonald,
Leesa Murray,
Paul A. Strooper:
Translating Object-Z Specifications to Object-Oriented Test Oracles.
APSEC 1997: 414- |
| 16 | EE | Daniel Hazel,
Paul A. Strooper,
Owen Traynor:
Possum: An Animator for the SUM Specification Language.
APSEC 1997: 42-51 |
| 15 | EE | Leesa Murray,
David A. Carrington,
Ian MacColl,
Paul A. Strooper:
Extending Test Templates with Inheritance.
Australian Software Engineering Conference 1997: 80-87 |
| 14 | EE | Paul A. Strooper:
Object-Oriented Testing.
TOOLS (25) 1997: 359 |
| 13 | | Daniel Hoffman,
Paul A. Strooper:
ClassBench: A Framework for Automated Class Testing.
Softw., Pract. Exper. 27(5): 573-597 (1997) |
| 1996 |
|---|
| 12 | EE | Paul Bakker,
Andrew Goodchild,
Paul A. Strooper,
David A. Carrington,
Ian MacColl,
Peter Creasy,
Helen C. Purchase:
Setting up a tutor training programme in computer science.
ACSE 1996: 254-259 |
| 11 | | Ian J. Hayes,
R. G. Nickson,
Paul A. Strooper:
Refining Specifications to Logic Programs.
LOPSTR 1996: 1-19 |
| 1995 |
|---|
| 10 | EE | Daniel Hoffman,
Paul A. Strooper:
State Abstraction and Modular Software Development.
SIGSOFT FSE 1995: 53-61 |
| 9 | | Daniel Hoffman,
Paul A. Strooper:
The Testgraph Methodology: Automated Testing of Collection Classes.
JOOP 8(7): 35-41 (1995) |
| 1994 |
|---|
| 8 | | Daniel Hoffman,
Paul A. Strooper:
Graph-based Class Testing.
Australian Computer Journal 26(4): 158-163 (1994) |
| 1993 |
|---|
| 7 | EE | Daniel Hoffman,
Paul A. Strooper:
A case study in class testing.
CASCON 1993: 472-482 |
| 6 | | Paul A. Strooper,
Maarten H. van Emden:
Describing Symmetrical Structures in Logic.
Ann. Math. Artif. Intell. 8(3-4): 301-314 (1993) |
| 1991 |
|---|
| 5 | | Paul A. Strooper,
Daniel Hoffman:
Prolog Testing of C Modules.
ISLP 1991: 596-608 |
| 4 | EE | Daniel Hoffman,
Paul A. Strooper:
Automated Module Testing in Prolog.
IEEE Trans. Software Eng. 17(9): 934-943 (1991) |
| 1989 |
|---|
| 3 | | Bruce W. Char,
Alan R. Macnaughton,
Paul A. Strooper:
Discovering Inequality Conditions in the Analytic Solution of Optimization Problems.
J. Autom. Reasoning 5(3): 339-362 (1989) |
| 1988 |
|---|
| 2 | | Bruce W. Char,
Alan R. Macnaughton,
Paul A. Strooper:
Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract).
ISSAC 1988: 109-115 |
| 1 | | Mantis H. M. Cheng,
Maarten H. van Emden,
Paul A. Strooper:
Complete Sets of Frontiers in Logic-Based Program Transformation.
META 1988: 283-297 |
