Professor Paul Strooper

Head of School

School of Information Technology and Electrical Engineering
Faculty of Engineering, Architecture and Information Technology
pstroop@uq.edu.au
+61 7 336 53869

Overview

Prof Paul Strooper's research interests include: Software Engineering, especially software specification, verification, and testing.

Paul Strooper is the Head of School and a Professor in the School of Information Technology and Electrical Engineering at The University of Queensland. He received the BMath and MMath degrees in Computer Science from the University of Waterloo, and the PhD degree in Computer Science in 1990 from the University of Victoria. His main research interest is Software Engineering, especially software verification and testing, and model-based approaches to software development and verification. He has had substantial interaction with industry through collaborative research projects, training and consultation in these areas. He was one of the General Chairs for the 2010 Asia-Pacific Software Engineering Conference (APSEC) and the 2009 Australian Software Engineering Conferences (ASWEC), the program chair for APSEC in 2002 and ASWEC in 2004 and 2005. He is the chair of the Steering Committee for APSEC and a member of the Steering Committees for ASWEC. He is a member of the editorial board of the IEEE Transactions on Software Engineering and the Journal of Software Testing, Verification and Reliability.

Qualifications

  • Graduate Certificate in Education, The University of Queensland
  • PhD (Computer Science), University of Victoria
  • Master of Mathematics (Computer Science), Wat.
  • Bachelor of Mathematics (Computer Sci/Pure Math), Wat.

Publications

  • Miller, Tim and Strooper, Paul (2012) A case study in model-based testing of specifications and implementations. Software Testing, Verification and Reliability, 22 1: 33-63. doi:10.1002/stvr.431

  • Hakimipour, Niusha and Strooper, Paul (2012). Exploring an approach to model-based testing from behavior trees. In: Karl R. P. H. Leung and Pornsiri Muenchaisri, APSECW 2012: Proceedings of the 19th Asia-Pacific Software Engineering Conference. APSECW 2012: 19th Asia-Pacific Engineering Conference: International Workshop on Software Analysis, Testing and Applications: SATA 2012, Hong Kong, (80-86). 4-7 December 2012. doi:10.1109/APSEC.2012.95

  • Escott, Eban, Strooper, Paul, King, Paul and Hayes, Ian J. (2012). Model-driven web form validation with UML and OCL. In: Andreas Harth and Nora Koch, Current trends in web engineering: workshops, doctoral symposium, and tutorials, held at ICWE 2011, revised selected papers. 11th International Conference on Web Engineering (ICWE 2011), Paphos, Cyprus, (223-235). 20-21 June 2011. doi:10.1007/978-3-642-27997-3_23

View all Publications

Publications

Book

  • Colvin, Rob, Hayes, Ian and Strooper, Paul (1999) Refining logic programs using types and invariants. SVRC Technical Report 99-25, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland.

  • Murray, Leesa, Carrington, David, MacColl, Ian and Strooper, Paul (1999) TinMan - a test derivation and management tool for specification-based class testing. Technical Report SSE 99-07, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland.

  • MacColl, Ian, Murray, Leesa, Strooper, Paul and Carrington, David (1998) Specification-based class testing: A case study. SVRC Technical Report 98-08, Software Verification Research Centre, School of Information Technology, The University of Queensland.

  • Hazel, Daniel, Strooper, Paul and Traynor, Owen (1998) Requirements engineering and verification using specification animation. SVRC Technical Report 99-26, Software Verification Research Centre, School of Information Technology, The University of Queensland.

  • Murray, Leesa, McDonald, Jason and Strooper, Paul (1998) Specification-based class testing with ClassBench. SVRC Technical Report 98-12, Software Verification Research Centre, School of Information Technology, The University of Queensland.

Book Chapter

  • Süß, Jörn Guy, Carrington, David, Robinson, Neil and Strooper, Paul (2012). Μίνθα: a framework for auto-programming and testing of railway controllers for varying clients. In Francesco Flammini (Ed.), Railway safety, reliability, and security: technologies and systems engineering (pp. 175-197) Hershey, PA, United States: IGI Global. doi:10.4018/978-1-4666-1643-1.ch008

  • Colvin, Robert, Groves, Lindsay, Hayes, Ian J., Hemer, David, Nickson, Ray and Strooper, Paul (2004). Developing logic programs from specifications using stepwise refinement. In Maurice Bruynooghe and Kunk-Kiu Lau (Ed.), Program Development in Computational Logic (pp. 66-89) Berlin: Springer Verlag.

Journal Article

Conference Publication

  • Hakimipour, Niusha and Strooper, Paul (2012). Exploring an approach to model-based testing from behavior trees. In: Karl R. P. H. Leung and Pornsiri Muenchaisri, APSECW 2012: Proceedings of the 19th Asia-Pacific Software Engineering Conference. APSECW 2012: 19th Asia-Pacific Engineering Conference: International Workshop on Software Analysis, Testing and Applications: SATA 2012, Hong Kong, (80-86). 4-7 December 2012. doi:10.1109/APSEC.2012.95

  • Escott, Eban, Strooper, Paul, King, Paul and Hayes, Ian J. (2012). Model-driven web form validation with UML and OCL. In: Andreas Harth and Nora Koch, Current trends in web engineering: workshops, doctoral symposium, and tutorials, held at ICWE 2011, revised selected papers. 11th International Conference on Web Engineering (ICWE 2011), Paphos, Cyprus, (223-235). 20-21 June 2011. doi:10.1007/978-3-642-27997-3_23

  • Escott, Eban, Strooper, Paul, Süß, Jörn Guy and King, Paul (2011). Architecture-centric model-driven web engineering. In: 18th Asia Pacific Software Engineering Conference (APSEC). 18th Asia Pacific Software Engineering Conference (APSEC), Ho Chi Minh City, Vietnam, (106-113). 5-8 December 2011. doi:10.1109/APSEC.2011.45

  • Escott, Eban, Strooper, Paul, Steel, Jim and King, Paul (2011). Integrating model-based testing in model-driven web engineering. In: Tran Dan Thu and Karl Leung, Proceedings of the 18th Asia Pacific Software Engineering Conference (APSEC 2011). 18th Asia Pacific Software Engineering Conference (APSEC 2011), Ho Chi Minh City, Vietnam, (187-194). 5- 8 December 2011. doi:10.1109/APSEC.2011.61

  • Carrington, David, Kim, Soon-Kyeong and Strooper, Paul (2010). An experience report on using collaboration technologies for distance and on-campus learning. In: Tony Clear and John Hamer, ACE '10 Proceedings of the Twelfth Australasian Conference on Computing. Twelfth Australasian Computing Education Conference (ACE 2010), Brisbane, Qld, Australia, (45-52). 18 - 22 January, 2010.

  • Nguyen, Duc Hoai, Strooper, Paul and Süß, Jörn Guy (2010). Automated functionality testing through GUIs. In: Bernard Mans, Mark Reynolds, Vladimir Estivill-Castro and Simeon J. Simoff, Computer Science 2010: Proceedings of theThirty-Third Australasian Computer Science Conference (ACSC 2010). ACSW 2010: The Thirty-Third Australasian Computer Science Conference, Brisbane, QLD, Australia, (153-162). 18-22 January 2010.

  • Nguyen, Duc Hoai, Strooper, Paul and Suess, Jorn Guy (2010). Model-based testing of multiple GUI variants using GUI test generator. In: AST '10 Proceedings of the 5th Workshop on Automation of Software Test. 5th International Workshop on Automation of Software Test (AST 2010), Cape Town, South Africa, (24-30). 3-4 May 2010. doi:10.1145/1808266.1808270

  • Hakimipour, Niusha, Strooper, Paul and Wellings, Andy (2010). TART: Timed-automata to real-time Java tool. In: 2010 8th IEEE International Conference on Software Engineering and Formal Methods. Software Engineering and Formal Methods (SEFM 2010), Pisa, Italy, (299-309). 13-18 September 2010. doi:10.1109/SEFM.2010.39

  • Dranidis, Dimitris, Masticola, Stephen P. and Strooper, Paul (2009). Expanding, theory, and practice: report on the 4th international workshop on the automation of software test. In: 31st International Conference on Software Engineering - Companion Volume, ICSE 2009. 2009 31st International Conference on Software Engineering, ICSE 2009, Vancouver, Canada, (459-460). 16-24 May 2009. doi:10.1109/ICSE-COMPANION.2009.5071061

  • Mahrin, Mohd Naz'ri, Strooper, Paul and Carrington, David (2009). Selecting usability evaluation methods for software process descriptions. In: Shahida Sulaiman and Noor Maizura Mohammad Noor, Proceedings of the 16th Asia-Pacific Software Engineering Conference, APSEC 2009. 16th Asia-Pacific Software Engineering Conference, APSEC 2009, Penang, Malaysia, (523-529). 1-3 December 2009. doi:10.1109/APSEC.2009.33

  • Hoffman, Daniel, Sobotkiewicz, Lewis, Wang, Hong-Yi, Strooper, Paul, Bazdell, Gary and Stevens, Brett (2009). Test generation with context free grammars and covering arrays. In: Gregory Kapfhammer and Neil Walkinshaw, Testing: Academic & Industrial Conference - Practice and Research Techniques. TAIC PART, Testing: Academic & Industrial Conference - Practice and Research Techniques, Windsor, United Kingdom, (43-47). 4-6 September 2009. doi:10.1109/TAICPART.2009.35

  • Hakimipour, Niusha, Strooper, Paul and Duke, Roger (2008). Exploring model-based development for the verification of real-time Java code. In: Bernhard Beckert and Gerwin Klein, IJCAR 2008: 4th International Joint Conference on Automated Reasoning. Workshop Program: 5th International Verification Workshop. VERIFY’08. VERIFY'08: 5th International Verification Workshop, in connection with IJCAR 2008: The 4th International Joint Conference on Automated Reasoning, Sydney, NSW, Australia, (71-81). 10-15 August, 2008.

  • van den Berg, L., Strooper, P. and Winter, K. (2008). Introducing time in an industrial application of model-checking. In: Leue, S. and Merino, P., Lecture Notes in Computer Science ; Formal Methods for Industrial Critical Systems. 12th International Workshop on Formal Methods for Industrial Critical Systems, Berlin, Germany, (56-67). 1-2 July, 2008. doi:10.1007/978-3-540-79707-4_6

  • Mahrin, M.N., Carrington, D.A. and Strooper, P.A. (2008). Investigating factors affecting the usability of software process descriptions. In: Wang, Q., Pfahl, D. and Raffo, D.M., Making Globally Distributed Software Development a Success Story. International Conference on Software Process, ICSP 2008, Leipzig, Germany, (222-233). 10-11 May, 2008. doi:10.1007/978-3-540-79588-9_20

  • Chevillat, Cedric, Carrington, David, Strooper, Paul, Süß, Jörn Guy and Wildman, Luke (2008). Model-based generation of interlocking controller software from control tables. In: Ina Schieferdecker and Alan Hartman, Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings. 4th European Conference on Model Driven Architecture - Foundation and applications, ECMDA-FA 2008, Berlin, Germany, (349-360). 9-13 June 2007. doi:10.1007/978-3-540-69100-6_24

  • van den Berg, Lionel, Strooper, Paul and Johnston, Wendy (2007). An automated approach to the interpretation of counter-examples. In: Proceedings of the Workshop on Verification and Debugging (V&D 2006). Workshop on Verification and Debugging (V&D 2006), Seattle, WA, United States, (19-35). 21 August 2006. doi:10.1016/j.entcs.2006.12.027

  • Wojcicki, M. and Strooper, P. A. (2007). An iterative empirical strategy for the systematic selection of a combination of verification and validation technologies. In: B. Boehm, S. Chulani, J. Verner and B. Wong, Proceedings of the Fifth International Workshop on Software Quality (WoSQ 2007). Fifth International Workshop on Software Quality (WoSQ 2007), Minnesota, U.S.A., (). 20-26 May 2007. doi:10.1109/WOSQ.2007.4

  • Javed, A. Z., Strooper, P. A. and Watson, G. N. (2007). Automated generation of test cases using model-driven architecture. In: H. Zhu, E. Wong and A. Paradkar, Automation of Software Test 2007 (AST '07). Second International Workshop on Automation of SoftwareTest 2007 (AST '07), Minnesota, U.S.A., (). 20-26 May 2007. doi:10.1109/AST.2007.2

  • Ngui, J., Strooper, P. A., Wildman, L. and Wojcicki, M. (2007). Comparing the cost-effectiveness of statically analysing and model checking concurrent java components for deadlocks. In: J. Grundy and J. Han, Proceedings of the 2007 Australian Software Engineering Conference (ASWEC '07). 18th Australian Conference on Software Engineeing (ASWEC '07), Melbourne, Australia, (223-232). 10-13 April 2007. doi:10.1109/ASWEC.2007.16

  • Strooper, P. A. and Meinicke, L. (2007). Evaluation of a new assessment scheme for a third-year concurrency course. In: Simon Mann, Proceedings of the Ninth Australiasian Computing Education Conference (ACE 2007). Ninth Australiasian Computing Education Conference (ACE 2007), Ballarat, Victoria, Australia, (147-154). 30 January - 2 February, 2007.

  • Mealy, Erica, Carrington, David, Strooper, Paul and Wyeth, Peta (2007). Improving usability of software refactoring tools. In: J. Grundy and J. Han, Proceedings of the 2007 Australian Software Engineering Conference (ASWEC '07). 18th Australian Conference on Software Engineering (ASWEC 2007), Melbourne, Australia, (307-316). 10-13 April 2007. doi:10.1109/ASWEC.2007.24

  • Strooper, P. A. and Wojcicki, M. (2007). Selecting V&V technology combinations: How to pick a winner?. In: J. S. Dong and J. Sun, Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems. 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), Auckland, New Zealand, (87-94). 11-14 July 2007. doi:10.1109/ICECCS.2007.40

  • Wojcicki, M. A. and Strooper, P A (2006). A state-of-practice questionnaire on verification and validation for concurrent programs. In: L. Polloci and M. Pezze, Proceedings of the ISSTA 2006 Symposium & PADTAD-IV Workshop. Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD-IV) 2006, Maine, U.S.A., (1-10). 17 July, 2006. doi:10.1145/1147403.1147405

  • Cahill, Brent, Carrington, David, Song, Brian and Strooper, Paul (2006). An industry-based evaluation of process modeling techniques. In: R. Messnarz, I. Richardson and P. Runeson, Proceedings of Software Process Improvement, 13th European Conference (EuroSPI 2006). EuroSPI 2006: 13th European Conference on Software Process Improvement, Joensuu, Finland, (111-122). 11-13 October 2006. doi:10.1007/11908562_11

  • Mealy, E and Strooper, P A (2006). Evaluating software refactoring tool support. In: J. Han and M. Staples, Proceedings of the 2006 Australian Software Engineering Conference (ASWEC 2006). 2006 Australian Sottware Engineering Conference (ASWEC 2006), Sydney, Australia, (331-340). 18-21 April, 2006.

  • Wojcicki, Margaret A. and Strooper, Paul (2006). Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent Java components. In: G. H. Travassos, J. C. Maldonado and C. Wohlin, ISESE '06: Proceedings of the 5th ACM-IEEE International Symposium on Empirical Software Engineering. International Symposium on Empirical Software Engineering 2006 (ISESE'06), Rio de Janeiro, Brazil, (174-183). 21-22 September 2006. doi:10.1145/1159733.1159761

  • Johnston, Wendy, Winter, Kirsten, van den Berg, Lionel, Strooper, Paul and Robinson, Peter (2006). Model-based variable and transition orderings for efficient symbolic model checking. In: Jayadev Misra, Tobias Nipkow and Emil Sekerinski, FM 2006: Formal Methods. 14th International Symposium on Formal Methods: Proceedings. Formal Methods 2006: 14th International Symposium on Formal Methods (FM 2006). Formal Methods for Security and Trust in Industrial Applications, Hamilton, ON, Canada, (524-540). 21-27 August 2006. doi:10.1007/11813040_35

  • Shukla, Rakesh, Carrington, David and Strooper, Paul (2005). A Passive Test Oracle Using a Component's API. In: J. Lee, W. C. Chu and P. Jalote, Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC'05). 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei, Taiwan, (561-567). 15-17 December, 2005. doi:10.1109/APSEC.2005.13

  • Hunter, Chris, Robinson, Peter J. and Strooper, Paul A. (2005). Agent-based distributed software verification. In: V. Estivill-Castro, Proceedings of the twenty eighth Australasian Computer Science Conference (ACSC 2005) Newcastle, Australia, January, 2005. Twenty Eighth Australasian Computer Science Conference (ACSC 2005), Newcastle, NSW, (159-164). 30 January - 2 February, 2005.

  • Wildman, Luke, Long, Brad and Strooper, Paul (2005). Dealing with non-determinism in testing concurrent java components. In: J. Lee, W.C. Chu and P. Jalote, Proceedings: Asia-Pacific Software Engineering Conference. 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei, Taiwan, (393-400). 15-17 December 2005. doi:10.1109/APSEC.2005.58

  • Hemer, D., Long, G. D. and Strooper, P. A. (2005). Plug-in proof support for formal development environments. In: M. Atkinson and F. Dehne, Theory of Computing 2005 - Computing: The Australasian Theory Symposium (CATS2005). Computing: The Australasian Theory Symposium (CATS2005), Newcastle, NSW, (69-79). 30 January - 2 February, 2005.

  • Winter, K., Johnston, W. R., Robinson, P. J., Strooper, P. A. and Van Den Berg, L. (2005). Tool support for checking railway interlocking designs. In: Tony Cant, Proceedings of the 10th Australian Workshop on Safety Related Programmable Systems. 10th australian Workshop on Safety Related Programmable Systems (SCS'05), Sydney, Australia, (1-7). 25 -26 August 2005.

  • Shukla, R. Y., Strooper, P. A. and Carrington, D. A. (2005). Tool support for statistical testing of software components. In: J. Lee, W. C. Chu and P. Jalote, Software Engineering Conference 2005. 12th Asia-Pacific Software Engineering Conference 2005 (APSEC '05), Taipei, Taiwan, (719-726). 15-17 December 2005. doi:10.1109/APSEC.2005.105

  • Miller, T. and Strooper, P. A. (2004). A case study in specification and implementation testing. In: D. Bae and W. Chu, Proceedings of the Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004). The Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004), Busan, Korea, (130-139). 30 November-3 December 2004. doi:10.1109/APSEC.2004.1

  • Shukla, Rakesh, Strooper, Paul and Carrington, David (2004). A framework for reliability assessment of software components. In: Ivica Crnkovic, Judith Stafford, Heinz Schmidt and Kurt Wallnau, Proceedings of the 7th International Symposium on Component-Based Software Engineering. 7th International Symposium on Component-Based Software Engineering (CBSE 2004), Edinburgh, U.K., (272-279). 24-25 May 2004. doi:10.1007/b97813

  • Murray, L. M., Carrington, D. A. and Strooper, P. A. (2004). An approach to specifying software frameworks. In: V. Estivill-Castro, Proceedings of the Twenty-Seventh Australasian Computer Science Conference (ACSC 2004). The Twenty-Seventh Australasian Computer Science Conference (ACSC 2004), Dunedin, New Zealand, (185-192). 18-22 January 2004.

  • Hunter, Chris, Robinson, Peter and Strooper, Paul (2004). Flexible proof reuse for software verification. In: C. Rattray, S. Maharaj and C. Shankland, Algebraic Methodology and Software Technology. The Tenth International Conference on Algebraic Methodology and Software Technology, Stirling, Scotland, (211-225). 12-16 July, 2004. doi:10.1007/b98770

  • Duke, Roger, Miller, Tim and Strooper, Paul (2004). Integrating formal specification and software verification and validation. In: R. Boute and C. Dean, Teaching Formal Methods: Proceedings of the CoLogNET/FME Symposium, TFM 2004. CoLogNET/FME Symposium on Teaching Formal Methods, Ghent, Belgium, (124-139). 18-19 November, 2004. doi:10.1007/b102075

  • Long, B. J., Duke, R. W., Goldson, D. W., Strooper, P. A. and Wildman, L. P. (2004). Mutation-based exploration of a method for verifying concurrent Java components. In: B. Monien, Proceedings of the Eighteenth International Parallel and Distributed Processing Symposium (IPDPS 2004). The Eighteenth International Parallel and Distributed Processing Symposium (IPDPS 2004), Santa Fe, New Mexico, (265-1-265-8). 26-30 April 2004. doi:10.1109/IPDPS.2004.1303338

  • Shukla, Rakesh, Carrington, David and Strooper, Paul (2004). Systematic Operational Profile Development for Software Components. In: D. Bae and W. Chu, Proceedings of the Asia-Pacific Software Engineering Conference. 11th Asia-Pacific Software Engineering Conference, Busan, Korea, (528-537). 30 November - 3 December, 2004. doi:10.1109/APSEC.2004.95

  • Wildman, L. P., Long, B. J. and Strooper, P. A. (2004). Testing java interrupts and timed waits. In: D. Bae and W. Chu, Proceedings of the Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004). The Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004), Busan, Korea, (438-447). 30 November-3 December 2004. doi:10.1109/APSEC.2004.97

  • Wildman, Luke, Duke, Roger and Strooper, Paul (2004). Viewpoint-based testing of concurrent components. In: E. Boiten, J. Derrick and G. Smith, Lecture Notes in Computer Science: Proceedings of the Fourth International Conference on Integrated Formal Methods. The Fourth International Conference on Integrated Formal Methods, Canterbury, UK, (501-520). 4-7 April, 2004. doi:10.1007/b96106

  • Long, B. J. and Strooper, P. A. (2003). A classification of concurrency failures in java components. In: M. Charpentier and B. Sanders, Proceedings of the International Parallel and Distributed Processing Symposium 2003. International Parallel and Distributed Processing Symposium 2003, Nice, France, (287-294). 22-26 April 2003. doi:10.1109/IPDPS.2003.1213512

  • Carter, S., Graham, M. L., Strooper, P. A. and Yuan, Z. (2003). Mutation analysis to verify feature matrices for isolating errors in simulation models. In: Michael J. Oudshoorn, Proceedings of the Twenty-Sixth Australasian Computer Science Conference (ACSC2003). Computer Science 2003: Twenty-Sixth Australasian Computer Science Conference, Adelaide, SA, Australia, (29-34). 4-7 February 2003.

  • Colvin, Robert, Hayes, Ian J., Hemer, David G. and Strooper, Paul A. (2003). Refinement of higher-order logic programs. In: M. Leuschel, Lecture Notes in Computer Science. Logic Based Program Synthesis and Transformation. Proceedings of the Twelfth International Workshop. The Twelfth International Symposium on Logic-based Program Synthesis and Transformation, Madrid, Spain, (126-143). 17-20 September 2002. doi:10.1007/3-540-45013-0_11

  • Miller, T. and Strooper, P. A. (2003). Supporting the software testing process through specification animation. In: A. Cerone and P. Lindsay, Proceedings of the First International Conference on Software Engineering and Formal Methods. First International Conference on Software Engineering and Formal Methods, Brisbane, Australia, (14-23). 25-26 September 2003. doi:10.1109/SEFM.2003.1236203

  • Strooper, P. A., Carrington, D. A., Newby, S. and Stevenson, T. (2003). Teaching software engineering fundamentals to practicing engineers. In: P. Knoke, A. Moreno and M. Ryan, Proceedings of the 16th Conference on Software Engineering Education and Training. The 16th Conference on Software Engineering Education and Training (CSEE&T 2003), Madrid, Spain, (36-43). 20-22 March 2003. doi:10.1109/CSEE.2003.1191348

  • Hoffman, D., Prabhakar, D. and Strooper, P. A. (2003). Testing iptables. In: D. Stewart, Meeting Minds: CASCON 2003. CASCON 2003, Toronto, Canada, (310-321). 6-9 October, 2003.

  • McDonald, J., Strooper, P. A. and Hoffman, D. (2003). Tool support for generating passive C++ test oracles from object-z specifications. In: P. Muenchaisri and D. Bae, Proceedings of the Tenth Asia-Pacific Software Engineering Conference. The Tenth Asia-Pacific Software Engineering Conference, Chiang Mai, Thailand, (322-331). 10-12 December 2003. doi:10.1109/APSEC.2003.1254386

  • Voelzer, H. P., Atchison, B., Lindsay, P. A., Macdonald, A. J. and Strooper, P. A. (2002). A tool for subsystem configuration management. In: International Conference on Sotware Maintenance. ICSM 2002, Montreal, Canada, (492-500). 3-6 October, 2002. doi:10.1109/ICSM.2002.1167810

  • Hemer, David, Colvin, Robert, Hayes, Ian and Strooper, Paul (2002). Don't care non-determinism in logic program refinement. In: James Harland, Electronic Notes in Theoretical Computer Science: Proceedings of the Australasian Theory Symposium. CATS'02, Computing: the Australasian Theory Symposium, Amsterdam, Denmark, (101-121). 28 January - 1 February 2002. doi:10.1016/S1571-0661(04)00308-1

  • Miller, T. and Strooper, P. A. (2002). Model-based specification animation using testgraphs. In: C. George and H. Miao, Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods. 4th International Conference on Formal Engineering Methods, Shanghai, China, (192-203). 21-25 October, 2002.

  • Murray, L. M., Griffiths, A. and Strooper, P. A. (2002). Optonet: A case study in using rigorous analysis techniques to justify a revised product assurance strategy. In: S. Liu, Proceedings of the Eighth IEEE International Conference on Engineering of Complex Computer Systems. International Conference on Engineering of Complex Computer Systems, Greenbelt, USA, (232-237). 2-4 December, 2002. doi:10.1109/ICECCS.2002.1181516

  • Murray, L. M., Griffiths, A., Lindsay, P. A. and Strooper, P. A. (2002). Requirements traceability for embedded software - an industry experience report. In: M.H. Hamza, Proceedings of the Sixth IASTED International Conference. Software Engineering and Applications, Cambridge, USA, (63-69). 4-6 November, 2002.

  • Colvin, R., Hayes, I. J., Hemer, D. G. and Strooper, P. A. (2002). Translating refined logic programs to Mercury. In: M. Oudshoorn, Proceedings of the Twenty-Fifth Australasian Computer Science Conference - Computer Science 2002. ACSC 2002, Melbourne, Australia, (33-40). 28 January - 1 February, 2002.

  • Long, B. and Strooper, P. A. (2001). A case study in testing distributed systems. In: G. Blair, D. Schmidt and Z. Tari, Proceedings of the Third International Symposium on Distributed Objects and Applications. Third International Symposium on Distributed Objects and Applications, Rome, Italy, (20-30). 17-20 September, 2001.

  • Long, B., Hoffman, D. and Strooper, P. A. (2001). A concurrency test tool for java monitors. In: D. Richardson, M. Feather and M. Goedicke, Proceedings of the Sixteenth International Conference on Automated Software Engineering. Sixteenth International Conference on Automated Software Engineering, Coronado Island, California, (421-425). 26-29 November, 2001.

  • Colvin, Robert, Hayes, Ian and Strooper, Paul (2001). A technique for modular logic program refinement. In: K. Lau, Lecture Notes in Computer Science: Proceedings of the Tenth International Workshop on Logic Based Program Synthesis and Transformation. Tenth International Workshop on Logic-Based Program Synthesis and Transformation, London, England, (38-56). 24-28 July, 2001. doi:10.1007/3-540-45142-0_3

  • Miller, T. and Strooper, P. A. (2001). Animation can show only the presence of errors, never their absence. In: D. Grant and L. Sterling, Proceedings of the 2001 Australian Software Engineering Conference. 2001 Australian Software Engineering Conference, Canberra, (76-85). 27-28 August, 2001.

  • Miller, T. and Strooper, P. A. (2001). Combining the animation and testing of abstract data types. In: Y.T. Yu and T.Y. Chen, Proceedings of the Second Asia-Pacific Conference on Quality Software. Second Asia-Pacific Conference on Quality Software, Hong Kong, (249-258). 10-11 December, 2001.

  • Mc Donald, J., Murray, L., Lindsay, P. A. and Strooper, P. A. (2001). Module testing embedded software - an industrial pilot project. In: S. Andler, M. Hinchey and J. Offutt, Proceedings of the 7th IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2001, Skovde, Sweden, (233-238). 11-13 June 2001.

  • Hunter, C. and Strooper, P. A. (2001). Systematically deriving partial oracles for testing concurrent programs. In: M. Oudshoorn, Proceedings of the Twenty-Fourth Australasian Computer Science Conference. Twenty-Fourth Australasian Computer Science Conference, Gold Coast, (83-91). 29 January-2 February, 2001. doi:10.1109/ACSC.2001.906627

  • Harvey, C. and Strooper, P. A. (2001). Testing java monitors through deterministic execution. In: D. Grant and L. Sterling, Proceedings of the 2001 Australian Software Engineering Conference. 2001 Australian Software Engineering Conference, Canberra, (61-67). 27-28 August, 2001.

  • Lermer, K. and Strooper, P. A. (2000). A single complete refinement rule for demonic specifications. In: J. van Leeuwen, O. Watanabe, M. Hagiya and P. D. Mosses, International Conference IFIP TCS2000. International Conference IFIP TCS2000, Sendai, Japan, (564-579). 17-19 August 2000.

  • Hoffman, D. and Strooper, P. A. (2000). Prose + test cases = Specifications. In: Q Li, D Firesmith, R Riehle, G Pour and B Meyer, Proceedings 34th International Conference on Technology of Object-Oriented Languages and Systems: TOOLS 34. TOOLS 34, Santa Barbara, (239-250). 30 July - 4 August 2000.

  • Colvin, Robert, Hayes, Ian J. and Strooper, Paul A. (2000). Refining logic programs using types. In: Jenny Edwards, Proceedings 23rd Australasian Computer Science Conference: ACSC 2000. ACSC 2000, Canberra, ACT, Australia, (43-50). 31 January - 3 February, 2000. doi:10.1109/ACSC.2000.824379

  • Hoffman, D. and Strooper, P. A. (2000). Tools and techniques for Java API testing. In: D. Grant, Australian Software Engineering Conference: ASWEC'2000. ASWEC'2000, Canberra, (235-245). 28-29 April 2000.

  • Murray, L., Carrington, D. A., Maccoll, I. D. and Strooper, P. A. (1999). TinMan - a test derivation and management tool for specification-based class testing. In: C. Mingins and B. Meyer, Technology of Object-Oriented Languages and Systems: TOOLS 32. Technology of Object-Oriented Languages and Systems TOOLS 32, Melbourne, (222-233). 22-25 Nov, 1999.

  • Colvin, R., Hayes, I. J. and Strooper, P. (1998). Data refining logic programs. In: Jim Grundy, Martin Schwenke and Trevor Vickers, Proceedings of IRW/FMP. International Refinement Workshop and Formal Methods Pacific '98, Canberra, Australia, (100-116). 29 September - 2 October, 1998.

  • Murray, Leesa, Carrington, David, MacColl, Ian, McDonald, Jason and Strooper, Paul (1998). Formal derivation of finite state machines for class testing. In: Jonathan P. Bowen and Michael G. Hinchey, Proceedings of the 11th International Conference of Z Users. ZUM '98, the Z formal specification notification : 11th International Conference of Z Users, Berlin, Germany, (42-59). 24-26 September, 1998. doi:10.1007/BFb0056024

  • Colvin, R., Hayes, I., Nickson, R. and Strooper, P. (1997). A tool for logic program refinement (Extended abstract). In: Formal Methods Pacific Conference 1997. Formal Methods Pacific Conference (FMP 97), Wellington New Zealand, (289-290). 9-11 July 1997.

  • Hayes, I. J., Nickson, R. G. and Strooper, P. A. (1996). Refining specifications to logic programs. In: Lecture Notes in Computer Science: Logic Program Synthesis and Transformation. Logic Program Synthesis and Transformation 6th International Workshop, LOPSTR'96, Stockholm, Sweden, (1-19). August 28–30, 1996. doi:10.1007/3-540-62718-9_1

Edited Outputs

Other Outputs

  • Murray, Leesa, Carrington, David, MacColl, Ian, McDonald, Jason and Strooper, Paul (1998) Formal derivation of finite state machines for class testing St Lucia, QLD, Australia: Software Verification Research Centre, School of Information Technology, The University of Queensland

Grants (Administered at UQ)

PhD and MPhil Supervision

Current Supervision

  • Doctor Philosophy — Principal Advisor

    Other advisors:

  • Doctor Philosophy — Principal Advisor

Completed Supervision