Publications Paul Strooper

Books, theses, and edited proceedings:

1. Paul Strooper, editor.
   Proceedings of the 2005 Australian Software Engineering Conference. IEEE Computer Society Press, 2005.
2. Paul Strooper, editor.
   Proceedings of the 2004 Australian Software Engineering Conference. IEEE Computer Society Press, 2004.
3. Paul Strooper and Pornsiri Muenchaisri, editors.
   Proceedings of the Ninth Asia-Pacific Software Engineering Conference (APSEC 2002). IEEE Computer Society Press, 2002.
4. P.A. Strooper, editor.
   The Proceedings of the Third Australasian Conference on Computer Science Education. ACM, 1998.
5. Daniel Hoffman and Paul Strooper.
   Software Design, Automated Testing, and Maintenance: A Practical Approach.
   International Thompson Computer Press, 1995.
6. P.A. Strooper.
   From Specification to Implementation in Logic.
   PhD thesis, University of Victoria, Victoria, B.C., 1990.
7. P.A. Strooper.
   A transformation system for logic programs.
   Master's thesis, University of Waterloo, Waterloo, Ontario, 1988.

Book chapters:

1. J.G. Süß, D. Carrington, N. Robinson, and P. Strooper.
   Mιυθα: A Framework for Auto-Programming and Testing of Railway Controllers for Varying Clients.
   In F. Flammini, editor, Railway Safety, Reliability, and Security: Technologies and Systems Engineering, pages 175-197. IGI Global, 2012.
2. Robert Colvin, Lindsay Groves, Ian Hayes, David Hemer, Ray Nickson, and Paul Strooper.
   Developing logic programs from specifications using stepwise refinement.
   In M.Bruynooghe and K.-K. Lau, editors, Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, pages 66-89. Springer Verlag, 2004.
3. D.M. Hoffman and P.A. Strooper.
   ClassBench: A methodology and framework for automated class testing.
   In D.C. Kung, P.Hsia, and J.Gao, editors, Testing Object-Oriented Software, pages 152-176. IEEE Computer Society, 1998.
   Reprinted from [Software: Practice and Experience, 27(5):573-597, 1997].

Journal articles:

1. T. Miller and P. Strooper.
   A case study in model-based testing of specifications and implementations.
   Journal of Software Testing, Verification, and Reliability, 22(1):33-63, 2012.
2. D. Hoffman, D. Ly-Gagnon, P. Strooper, and H-Y. Wang.
   Grammar-Based Test Generation with YouGen.
   Software - Practice and Experience, 41(4):427-447, 2011.
3. N. Hakimipour, P. Strooper, and A. Wellings.
   A Model-Based Development Approach for the Verification of Real-Time Java Code.
   Concurrency and Computation - Practice and Experience, 23(13):1583-1606, 2011.
4. D. Hoffman, H-Y. Wang, M. Chang, D. Ly-Gagnon, L. Sobotkiewicz, and P. Strooper.
   Two case studies in grammar-based test generation.
   The Journal of Systems and Software, 83:2369–2378, 2010.
5. R. Colvin, I.J. Hayes, and P.A. Strooper.
   Calculating modules in contextual logic program refinement.
   Theory and Practice of Logic Programming, 8(1):1-31, 2008.
6. Margaret Wojcicki and Paul Strooper.
   Maximising the information gained from a study of static analysis technologies for concurrent software.
   Empirical Software Engineering, 12(6):617-645, 2007.
7. Rakesh Shukla, Paul Strooper, and David Carrington.
   A Framework for Statistical Testing of Software Components.
   International Journal of Software Engineering and Knowledge Engineering, 17(3):379-405, 2007.
8. Brad Long, Paul Strooper, and 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.
9. Daniel Hoffman, Paul Strooper, and Sarah Wilkin.
   Tool support for executable documentation of Java class hierarchies.
   Journal on Software Testing, Verification and Reliability, 15(4):235-256, 2005.
10. D.Carrington, P.Strooper, S.Newby, and T.Stevenson.
    An industry/university collaboration to upgrade software engineering knowledge and skills in industry.
    The Journal of Systems and Software, 75(1-2):29-39, 2005.
11. H.Völzer, A.MacDonald, B.Atchison, A.Hanlon, P.Lindsay, and P.Strooper.
    Subcm: A tool for improved visibility of software change in an industrial setting.
    IEEE Transactions on Software Engineering, 30(10):675-693, 2004.
12. D.M. Hoffman and P.A. Strooper.
    API documentation with executable examples.
    The Journal of Systems and Software, 66(2):143-156, 2003.
13. Brad Long, Daniel Hoffman, and Paul Strooper.
    Tool support for testing concurrent Java components.
    IEEE Transactions on Software Engineering, 29(6):555-566, 2003.
14. Tim Miller and Paul Strooper.
    A framework and tool support for the systematic testing of model-based specifications.
    ACM Transactions on Software Engineering and Methodology, 12(4):409-439, 2003.
15. N.Daley, D.M. Hoffman, and P.A. Strooper.
    A framework for table driven testing of java classes.
    Software: Practice and Experience, 32(5):465-493, 2002.
    An earlier version available as Technical Report UQ-SVRC-00-04, Software Verification Research Centre, University of Queensland.
16. Ian Hayes, Robert Colvin, David Hemer, Paul Strooper, and Ray Nickson.
    A refinement calculus for logic programs.
    Theory and Practice of Logic Programming, 2(4-5):425-460, 2002.
17. Karl Lermer and Paul Strooper.
    Refinement and state machine abstraction.
    Theoretical Computer Science, 266:195-235, 2001.
    Also available as Technical Report UQ-SVRC-00-01, Software Verification Research Centre, University of Queensland.
18. David Carrington, Ian MacColl, Jason McDonald, Leesa Murray, and Paul Strooper.
    From Object-Z specifications to ClassBench test suites.
    Journal on Software Testing, Verification and Reliability, 10(2):111-137, 2000.
    Also available as Technical Report UQ-SVRC-98-22, Software Verification Research Centre, University of Queensland.
19. Daniel Hoffman, Paul Strooper, and Lee White.
    Boundary values and automated component testing.
    Journal on Software Testing, Verification and Reliability, 9(1):3-26, 1999.
20. D.M. Hoffman and P.A. Strooper.
    ClassBench: A methodology and framework for automated class testing.
    Software: Practice and Experience, 27(5):573-597, 1997.
    Also available as Technical Report UQ-SVRC-96-03, Software Verification Research Centre, University of Queensland.
21. P.A. Strooper, Stylianou M., and B.Tabarrok.
    CLP(R) as a general finite element model definition language.
    International Journal for Numerical Methods in Engineering, 38(18):3055-3070, 1995.
22. D.M. Hoffman and P.A. Strooper.
    The testgraphs methodology--automated testing of collection classes.
    Journal of Object-Oriented Programming, 8(7):35-41, 1995.
23. D.M. Hoffman and P.A. Strooper.
    Graph-based class testing.
    The Australian Computer Journal, 26(4):158-163, 1994.
    This paper was selected from those presented at the Seventh Australian Software Engineering Conference (ASWEC'93) for publication in the ACJ.
24. P.A. Strooper and M.H. van Emden.
    Describing symmetrical structures in logic.
    Annals of Mathematics and Artificial Intelligence, 8:301-314, 1993.
    Extended abstract presented at Second International Symposium on Artificial Intelligence and Mathematics, 1992.
25. D.M. Hoffman and P.A. Strooper.
    Automated module testing in Prolog.
    IEEE Transactions on Software Engineering, 17(9):933-942, 1991.
26. B.W. Char, A.R. Macnaughton, and P.A. Strooper.
    Discovering inequality conditions in the analytic solution of optimization problems.
    Journal of Automated Reasoning, 5:339-362, 1989.

Invited papers/presentations:

1. Paul Strooper and Margaret Wojcicki.
   Selecting V&V Technology Combinations: How to Pick a Winner?
   In Proceedings of the Twelth IEEE International Conference on Engineering of Complex Computer Systems. IEEE Computer Society, pages 87-94, 2007.
2. Paul Strooper and Eban Escott.
   A Model-Driven Approach to Developing and Testing Web Applications.
   Presented at 8th International Conference on Information & Communication Technology and Systems, September 2014.

Refereed conference papers:

1. P. Lindsay, S. Kromodimoeljo, P. Strooper, and M. Almorsy.
   Automation of Test Case Generation from Behavior Tree Requirements Models.
   In Proceedings of the 24th Australasian Software Engineering Conference. IEEE Computer Society, pages 118-127, 2015.
2. N. Hakimipour and P. Strooper.
   Exploring an Approach to Model-Based Testing from Behavior Trees.
   In International Workshop on Software Analysis, Testing and Applications (SATA), published as part of Proceedings of the 19th Asia-Pacific Software Engineering Conference Workshops. IEEE Computer Society, pages 80-86, 2012.
3. E. Escott, P. Strooper, P. King, and I. Hayes.
   Model-Driven Web Form Validation with UML and OCL.
   In Current Trends in Web Engineering, volume 7059 of Lecture Notes in Computer Science. Springer Verlag, pages 223-235, 2012.
4. E. Escott, P. Strooper, J.G. Süß, and P. King.
   Architecture-Centric Model-Driven Web Engineering.
   In Proceedings of the Asia-Pacific software Engineering Conference, pages 106-113, 2011.
5. E. Escott, P. Strooper, J. Steel, and P. King.
   Integrating Model-Based Testing in Model-Driven Web Engineering.
   In Proceedings of the Asia-Pacific software Engineering Conference, pages 187-194, 2011.
6. D. Nguyen, P. Strooper, and J.G. Süß.
   Automated Functionality Testing through GUIs.
   In Proceedings of the Thirty-Third Australasian Computer Science Conference, 2010.
7. D. Nguyen, P. Strooper, and J.G. Süß.
   Model-based Testing of Multiple GUI Variants Using GUI Test Generator.
   In Proceedings of the Workshop on Automated Software Testing, 2010.
8. N. Hakimipour, P. Strooper and A. Wellings.
   TART: Timed-Automata to Real-Time Java Tool.
   In Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010.
9. D. Carrington, S. Keyong Kim, and P. Strooper.
   An experience report on using collaboration technologies for distance and on-campus learning.
   In Proceedings of the Twelfth Australasian Computing Education Conference, 2010.
10. M.N. Mahrin, P. Strooper, and D. Carrington.
    Selecting usability evaluation methods for software process descriptions.
    In Proceedings of the 16th Asia-Pacific Software Engineering Conference, IEEE Computer Society, pages 523-529, 2009.
11. D. Hoffman, L. Sobotkiewicz, H-Y. Wang, P. Strooper, G. Bazdell, and B. Stevens.
    Test generation with context free grammars and covering arrays.
    In Testing: Academic & Industrial Conference - Practice and Research Techniques, IEEE Computer Society, pages 43-47, 2009.
12. N. Hakimipour, P. Strooper, and R. Duke.
    Exploring model-based development for the verification of real-time Java code.
    In Verify'08 5th International Verification Workshop, volume 372 of CEUR Workshop Proceedings, pages 71-81, 2008.
13. M.N. Mahrin, D. Carrington, and P. Strooper.
    Investigating Factors Affecting the Usability of Software Process Descriptions.
    In Proceedings of the International Conference on Software Process, volume 5007 of Lecture Notes in Computer Science. Springer Verlag, pages 222-233, 2008.
14. C. Chevillat, D. Carrington, P. Strooper, J.G. Süß, and L. Wildman.
    Model-Based Generation of Interlocking Controller Software from Control Tables.
    In Proceedings of the European Conference on Model-Driven Architecture - Foundations and Applications, volume 5095 of Lecture Notes in Computer Science. Springer Verlag, pages 349-360, 2008.
15. L. van den Berg, P. Strooper, and K. Winter.
    Introducing Time in an Industrial Application of Model-Checking.
    In Proceedings of Formal Methods for Industrial Critical Systems 2007, volume 4916 of Lecture Notes in Computer Science. Springer Verlag, pages 56-67, 2008.
16. L. van den Berg, P. Strooper, and W. Johnston.
    An Automated Approach for the Interpretation of Counter-Examples.
    In Proceedings of the Workshop on Verification and Debugging (V&D 2006), volume 174(2) of Electronic Notes in Theoretical Computer Science. Elsevier, pages 19-35, 2007.
17. A.Z. Javed, P.A. Strooper, and G.N. Watson.
    Automated Generation of Test Cases Using Model-Driven Architecture.
    In Proceedings of the Second International Workshop on Automation of Software Test (AST 2007). IEEE Computer Society, 2007.
18. Margaret Wojcicki and Paul Strooper.
    An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies.
    In Proceedings of the Fifth Workshop on Software Quality. IEEE Computer Society, 2007.
19. E. Mealy, D. Carrington, P. Strooper, and P. Wyeth.
    Improving Usability of Software Refactoring Tools.
    In Proceedings of the 2007 Australian Software Engineering Conference. IEEE Computer Society, pages 307-316, 2007.
20. J. Ngui, P. Strooper, L. Wildman, and M. Wojcicki.
    Comparing the Cost-effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks.
    In Proceedings of the 2007 Australian Software Engineering Conference. IEEE Computer Society, pages 223-232, 2007.
21. Paul Strooper and Larissa Meinicke.
    Evaluation of a New Assesment Scheme for a Third-year Concurrency Course.
    In Proceedings Ninth Australasian Computing Education Conference (ACE2007). Australian Computer Society, pages 147-154, 2007.
22. B. Cahill, D. Carrington, B. Song, and P. Strooper.
    An industry-based evaluation of process modelling techniques.
    In Proceedings of 13th European Software Process Improvement Conference (EuroSPI 2006), volume 4257 of Lecture Notes in Computer Science. Springer Verlag, pages 111-122, 2006.
23. Margaret Wojcicki and Paul Strooper.
    Maximising the Information Gained From an Experimental Analysis of Code Inspection and Static Analysis for Concurrent Java Programs.
    In Proceedings of the 5th ACM-IEEE International Symposium on Empirical Software Engineering. ACM Press, pages 174-183, 2006.
24. W. Johnston, K. Winter, L. van den Berg, P. Strooper, and P. Robinson.
    Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking.
    In FM 2006: Formal Methods, volume 4085 of Lecture Notes in Computer Science. Springer Verlag, pages 524-540, 2006.
25. Margaret Wojcicki and Paul Strooper.
    A State-of-Practice Questionnaire on Verification and Validation of Concurrent Programs.
    In Proceedings of the ISSTA 2006 Symposium and PADTAD-IV Workshop. ACM Press, pages 1-10, 2006.
26. Erica Mealy and Paul Strooper.
    Evaluating software refactoring tool support.
    In Proceedings of the 2006 Australian Software Engineering Conference. IEEE Computer Society, pages 331-340, 2006.
27. Luke Wildman, Brad Long, and Paul Strooper.
    Dealing with non-determinism in testing concurrent Java components.
    In Proceedings of the 12th Asia-Pacific Software Engineering Conference. IEEE Computer Society, pages 393-400, 2005.
28. Rakesh Shukla, David Carrington, and Paul Strooper.
    A passive test oracle using a component's API.
    In Proceedings of the 12th Asia-Pacific Software Engineering Conference. IEEE Computer Society, pages 561-567, 2005.
29. Rakesh Shukla, Paul Strooper, and David Carrington.
    Tool support for statistical testing of software components.
    In Proceedings of the 12th Asia-Pacific Software Engineering Conference. IEEE Computer Society, pages 719-726, 2005.
30. Chris Hunter, Peter Robinson, and Paul Strooper.
    Agent-based distributed software verification.
    In Vladimir Estivill-Castro, editor, Proceedings of the Twenty-Eighth Australasian Computer Science Conference, pages 159-164. Australian Computer Society, 2005.
31. K.Winter, W.Johnston, P.Robinson, P.Strooper, and L.van den Berg.
    Tool support for checking railway interlocking designs.
    In Proceedings of the 10th Australian Workshop on Safety Related Programmable Systems. pages 101-107, Australian Computer Society, 2005.
32. David Hemer, Gregory Long, and Paul Strooper.
    Plug-in proof support for formal development environments.
    In Mike Atkinson and Frank Dehne, editors, Proceedings of Eleventh Computing: The Australasian Theory Symposium, pages 69-79. Australian Computer Society, 2005.
33. R.Shukla, D.Carrington, and P.Strooper.
    Systematic operational profile development for software components.
    In Proceedings of the 11th Asia-Pacific Software Engineering Conference, pages 528-537. IEEE Computer Society, 2004.
34. L.Wildman, B.Long, and P.Strooper.
    Testing Java interrupts and timed waits.
    In Proceedings of the 11th Asia-Pacific Software Engineering Conference, pages 438-447. IEEE Computer Society, 2004.
35. T.Miller and P.Strooper.
    A case study in specification and implementation testing.
    In Proceedings of the 11th Asia-Pacific Software Engineering Conference, pages 130-139. IEEE Computer Society, 2004.
36. B.Long, R.Duke, D.Goldson, P.Strooper, and L.Wildman.
    Mutation-based exploration of a method for verifying concurrent Java components.
    In Proceedings of the 18th International Parallel & Distributed Processing Symposium -- Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD). IEEE Computer Society, 2004.
    abstract on page 265, full paper in CD-ROM.
37. Roger Duke, Tim Miller, and Paul Strooper.
    Integrating formal specification and software verification and validation.
    In R.T.Boute C.N.Dean, editor, Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, volume 3294 of Lecture Notes in Computer Science, pages 124-139. Springer Verlag, 2004.
38. Chris Hunter, Peter Robinson, and Paul Strooper.
    Flexible proof reuse for software verification.
    In C.Shankland C.Rattray, S.Maharaj, editor, Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, volume 3116 of Lecture Notes in Computer Science, pages 211-225. Springer Verlag, 2004.
39. Rakesh Shukla, Paul Strooper, and David Carrington.
    A framework for reliability assessment of software components.
    In I.Crnkovic, J.A. Stafford, H.W. Schmidt, and K.Wallnau, editors, Component-Based Software Engineering 7th International Symposium, CBSE 2004, volume 3054 of Lecture Notes in Computer Science, pages 272-279. Springer Verlag, 2004.
40. Luke Wildman, Roger Duke, and Paul Strooper.
    Viewpoint-based testing of concurrent components.
    In EerkeA. Boiten, John Derrick, and Graeme Smith, editors, Integrated Formal Methods, 4th International Conference, IFM 2004, pages 501-520. Springer Verlag, 2004.
41. Leesa Murray, David Carrington, and Paul Strooper.
    An approach to specifying software frameworks.
    In Vladimir Estivill-Castro, editor, Proceedings of the Twenty-Seventh Australasian Computer Science Conference, pages 185-192. Australian Computer Society, 2004.
42. Daniel Hoffman, Durga Prabhakar, and Paul Strooper.
    Testing iptables.
    In Proceedings of CASCON 2003, pages 310-321. IBM Toronto Software Lab, 2003.
43. Jason McDonald, Paul Strooper, and Daniel Hoffman.
    Tool support for generating passive C++ test oracles from Object-Z specifications.
    In Proceedings of the Tenth Asia-Pacific Software Engineering Conference, pages 322-331. IEEE Computer Society, 2003.
44. Tim Miller and Paul Strooper.
    Supporting the software testing process through specification animation.
    In A.Cerone and P.Lindsay, editors, Proceedings of the First International IEEE International Conference on Software Engineering and Formal Methods, pages 36-43. IEEE Computer Society, 2003.
45. B.Long and P.Strooper.
    A classification of concurrency failures in Java components.
    In Proceedings of the 17th International Parallel & Distributed Processing Symposium -- Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD). IEEE Computer Society, 2003.
    abstract on page 287, full paper in CD-ROM.
46. P.Strooper, D.Carrington, S.Newby, and T.Stevenson.
    Teaching software engineering fundamentals to practicing engineers.
    In P.Knoke, A.Moreno, and M.Ryan, editors, Proceedings of the Sixteenth Conference on Software Engineering and Training, pages 36-43. IEEE Computer Society, 2003.
47. R.Colvin, I.J. Hayes, D.Hemer, and P.A. Strooper.
    Refinement of higher-order logic programs.
    In M.Leuschel, editor, Proceedings of the International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2002), volume 2664 of Lecture Notes in Computer Science, pages 126-143. Springer Verlag, 2003.
48. Simon Carter, Malcolm Graham, Paul Strooper, and Zhiguo Yuan.
    Mutation analysis to support error isolation in simulation models.
    In MichaelJ. Oudshoorn, editor, Proceedings of the Twenty-Sixth Australasian Computer Science Conference, pages 29-34. Australian Computer Society, 2003.
49. Leesa Murray, Alena Griffiths, Peter Lindsay, and Paul Strooper.
    Requirements traceability for embedded software -- an industry experience report.
    In M.H. Hamza, editor, Proceedings of the Sixth IASTED International Conference Software Engineering and Applications, pages 63-69. ACTA Press, 2002.
50. Leesa Murray, Alena Griffiths, and Paul Strooper.
    Optonet -- a case study in using rigorous analysis techniques to justify a revised product assurance strategy.
    In Proceedings of the Eight International Conference on Engineering of Complex Computer Systems, pages 232-237. IEEE Computer Society Press, 2002.
51. Tim Miller and Paul Strooper.
    Model-based specification animation using testgraphs.
    In C.George and H.Miao, editors, Formal Methods and Software Engineering -- Proceedings 4th International Conference on Formal Engineering Methods, volume 2495 of Lecture Notes in Computer Science, pages 192-203. Springer Verlag, 2002.
    Expanded version available as Technical Report UQ-SVRC-02-15, Software Verification Research Centre, University of Queensland.
52. H.Völzer, B.Atchison, P.Lindsay, A.MacDonald, and P.Strooper.
    A tool for subsystem configuration management.
    In Proceedings International Conference on Software Maintenance (ICSM 2002), pages 492-500. IEEE Computer Society, 2002.
    Also available as Technical Report UQ-SVRC-02-07, Software Verification Research Centre, University of Queensland.
53. David Hemer, Robert Colvin, Ian Hayes, and Paul Strooper.
    Don't care non-determinism in logic program refinement.
    In James Harland, editor, Proceeding of Computing: the Australasian Theory Symposium, volume61 of Electronic Notes in Theoretical Computer Science (ENTCS). Elsevier Science, January 2002.
    http://www.elsevier.nl/locate/entcs/volume61.html.
54. Robert Colvin, Ian Hayes, David Hemer, and Paul Strooper.
    Translating refined logic programs to mercury.
    In Michael Oudshoorn, editor, Proceedings of the Twenty-Fifth Australasian Computer Science Conference, volume4 of Conferences in Research and Practice in Information Technology, pages 33-40. Australian Computer Society Inc., January 2002.
55. Tim Miller and Paul Strooper.
    Combining the animation and testing of abstract data types.
    In Proceedings of the Second Asia-Pacific Conference on Quality Software, pages 249-258. IEEE Computer Society, 2001.
    Expanded version available as Technical Report UQ-SVRC-01-17, Software Verification Research Centre, University of Queensland.
56. Brad Long, Dan Hoffman, and Paul Strooper.
    A concurrency test tool for java monitors.
    In Proceedings 16th International Conference on Automated Software Engineering (ASE 2001), pages 421-425. IEEE Computer Society, 2001.
    Expanded version available as Technical Report UQ-SVRC-01-09, Software Verification Research Centre, University of Queensland.
57. Brad Long and Paul Strooper.
    A case study in testing distributed systems.
    In Proceedings 3rd International Symposium on Distributed Objects and Applications (DOA'01), pages 20-30. IEEE Computer Society, 2001.
    Also available as Technical Report UQ-SVRC-01-10, Software Verification Research Centre, University of Queensland.
58. P.Lindsay, A.MacDonald, M.Staples, and P.Strooper.
    A framework for subsystem-based configuration management.
    In Proceedings 2001 Australian Software Engineering Conference, pages 275-284. IEEE Computer Society, 2001.
    Also available as Technical Report UQ-SVRC-01-05, Software Verification Research Centre, University of Queensland.
59. Tim Miller and Paul Strooper.
    Animation can show only the presence of errors, never their absence.
    In Proceedings 2001 Australian Software Engineering Conference, pages 76-85. IEEE Computer Society, 2001.
    Expanded version available as Technical Report UQ-SVRC-01-09, Software Verification Research Centre, University of Queensland.
60. Craig Harvey and Paul Strooper.
    Testing java monitors through deterministic execution.
    In Proceedings 2001 Australian Software Engineering Conference, pages 61-67. IEEE Computer Society, 2001.
61. R.Colvin, I.J. Hayes, and P.Strooper.
    A technique for modular logic program refinement.
    In K.-K. Lau, editor, Logic Based Program Synthesis and Transformation (LOPSTR 2000) Selected Papers, volume 2042 of Lecture Notes in Computer Science, pages 38-56. Springer Verlag, 2001.
    Also available as Technical Report UQ-SVRC-01-13, Software Verification Research Centre, University of Queensland.
62. D.Hemer, I.Hayes, and P.Strooper.
    Refinement calculus for logic programming in isabelle/hol.
    In R.Boulton and P.Jackson, editors, Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, volume 2152 of Lecture Notes in Computer Science, pages 249-264. Springer Verlag, 2001.
    Also available as Technical Report UQ-SVRC-01-08, Software Verification Research Centre, University of Queensland.
63. Jason McDonald, Leesa Murray, Peter Lindsay, and Paul Strooper.
    Module testing embedded software -- an industrial pilot project.
    In Proceedings of 7th IEEE International Conference on Engineering of Complex Computer Systems, pages 233-238. IEEE Computer Society, 2001.
    Also available as Technical Report UQ-SVRC-00-24, Software Verification Research Centre, University of Queensland.
64. Chris Hunter and Paul Strooper.
    Systematically deriving partial oracles for testing concurrent programs.
    In Proceedings of the 24th Australasian Computer Science Conference, pages 83-91. IEEE Computer Society, 2001.
65. Karl Lermer and Paul Strooper.
    A single complete refinement rule for demonic specifications.
    In Proceedings of IFIP TCS 2000, pages 564-579. Springer Verlag, 2000.
66. D.Hoffman and P.Strooper.
    Prose + test cases = specifications.
    In Proceedings 34th International Conference on Technology of Object-Oriented Languages and Systems, pages 239-250. IEEE Computer Society, 2000.
67. R.Colvin, I.J. Hayes, and P.Strooper.
    Modular logic program refinement.
    In Kung-Kiu Lau, editor, Pre-Proceedings of the Tenth International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2000), number UMCS-00-6-1, pages 1-10. Department of Computer Science, Manchester University, 2000.
    Extended abstract.
68. D.Hoffman and P.Strooper.
    Tools and techniques for Java API testing.
    In Proceedings 2000 Australian Software Engineering Conference, pages 235-245. IEEE Computer Society, 2000.
69. Robert Colvin, Ian Hayes, and Paul Strooper.
    Refining logic programs using types and invariants.
    In Jenny Edwards, editor, Proceedings 23rd Australasian Computer Science Conference (ACSC2000), pages 43-50. IEEE Computer Society, 2000.
    Expanded version available as Technical Report UQ-SVRC-99-25, Software Verification Research Centre, University of Queensland.
70. Leesa Murray, David Carrington, Ian MacColl, and Paul Strooper.
    TinMan -- a test derivation and management tool for specification-based class testing.
    In Technology of Object-Oriented Languages TOOLS 32, pages 222-233. IEEE Computer Society, 1999.
    Also available as Technical Report UQ-SVRC-99-07, Software Verification Research Centre, University of Queensland.
71. J.McDonald and P.A. Strooper.
    Testing inheritance hierarchies in the ClassBench framework.
    In Technology of Object-Oriented Languages TOOLS 28, pages 229-241. IEEE Computer Society, 1998.
    Also available as Technical Report UQ-SVRC-96-38, Software Verification Research Centre, University of Queensland.
72. Leesa Murray, Jason McDonald, and Paul Strooper.
    Specification-based class testing with ClassBench.
    In Proceedings Asia-Pacific Software Engineering Conference, pages 164-173. IEEE Computer Society, 1998.
    Also available as Technical Report UQ-SVRC-98-12, Software Verification Research Centre, University of Queensland.
73. Jason McDonald, Daniel Hoffman, and Paul Strooper.
    Programmatic testing of the standard template library containers.
    In Proceedings 13th IEEE International Conference on Automated Software Engineering, pages 147-156. IEEE Computer Society, 1998.
    Also available as Technical Report UQ-SVRC-98-31, Software Verification Research Centre, University of Queensland.
74. Daniel Hazel, Paul Strooper, and Owen Traynor.
    Requirements engineering and verification using specification animation.
    In Proceedings 13th IEEE International Conference on Automated Software Engineering, pages 302-305. IEEE Computer Society, 1998.
    Expanded version is available as Technical Report UQ-SVRC-99-26, Software Verification Research Centre, University of Queensland.
75. Daniel Hoffman, Jayakrishnan Nair, and Paul Strooper.
    Testing generic ada packages with APE.
    In Proceedings ACM SIGAda Annual International Conference (SIGAda'98), pages 255-262. ACM Press, 1998.
76. Jason McDonald and Paul Strooper.
    Translating Object-Z specifications to passive test oracles.
    In S.Liu J.Staples, M.G.Hinchey, editor, Second International Conference on Formal Engineering Methods, pages 165-174. IEEE Computer Society, 1998.
    Also available as Technical Report UQ-SVRC-98-31, Software Verification Research Centre, University of Queensland.
77. Ian MacColl, Leesa Murray, Paul Strooper, and David Carrington.
    Specification-based class testing: A case study.
    In S.Liu J.Staples, M.G.Hinchey, editor, Second International Conference on Formal Engineering Methods, pages 222-231. IEEE Computer Society, 1998.
    Also available as Technical Report UQ-SVRC-98-08, Software Verification Research Centre, University of Queensland.
78. Robert Colvin, Ian Hayes, and Paul Strooper.
    Data refining logic programs.
    In T.Vickers J.Grundy, M.Schwenke, editor, International Refinement Workshop & Formal Methods Pacific '98, pages 100-116. Springer-Verlag, 1998.
    Also available as Technical Report UQ-SVRC-98-15, Software Verification Research Centre, University of Queensland.
79. Leesa Murray, David Carrington, Ian MacColl, Jason McDonald, and Paul Strooper.
    Formal derivation of finite state machines for class testing.
    In J.P. Bowen, A.Fett, and M.G. Hinchey, editors, ZUM'98: The Z Formal Specification Notation, volume 1493 of Lecture Notes in Computer Science, pages 42-59. Springer Verlag, 1998.
    Also available as Technical Report UQ-SVRC-98-03, Software Verification Research Centre, University of Queensland.
80. Daniel Hazel, Paul Strooper, and Owen Traynor.
    Possum: An animator for the sum specification language.
    In Proceedings Asia-Pacific Software Engineering Conference and International Computer Science Conference, pages 42-51. IEEE Computer Society, 1997.
    Also available as Technical Report UQ-SVRC-97-10, Software Verification Research Centre, University of Queensland.
81. Leesa Murray, David Carrington, Ian MacColl, and Paul Strooper.
    Extending test templates with inheritance.
    In Proceedings 1997 Australian Software Engineering Conference, pages 80-87. IEEE Computer Society, 1997.
82. Jason McDonald, Leesa Murray, and Paul Strooper.
    Translating object-z specifications to object-oriented test oracles.
    In Proceedings Asia-Pacific Software Engineering Conference and International Computer Science Conference, pages 414-423. IEEE Computer Society, 1997.
    Also available as Technical Report UQ-SVRC-97-30, Software Verification Research Centre, University of Queensland.
83. R.Colvin, I.J. Hayes, R.G. Nickson, and P.A. Strooper.
    A tool for logic program refinement.
    In D.J. Duke and A.S. Evans, editors, 2nd BCS-FACS Northern Formal Methods Workshop (NFMW'97), Electronic Workshops in Computer Science. Springer Verlag, 1997.
    Also available as Technical Report UQ-SVRC-97-32, Software Verification Research Centre, University of Queensland.
84. I.J. Hayes, R.G. Nickson, and P.A. Strooper.
    Refining specifications to logic programs.
    In J.Gallagher, editor, Logic Program Synthesis and Transformation. Proc. of the 6th Int. Workshop, LOPSTR'96, Stockholm, Sweden, August 1996, volume 1207 of Lecture Notes in Computer Science, pages 1-19. Springer Verlag, 1997.
    Also available as Technical Report UQ-SVRC-96-34, Software Verification Research Centre, University of Queensland.
85. P.Koning, P.Strooper, and R.Udink.
    Testing multi-media systems--a case study.
    In Proceedings 1996 Asia-Pacific Software Engineering Conference, pages 413-419. IEEE Computer Society, 1996.
    Also available as Technical Report 96/01, Software Engineering Research Centre, Utrecht, The Netherlands.
86. Paul Strooper, Paul Bakker, David Carrington, Peter Creasy, Andrew Goodchild, Ian MacColl, and Helen Purchase.
    Setting up a tutor training programme in computer science.
    In First Australasian Conference on Computer Science Education, pages 254-259. ACM, 1996.
87. D.M. Hoffman, P.A. Strooper, and P.Walsh.
    Teaching and testing.
    In Ninth Conference on Software Engineering Education, pages 248-258. IEEE Computer Press, 1996.
88. J.Smillie and P.A. Strooper.
    Testing generic classes in the testgraph framework.
    In Technology of Object-Oriented Languages and Systems - TOOLS 18, pages 147-157. Prentice Hall, 1995.
89. Paul Bakker, David Carrington, Andrew Goodchild, Ian Hayes, Helen Purchase, and Paul Strooper.
    The communicating technologist: An educational challenge.
    In Frontiers in Education 25th Annual Conference, pages 4a4.1-4a4.4. IEEE Computer Press, 1995.
90. D.M. Hoffman and P.A. Strooper.
    State abstraction and modular software development.
    In The Third Symposium on the Foundations of Software Engineering (FSE3), pages 53-61. ACM Press, 1995.
    Published as Vol. 20, No. 4 of Software Engineering Notes.
91. D.M. Hoffman, J.Smillie, and P.A. Strooper.
    Automated class testing: Methods and experience.
    In First Asia-Pacific Software Engineering Conference, pages 163-171. IEEE Computer Press, 1994.
92. P.A. Strooper.
    CLP(R) as a finite element modeling language.
    In Proceedings of the 17th Annual Computer Science Conference, pages 571-580. University of Canterbury, 1994.
93. D.M. Hoffman and P.A. Strooper.
    A new text: Fundamentals of software design and verification.
    In Proceedings ACM/IEEE Workshop on Software Engineering Education, pages 157-168. IEEE Computer Press, 1994.
94. D.M. Hoffman and P.A. Strooper.
    A case study in class testing.
    In Proceedings CASCON'93, pages 472-482. IBM Toronto Laboratory, 1993.
95. D.M. Hoffman and P.A. Strooper.
    Graph-based module testing.
    In Proceedings of the 16th Australian Computer Science Conference, pages 479-487. Queensland University of Technology, 1993.
96. D.M. Hoffman and P.A. Strooper.
    Graph-based class testing.
    In Proceedings of Seventh Australian Software Engineering Conference, pages 85-91, 1993.
97. P.A. Strooper, M.Stylianou, and B.Tabarrok.
    Prolog for finite-element model definition.
    In Proceedings of the 1992 ASME International Computers in Engineering Conference, pages 133-140. ASME, 1992.
98. P.A. Strooper and D.M. Hoffman.
    Prolog testing of C modules.
    In Proceedings of the 1991 International Logic Programming Symposium, pages 596-608. MIT Press, 1991.
99. M.H.M. Cheng, M.H. van Emden, and P.A. Strooper.
    Complete sets of frontiers in logic-based program transformation.
    In H.Abramson and M.H. Rogers, editors, Meta-programming in Logic Programming, pages 283-297. The MIT Press, 1989.
100. D.M. Hoffman and P.A. Strooper.
     Trace-based test harnesses.
     In Proceedings of CIPS Edmonton '88, pages 285-293, 1988.

Book reviews:

1. Paul Strooper.
   Book review: R. Carver and K. Tai, Modern multithreading: impolementing, testing, and debugging multithreaded Java and C++/Pthreads/Win32 programs,
   Computing Reviews, April 2006.
2. Paul Strooper.
   Book review: A. Hunt and D. Thomas, Pragmatic Unit Testing in C# with NUnit.
   Computing Reviews, November 2004.
3. Paul Strooper.
   Book review: K. Beck, Test-driven development: by example.
   Computing Reviews, April 2003.
4. Paul Strooper.
   Book review: J.M. Voas and G. McGraw, Software fault injection: inoculating programs against errors.
   Computing Reviews, 40(2):109-110, 1999.
5. Paul Strooper.
   Book review: Pohl, Ira. Object-oriented programming using C++ (2nd ed.).
   Computing Reviews, 38(12):601-602, 1997.

Paper reviews:

1. Paul Strooper.
   Paper review: E. Ciapessoni, M. Piergiorgio, A. Coen-Porisini, D. Mandrioli, and A. Morzenti, From formal models to formally based methods: an industrial experience.
   Computing Reviews, 39(6):298, 1999.

Other Publications:

1. Daniel Hoffman and Paul Strooper.
   Api documentation with executable examples.
   Technical Report 01-12, Software Verification Research Centre, The Univ. of Queensland, October 2001.
2. Robert Colvin, David Hemer, Ian Hayes, and Paul Strooper.
   Translating refined logic programs to mercury.
   Technical Report 01-32, Software Verification Research Centre, The Univ. of Queensland, September 2001.
3. Leesa Murray, Alena Griffiths, Peter Lindsay, and Paul Strooper.
   Requirements traceability for embedded software -- an industry experience report.
   Technical Report 00-41, Software Verification Research Centre, The Univ. of Queensland, December 2000.
4. Ian Hayes, Ray Nickson, Paul Strooper, and Robert Colvin.
   A declarative semantics for logic program refinement.
   Technical Report 00-30, Software Verification Research Centre, The Univ. of Queensland, October 2000.
5. Jason McDonald, Leesa Murray, Peter Lindsay, and Paul Strooper.
   A pilot project on module testing for embedded software.
   Technical Report 00-24, Software Verification Research Centre, The Univ. of Queensland, July 2000.
6. Nigel Daley, Dan Hoffman, and Paul Strooper.
   Unit operations for automated class testing.
   Technical Report 00-04, Software Verification Research Centre, The Univ. of Queensland, January 2000.
7. Daniel Hazel, Paul Strooper, and Owen Traynor.
   Requirements engineering and verification using specification animation.
   Technical Report 99-26, Software Verification Research Centre, The Univ. of Queensland, June 1999.
8. Leesa Murray, David Carrington, Ian MacColl, and Paul Strooper.
   Inheritance and specification-based object-oriented testing.
   Technical Report 97-18, Software Verification Research Centre, The Univ. of Queensland, May 1997.
9. Leesa Murray, David Carrington, Ian MacColl, and Paul Strooper.
   A case study in specification-based object-oriented testing with inheritance.
   Technical Report 97-19, Software Verification Research Centre, The Univ. of Queensland, May 1997.
10. George Rowlinson and Paul Strooper.
    Unit and integration testing of a rehosted avionics simulation system.
    In Australian Software Engineering Conference Industry Track Experience Reports, 1997.
11. D.M. Hoffman, P.A. Strooper, and P.Walsh.
    Teaching software design and maintenance: A document-driven approach.
    In Western Canadian Conference on Computing Education, pages 57-62, 1996.
12. I.J. Hayes and P.A. Strooper.
    Refining specifications to logic programs.
    In Fifth Australian Refinement Workshop, 1996.
13. I.J. Hayes, R.G. Nickson, and P.A. Strooper.
    Refining specifications to logic programs.
    Technical Report 96-34, Software Verification Research Centre, The Univ. of Queensland, October 1996.
    Accepted for publication in LOPSTR'96.
14. P.J. Koning and P.A. Strooper.
    Multimedia-applicaties testen.
    Computable, 29(37):33-35, 1996.
    In Dutch.
15. K.Ackers, J.Applegate, P.Bakker, R.Duke, A.Goodchild, E.Salzman, G.Smith, P.Strooper, and L.Wildman.
    Final report of the 1995 tutor training group.
    Technical report, Department of Computer Science, The University of Queensland, August 1995.
16. ActionLearning Group.
    Improving the quality of tutorial classes in computer science.
    Technical Report TR-322, Department of Computer Science, The University of Queensland, February 1995.
    Final Report of the Computer Science Action Learning Group.
17. M.H.M. Cheng, M.H. van Emden, and P.A. Strooper.
    Module interface specifications in logic.
    Technical Report DCS-155-IR, University of Victoria, 1991.
18. M.H. van Emden and P.A. Strooper.
    From specification to implementation in logic: An example.
    In Proceedings of the Workshop on Automating Software Design, pages 290-295, 1989.