Professor Paul Strooper
Emeritus Professor
School of Electrical Engineering & Computer Science

Publications
Book Chapters
Süß, Jörn Guy, Robinson, Neil, Carrington, David and Strooper, Paul (2013). Miνθα: a framework for auto-programming and testing of railway controllers for varying clients. Software design and development: concepts, methodologies, tools, and applications. (pp. 1119-1141) Hershey, PA, United States: IGI Global. doi: 10.4018/978-1-4666-4301-7.ch055
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. Railway safety, reliability, and security: technologies and systems engineering. (pp. 175-197) edited by Francesco Flammini. 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. Program Development in Computational Logic. (pp. 66-89) edited by Maurice Bruynooghe and Kunk-Kiu Lau. Berlin: Springer Verlag. doi: 10.1007/978-3-540-25951-0_3
Journal Articles
Strooper, Paul and Zhu, Liming (2015). Message from the invited speakers co-chairs ASWEC 2015. Proceedings - 2015 24th Australasian Software Engineering Conference, ASWEC 2015.
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
Hakimi Pour, Niusha, Strooper, Paul and Wellings, Andy (2011). A model-based development approach for the verification of real-time Java code. Concurrency and Computation: Practice and Experience, 23 (13), 1583-1606. doi: 10.1002/cpe.1728
Hoffman, Daniel Malcolm, Ly-Gagnon, David, Strooper, Paul and Wang, Hong-Yi (2011). Grammar-based test generation with YouGen. Software: Practice and Experience, 41 (4), 427-447. doi: 10.1002/spe.1017
Carrington, David, Kim, Soon-Kyeong and Strooper, Paul (2010). An experience report on using collaboration technologies for distance and on-campus learning. Conferences in Research and Practice in Information Technology Series, 103, 45-51.
Jeffery, Ross and Strooper, Paul (2010). Message from the general chairs: APSEC 2010. Proceedings - Asia-Pacific Software Engineering Conference, APSEC 5693227 doi: 10.1109/APSEC.2010.5
Strooper, Paul and Carrington, David (2009). Message from the general chairs ASWEC 2009. Proceedings of the Australian Software Engineering Conference, ASWEC 5076608 doi: 10.1109/ASWEC.2009.4
Colvin, Robert, Hayes, Ian J. and Strooper, Paul A. (2008). Calculating modules in contextual logic program refinement. Theory and Practice of Logic Programming, 8 (1), 1-31. doi: 10.1017/S1471068407003043
Strooper, Paul and Meinicke, Larissa (2007). Evaluation of a new assesment scheme for a third-year concurrency course. Conferences in Research and Practice in Information Technology Series, 66, 147-154.
Shukla, Rakesh, Strooper, Paul and Carrington, David (2007). A framework for statistical testing of software components. International Journal of Software Engineering And Knowledge Engineering, 17 (3), 379-405. doi: 10.1142/S021819400700329X
van den Berg, Lionel, Strooper, Paul and Johnston, Wendy (2007). An Automated Approach for the Interpretation of Counter-Examples. Electronic Notes in Theoretical Computer Science, 174 (4), 19-35. doi: 10.1016/j.entcs.2006.12.027
Long, Brad, Strooper, Paul and Wildman, Luke (2007). A method for verifying concurrent Java components based on an analysis of concurrency failures. Concurrency and Computation, 19 (3), 281-294. doi: 10.1002/cpe.1063
Wojcicki, M.A. and Strooper, P.A (2007). Maximising the information gained from a study of static analysis technologies for concurrent software. Empirical Software Engineering, 12 (6), 617-645. doi: 10.1007/s10664-007-9044-6
Carrington, David, Strooper, Paul, Newby, Sharron and Stevenson, Terry (2005). An industry/university collaboration to upgrade software engineering knowledge and skills in industry. Journal of Systems And Software, 75 (1-2), 29-39. doi: 10.1016/j.jss.2004.02.020
Hoffman, D, Strooper, P and Wilkin, S (2005). Tool support for executable documentation of Java class hierarchies. Software Testing Verification & Reliability, 15 (4), 235-256. doi: 10.1002/stvr.324
Hunter, Chris, Robinson, Peter and Strooper, Paul (2004). Flexible proof reuse for software verification. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3116, 211-225. doi: 10.1007/978-3-540-27815-3_19
Volzer, H., MacDonald, A., Atchison, B., Hanlon, A., Lindsay, P. and Strooper, P. (2004). SubCM: A tool for improved visibility of software change in an industrial setting. Ieee Transactions On Software Engineering, 30 (10), 675-693. doi: 10.1109/TSE.2004.67
Shukla, Rakesh, Strooper, Paul and Carrington, David (2004). A framework for reliability assessment of software components. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3054, 272-279. doi: 10.1007/978-3-540-24774-6_24
Hoffman, Daniel and Strooper, Paul (2003). API documentation with executable examples. Journal of Systems And Software, 66 (2), 143-156. doi: 10.1016/S0164-1212(02)00055-9
Miller, T. and Strooper, P. (2003). A framework and tool support for the systematic testing of model-based specifications. Acm Transactions On Software Engineering And Methodology, 12 (4), 409-439. doi: 10.1145/990010.990012
Long, B., Hoffman, D. and Strooper, P. (2003). Tool support for testing concurrent Java components. Ieee Transactions On Software Engineering, 29 (6), 555-566. doi: 10.1109/TSE.2003.1205182
Daley, N., Hoffman, D. and Strooper, P. (2002). A framework for table driven testing of Java classes. Software: Practice & Experience, 32 (5), 465-493. doi: 10.1002/spe.452
Hayes, Ian, Colvin, Robert, Hemer, David, Strooper, Paul and Nickson, Ray (2002). A refinement calculus for logic programs. Theory And Practice of Logic Programming, 2 (Part 4-5), 425-460. doi: 10.1017/S1471068402001448
Lermer, Karl and Strooper, Paul (2001). Refinement and state machine abstraction. Theoretical Computer Science, 266 (1-2), 195-235. doi: 10.1016/S0304-3975(00)00169-9
Carrington, David, MacColl, Ian, McDonald, Jason, Murray, Leesa and Strooper, Paul (2000). From Object-Z specifications to classbench test suites. Journal of Software Testing, Verification and Reliability, 10 (2), 111-137. doi: 10.1002/1099-1689(200006)10:2<111::AID-STVR204>3.0.CO;2-P
Strooper, P. A. (1999). Book Review: Software fault injection: Inoculating programs against errors. Computing Reviews, 40 (2), 109-110.
Strooper, P. A. (1999). Paper Review: From formal models to formally based methods: an industrial experience. Computing Reviews, 40 (6), 298.
Hoffman, D., Strooper, P. A. and White, L. (1999). Boundary values and automated testing. Journal on Software Testing, Verification and Reliability, 9 (1), 3-26. doi: 10.1002/(SICI)1099-1689(199903)9:1<3::AID-STVR169>3.0.CO;2-Z
Hoffman, D and Strooper, P (1997). ClassBench: A framework for automated class testing. Software-Practice & Experience, 27 (5), 573-597. doi: 10.1002/(SICI)1097-024X(199705)27:5<573::AID-SPE98>3.0.CO;2-3
Hoffman, Daniel and Strooper, Paul (1995). Testgraph methodology: automated testing of collection classes. JOOP - Journal of Object-Oriented Programming, 8 (7), 35-41.
Strooper P.A., Stylianou M. and Tabarrok B. (1995). CLP(ℛ) as a general finite element model definition language. International Journal for Numerical Methods in Engineering, 38 (18), 3055-3070. doi: 10.1002/nme.1620381804
Hoffman, Daniel and Strooper, Paul (1994). Graph-based class testing. Australian Computer Journal, 26 (4), 158-163.
Strooper, P. A. and van Emden, M. H. (1993). Describing symmetrical structures in logic. Annals of Mathematics and Artificial Intelligence, 8 (3-4), 301-314. doi: 10.1007/BF01530795
HOFFMAN, DM and STROOPER, P (1991). AUTOMATED MODULE TESTING IN PROLOG. Ieee Transactions On Software Engineering, 17 (9), 934-943. doi: 10.1109/32.92913
Char, Bruce W., Macnaughton, Alan R. and Strooper, Paul A. (1989). Discovering inequality conditions in the analytic solution of optimization problems. Journal of Automated Reasoning, 5 (3), 339-362. doi: 10.1007/BF00248323
Conference Papers
Yasin, Suhaila M., Strooper, Paul A. and Steel, Jim R. H. (2017). A pseudo-genetic algorithm for optimising test cases. International MultiConference of Engineers and Computer Scientists 2017, Hong Kong, 15-17 March 2017. Hong Kong: Newswood.
Yasin, Suhaila M., Strooper, Paul A. and Steel,Jim R. H. (2017). A pseudo-genetic algorithm for optimising test cases. International MultiConference of Engineers and Computer Scientists 2017, Hong Kong, Hong Kong, 15 - 17 March 2017. Hong Kong, Hong Kong: Newswood.
Lindsay, Peter A., Kromodimoeljo, Sentot, Strooper, Paul A. and Almorsy, Mohamed (2015). Automation of test case generation from behavior tree requirements models. Australasian Software Engineering Conference (ASWEC), Adelaide, SA, Australia, 28 September-1 October 2015. Piscataway, NJ, United States: IEEE. doi: 10.1109/ASWEC.2015.23
Hakimipour, Niusha and Strooper, Paul (2012). Exploring an approach to model-based testing from behavior trees. APSECW 2012: 19th Asia-Pacific Engineering Conference: International Workshop on Software Analysis, Testing and Applications: SATA 2012, Hong Kong, 4-7 December 2012. Los Alamitos, CA, United States: IEEE Computer Society. 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. 11th International Conference on Web Engineering (ICWE 2011), Paphos, Cyprus, 20-21 June 2011. Heidelberg, Germany: Springer. 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. 18th Asia Pacific Software Engineering Conference (APSEC), Ho Chi Minh City, Vietnam, 5-8 December 2011. Piscataway NJ, United States: IEEE. 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. 18th Asia Pacific Software Engineering Conference (APSEC 2011), Ho Chi Minh City, Vietnam, 5- 8 December 2011. Piscataway, NJ, United States: IEEE. doi: 10.1109/APSEC.2011.61
Hoffman, Daniel, Wang, Hong-Yi, Chang, Mitch, Ly-Gagnon, David, Sobotkiewicz, Lewis and Strooper, Paul (2010). Two case studies in grammar-based test generation. New York, NY, United States: Elsevier. doi: 10.1016/j.jss.2010.07.048
Nguyen, Duc Hoai, Strooper, Paul and Süß, Jörn Guy (2010). Automated functionality testing through GUIs. ACSW 2010: The Thirty-Third Australasian Computer Science Conference, Brisbane, QLD, Australia, 18-22 January 2010. Sydney, NSW, Australia: Australian Computer Society.
Hakimipour, Niusha, Strooper, Paul and Wellings, Andy (2010). TART: Timed-automata to real-time Java tool. Software Engineering and Formal Methods (SEFM 2010), Pisa, Italy, 13-18 September 2010. United States: IEEE Computer Society Press. doi: 10.1109/SEFM.2010.39
Carrington, David, Kim, Soon-Kyeong and Strooper, Paul (2010). An experience report on using collaboration technologies for distance and on-campus learning. Twelfth Australasian Computing Education Conference (ACE 2010), Brisbane, Qld, Australia, 18 - 22 January, 2010. Darlinghurst, NSW, Australia: Australian Computer Society, Inc..
Nguyen, Duc Hoai, Strooper, Paul and Suess, Jorn Guy (2010). Model-based testing of multiple GUI variants using GUI test generator. 5th International Workshop on Automation of Software Test (AST 2010), Cape Town, South Africa, 3-4 May 2010. New York, United States: ACM Press. doi: 10.1145/1808266.1808270
Hoffman, Daniel, Sobotkiewicz, Lewis, Wang, Hong-Yi, Strooper, Paul, Bazdell, Gary and Stevens, Brett (2009). Test generation with context free grammars and covering arrays. TAIC PART, Testing: Academic & Industrial Conference - Practice and Research Techniques, Windsor, United Kingdom, 4-6 September 2009. USA: IEEE Computer Society. doi: 10.1109/TAICPART.2009.35
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. 2009 31st International Conference on Software Engineering, ICSE 2009, Vancouver, Canada, 16-24 May 2009. Piscataway, NJ, United States: IEEE. 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. 16th Asia-Pacific Software Engineering Conference, APSEC 2009, Penang, Malaysia, 1-3 December 2009. Piscataway NJ, USA: IEEE Computer Society. doi: 10.1109/APSEC.2009.33
Hakimipour, Niusha, Strooper, Paul and Duke, Roger (2008). Exploring model-based development for the verification of real-time Java code. VERIFY'08: 5th International Verification Workshop, in connection with IJCAR 2008: The 4th International Joint Conference on Automated Reasoning, Sydney, NSW, Australia, 10-15 August, 2008. Aachen, Germany: Lehrstuhl Informatik V, Rheinisch-Westfaelische Technische Hochschule Aachen.
van den Berg, L., Strooper, P. and Winter, K. (2008). Introducing time in an industrial application of model-checking. 12th International Workshop on Formal Methods for Industrial Critical Systems, Berlin, Germany, 1-2 July, 2008. Berlin, Germany: Springer Verlag. 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. International Conference on Software Process, ICSP 2008, Leipzig, Germany, 10-11 May, 2008. Berlin: Springer. 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. 4th European Conference on Model Driven Architecture - Foundation and applications, ECMDA-FA 2008, Berlin, Germany, 9-13 June 2007. Berlin, Germany: Springer. doi: 10.1007/978-3-540-69100-6_24
Mealy, Erica, Carrington, David, Strooper, Paul and Wyeth, Peta (2007). Improving usability of software refactoring tools. 18th Australian Conference on Software Engineering (ASWEC 2007), Melbourne, Australia, 10-13 April 2007. Los Alamitos, CA, U.S.A.: IEEE - Computer Society. doi: 10.1109/ASWEC.2007.24
Strooper, P. A. and Meinicke, L. (2007). Evaluation of a new assessment scheme for a third-year concurrency course. Ninth Australiasian Computing Education Conference (ACE 2007), Ballarat, Victoria, Australia, 30 January - 2 February, 2007. New South Wales, Australia: Australian Computer Society, Inc..
Javed, A. Z., Strooper, P. A. and Watson, G. N. (2007). Automated generation of test cases using model-driven architecture. Second International Workshop on Automation of SoftwareTest 2007 (AST '07), Minnesota, U.S.A., 20-26 May 2007. Los Alamitos, CA, U..SA.: IEEE - Computer Society. doi: 10.1109/AST.2007.2
Wojcicki, M. and Strooper, P. A. (2007). An iterative empirical strategy for the systematic selection of a combination of verification and validation technologies. Fifth International Workshop on Software Quality (WoSQ 2007), Minnesota, U.S.A., 20-26 May 2007. Los Alamitos, CA, U.S.A.: IEEE - Computer Society. doi: 10.1109/WOSQ.2007.4
van den Berg, Lionel, Strooper, Paul and Johnston, Wendy (2007). An automated approach to the interpretation of counter-examples. Workshop on Verification and Debugging (V&D 2006), Seattle, WA, United States, 21 August 2006. Amsterdam, Netherlands: Elsevier. doi: 10.1016/j.entcs.2006.12.027
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. 18th Australian Conference on Software Engineeing (ASWEC '07), Melbourne, Australia, 10-13 April 2007. Los Alamitos, CA, U.S.A.: IEEE - Computer Society. doi: 10.1109/ASWEC.2007.16
Strooper, P. A. and Wojcicki, M. (2007). Selecting V&V technology combinations: How to pick a winner?. 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), Auckland, New Zealand, 11-14 July 2007. Los Alamitos, CA, U.S.A.: IEEE - Computer Society. doi: 10.1109/ICECCS.2007.40
Strooper, Paul and Wildman, Luke (2007). Testing concurrent Java components. 29th International Conference on Software Engineering (ICSE 2007), Minneapolis Mn, May 20-26, 2007. LOS ALAMITOS: IEEE COMPUTER SOC. doi: 10.1109/ICSECOMPANION.2007.74
Strooper, Paul and Wildman, Luke (2006). Testing concurrent java components. New York, NY, USA: IEEE Computer Society. doi: 10.1145/1134285.1134513
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. International Symposium on Empirical Software Engineering 2006 (ISESE'06), Rio de Janeiro, Brazil, 21-22 September 2006. New York, U.S.A.: ACM Press. doi: 10.1145/1159733.1159761
Mealy, E and Strooper, P A (2006). Evaluating software refactoring tool support. 2006 Australian Sottware Engineering Conference (ASWEC 2006), Sydney, Australia, 18-21 April, 2006. California, USA: IEEE Computer Society. doi: 10.1109/ASWEC.2006.26
Wojcicki, M. A. and Strooper, P A (2006). A state-of-practice questionnaire on verification and validation for concurrent programs. Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD-IV) 2006, Maine, U.S.A., 17 July, 2006. New York, USA: ACM Press. doi: 10.1145/1147403.1147405
Cahill, Brent, Carrington, David, Song, Brian and Strooper, Paul (2006). An industry-based evaluation of process modeling techniques. EuroSPI 2006: 13th European Conference on Software Process Improvement, Joensuu, Finland, 11-13 October 2006. Berlin, Germany: Springer-Verlag. doi: 10.1007/11908562_11
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. Formal Methods 2006: 14th International Symposium on Formal Methods (FM 2006). Formal Methods for Security and Trust in Industrial Applications, Hamilton, ON, Canada, 21-27 August 2006. Heidelberg, Germany: Springer Verlag. doi: 10.1007/11813040_35
Hunter, Chris, Robinson, Peter J. and Strooper, Paul A. (2005). Agent-based distributed software verification. Twenty Eighth Australasian Computer Science Conference (ACSC 2005), Newcastle, NSW, 30 January - 2 February, 2005. Sydney, N.S.W.: Australian Computer Society.
Shukla, Rakesh, Carrington, David and Strooper, Paul (2005). A Passive Test Oracle Using a Component's API. 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei, Taiwan, 15-17 December, 2005. Los Alamitos, California: IEEE. doi: 10.1109/APSEC.2005.13
Wildman, Luke, Long, Brad and Strooper, Paul (2005). Dealing with non-determinism in testing concurrent java components. 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei, Taiwan, 15-17 December 2005. Los Alamitos, California, U.S.A.: IEEE. doi: 10.1109/APSEC.2005.58
Winter, K., Johnston, W. R., Robinson, P. J., Strooper, P. A. and Van Den Berg, L. (2005). Tool support for checking railway interlocking designs. 10th australian Workshop on Safety Related Programmable Systems (SCS'05), Sydney, Australia, 25 -26 August 2005. Sydney, Australia: Australian Computer Society Inc.
Hemer, D., Long, G. D. and Strooper, P. A. (2005). Plug-in proof support for formal development environments. Computing: The Australasian Theory Symposium (CATS2005), Newcastle, NSW, 30 January - 2 February, 2005. South Australia: Australian Computer Society Inc.
Shukla, R. Y., Strooper, P. A. and Carrington, D. A. (2005). Tool support for statistical testing of software components. 12th Asia-Pacific Software Engineering Conference 2005 (APSEC '05), Taipei, Taiwan, 15-17 December 2005. Los Alamitos, CA, U.S.A.: IEEE. doi: 10.1109/APSEC.2005.105
Long, Brad, Duke, Roger, Goldson, Doug, Strooper, Paul and Wildman, Luke (2004). Mutation-based exploration of a method for verifying concurrent Java components. International Parallel and Distributed Processing Symposium, IPDPS 2004, Santa Fe, NM United States, 26-30 April 2004. Piscataway, NJ United States: Institute of Electrical and Electronics Engineers.
Duke, Roger, Miller, Tim and Strooper, Paul (2004). Integrating formal specification and software verification and validation. CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, 18-19 November 2004. Heidelberg, Germany: Springer. doi: 10.1007/978-3-540-30472-2_8
Wildman, Luke, Duke, Roger and Strooper, Paul (2004). Viewpoint-based testing of concurrent components. The Fourth International Conference on Integrated Formal Methods, Canterbury, UK, 4-7 April, 2004. Berlin: Springer-Verlag. doi: 10.1007/978-3-540-24756-2_27
Shukla, Rakesh, Strooper, Paul and Carrington, David (2004). A framework for reliability assessment of software components. 7th International Symposium on Component-Based Software Engineering (CBSE 2004), Edinburgh, U.K., 24-25 May 2004. Berlin, Germany: Springer-Verlag. doi: 10.1007/b97813
Hunter, Chris, Robinson, Peter and Strooper, Paul (2004). Flexible proof reuse for software verification. The Tenth International Conference on Algebraic Methodology and Software Technology, Stirling, Scotland, 12-16 July, 2004. Berlin: Springer-Verlag. doi: 10.1007/b98770
Duke, Roger, Miller, Tim and Strooper, Paul (2004). Integrating formal specification and software verification and validation. CoLogNET/FME Symposium on Teaching Formal Methods, Ghent, Belgium, 18-19 November, 2004. Berlin: Springer-Verlag. doi: 10.1007/b102075
Shukla, Rakesh, Carrington, David and Strooper, Paul (2004). Systematic Operational Profile Development for Software Components. 11th Asia-Pacific Software Engineering Conference, Busan, Korea, 30 November - 3 December, 2004. Los Alamitos, California: The Institute of Electrical and Electronics Engineers Computer Society. doi: 10.1109/APSEC.2004.95
Murray, L. M., Carrington, D. A. and Strooper, P. A. (2004). An approach to specifying software frameworks. The Twenty-Seventh Australasian Computer Science Conference (ACSC 2004), Dunedin, New Zealand, 18-22 January 2004. Sydney, Australia: Australian Computer Society.
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. The Eighteenth International Parallel and Distributed Processing Symposium (IPDPS 2004), Santa Fe, New Mexico, 26-30 April 2004. Los Alamitos, California, U.S.A.: The IEEE Computer Society. doi: 10.1109/IPDPS.2004.1303338
Wildman, L. P., Long, B. J. and Strooper, P. A. (2004). Testing java interrupts and timed waits. The Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004), Busan, Korea, 30 November-3 December 2004. Los Alamitos, California, U.S.A.: IEEE Computer Society. doi: 10.1109/APSEC.2004.97
Miller, T. and Strooper, P. A. (2004). A case study in specification and implementation testing. The Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004), Busan, Korea, 30 November-3 December 2004. Los Alamitos, California, U.S.A.: IEEE Computer Society. doi: 10.1109/APSEC.2004.1
Strooper, P. A., Carrington, D. A., Newby, S. and Stevenson, T. (2003). Teaching software engineering fundamentals to practicing engineers. The 16th Conference on Software Engineering Education and Training (CSEE&T 2003), Madrid, Spain, 20-22 March 2003. Los Alamitos, CA, U.S.A.: IEEE Computer Society. doi: 10.1109/CSEE.2003.1191348
Long, B. J. and Strooper, P. A. (2003). A classification of concurrency failures in java components. International Parallel and Distributed Processing Symposium 2003, Nice, France, 22-26 April 2003. Los Alamitos, CA, U.S.A.: IEEE Computer Society. doi: 10.1109/IPDPS.2003.1213512
Miller, T. and Strooper, P. A. (2003). Supporting the software testing process through specification animation. First International Conference on Software Engineering and Formal Methods, Brisbane, Australia, 25-26 September 2003. Los Alamitos, CA, U.S.A.: IEEE Computer Society. doi: 10.1109/SEFM.2003.1236203
Colvin, Robert, Hayes, Ian J., Hemer, David G. and Strooper, Paul A. (2003). Refinement of higher-order logic programs. The Twelfth International Symposium on Logic-based Program Synthesis and Transformation, Madrid, Spain, 17-20 September 2002. Berlin: Springer. doi: 10.1007/3-540-45013-0_11
Hoffman, D., Prabhakar, D. and Strooper, P. A. (2003). Testing iptables. CASCON 2003, Toronto, Canada, 6-9 October, 2003. Toronto, Canada: IBM Press.
Carter, S., Graham, M. L., Strooper, P. A. and Yuan, Z. (2003). Mutation analysis to verify feature matrices for isolating errors in simulation models. Computer Science 2003: Twenty-Sixth Australasian Computer Science Conference, Adelaide, SA, Australia, 4-7 February 2003. Sydney, Australia: Australian Computer Society Inc..
McDonald, J., Strooper, P. A. and Hoffman, D. (2003). Tool support for generating passive C++ test oracles from object-z specifications. The Tenth Asia-Pacific Software Engineering Conference, Chiang Mai, Thailand, 10-12 December 2003. Los Alamitos, CA, U.S.A.: IEEE Computer Society. doi: 10.1109/APSEC.2003.1254386
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. International Conference on Engineering of Complex Computer Systems, Greenbelt, USA, 2-4 December, 2002. Los Alamitos, USA: IEEE Computer Society. 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. Software Engineering and Applications, Cambridge, USA, 4-6 November, 2002. Anaheim, USA: ACTA Press.
Colvin, R., Hayes, I. J., Hemer, D. G. and Strooper, P. A. (2002). Translating refined logic programs to Mercury. ACSC 2002, Melbourne, Australia, 28 January - 1 February, 2002. Sydney, Australia: Australian Computer Society Inc..
Hemer, David, Colvin, Robert, Hayes, Ian and Strooper, Paul (2002). Don't care non-determinism in logic program refinement. CATS'02, Computing: the Australasian Theory Symposium, Amsterdam, Denmark, 28 January - 1 February 2002. Amsterdam ; New York: Elsevier Science. doi: 10.1016/S1571-0661(04)00308-1
Voelzer, H. P., Atchison, B., Lindsay, P. A., Macdonald, A. J. and Strooper, P. A. (2002). A tool for subsystem configuration management. ICSM 2002, Montreal, Canada, 3-6 October, 2002. Los Alamitos, USA: IEEE Computer Society. doi: 10.1109/ICSM.2002.1167810
Miller, T. and Strooper, P. A. (2002). Model-based specification animation using testgraphs. 4th International Conference on Formal Engineering Methods, Shanghai, China, 21-25 October, 2002. New York: Springer-Verlag. doi: 10.1007/3-540-36103-0_21
Hunter, C. and Strooper, P. A. (2001). Systematically deriving partial oracles for testing concurrent programs. Twenty-Fourth Australasian Computer Science Conference, Gold Coast, 29 January-2 February, 2001. Los Alamitos, California: IEEE Computer Society. doi: 10.1109/ACSC.2001.906627
Long, B., Hoffman, D. and Strooper, P. A. (2001). A concurrency test tool for java monitors. Sixteenth International Conference on Automated Software Engineering, Coronado Island, California, 26-29 November, 2001. Los Alamitos, California: IEEE Computer Society.
Miller, T. and Strooper, P. A. (2001). Combining the animation and testing of abstract data types. Second Asia-Pacific Conference on Quality Software, Hong Kong, 10-11 December, 2001. Los Alamitos, California: IEEE Computer Society. doi: 10.1109/APAQS.2001.990027
Long, B. and Strooper, P. A. (2001). A case study in testing distributed systems. Third International Symposium on Distributed Objects and Applications, Rome, Italy, 17-20 September, 2001. Los Alamitos, California: IEEE Computer Society.
Harvey, C. and Strooper, P. A. (2001). Testing java monitors through deterministic execution. 2001 Australian Software Engineering Conference, Canberra, 27-28 August, 2001. Los Alamitos, California: IEEE Computer Society.
Mc Donald, J., Murray, L., Lindsay, P. A. and Strooper, P. A. (2001). Module testing embedded software - an industrial pilot project. ICECCS 2001, Skovde, Sweden, 11-13 June 2001. Los Alamitos: IEEE Computer Society. doi: 10.1109/ICECCS.2001.930182
Colvin, Robert, Hayes, Ian and Strooper, Paul (2001). A technique for modular logic program refinement. Tenth International Workshop on Logic-Based Program Synthesis and Transformation, London, England, 24-28 July, 2001. Berlin: Springer-Verlag. doi: 10.1007/3-540-45142-0_3
Lindsay, Peter, MacDonald, Anthony, Staples, Mark and Strooper, Paul (2001). A framework for subsystem-based configuration management. Australian Software Engineering Conference, ASWEC 2001, Canberra, ACT, August 27, 2001-August 28, 2001. IEEE Computer Society. doi: 10.1109/ASWEC.2001.948521
Hemer, David, Hayes, Ian and Strooper, Paul (2001). Refinement calculus for logic programming in Isabelle/HOL. Springer Verlag.
Long, B. and Strooper, P. (2001). A case study in testing distributed systems. 3rd International Symposium on Distributed Objects and Applications, DOA 2001, Rome, Italy, 17-20 September 2001. Piscataway, NJ United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/DOA.2001.954068
Long, B, Hoffman, D and Strooper, P (2001). A concurrency test tool for Java monitors. 16th IEEE Annual International Conference on Automated Software Engineering (ASE 2001), San Diego, CA, United States, 26-29 November, 2001. Los Alamitos, CA, United States: IEEE. doi: 10.1109/ase.2001.989843
Harvey, Craig and Strooper, Paul (2001). Testing Java monitors through deterministic execution. IEEE Computer Society. doi: 10.1109/ASWEC.2001.948498
Miller, Tim and Strooper, Paul (2001). Animation can show only the presence of errors, never their absence. Australian Software Engineering Conference, ASWEC 2001, Canberra, ACT, Australia, 27-28 August 2001. Los Alamitos, CA, United States: IEEE Computer Society. doi: 10.1109/ASWEC.2001.948500
Colvin, Robert, Hayes, Ian J. and Strooper, Paul A. (2000). Refining logic programs using types. ACSC 2000, Canberra, ACT, Australia, 31 January - 3 February, 2000. Los Alamitos, CA, USA: IEEE Computer Society. doi: 10.1109/ACSC.2000.824379
Lermer, K. and Strooper, P. A. (2000). A single complete refinement rule for demonic specifications. International Conference IFIP TCS2000, Sendai, Japan, 17-19 August 2000. Berlin: Springer Verlag. doi: 10.1007/3-540-44929-9_39
Hoffman, D. and Strooper, P. A. (2000). Tools and techniques for Java API testing. ASWEC'2000, Canberra, 28-29 April 2000. Los Alamitos: IEEE Computer Society. doi: 10.1109/ASWEC.2000.844580
Hoffman, D. and Strooper, P. A. (2000). Prose + test cases = Specifications. TOOLS 34, Santa Barbara, 30 July - 4 August 2000. Los Alamitos: IEEE Computer Society. doi: 10.1109/TOOLS.2000.868975
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. Technology of Object-Oriented Languages and Systems TOOLS 32, Melbourne, 22-25 Nov, 1999. Los Alamitos, California: IEEE Computer Society. doi: 10.1109/TOOLS.1999.809428
Hoffman, Daniel, Nair, Jayakrishnan and Strooper, Paul (1998). Testing generic Ada packages with APE. 1998 Annual ACM SIGAda International Conference on Ada, SIGAda 1998, Washington, DC, November 8, 1998-November 12, 1998. New York, NY, USA: Association for Computing Machinery. doi: 10.1145/289524.289640
Colvin, R., Hayes, I. J. and Strooper, P. (1998). Data refining logic programs. International Refinement Workshop and Formal Methods Pacific '98, Canberra, Australia, 29 September - 2 October, 1998. New York: Springer -Verlag.
Murray, Leesa, Carrington, David, MacColl, Ian, McDonald, Jason and Strooper, Paul (1998). Formal derivation of finite state machines for class testing. ZUM '98, the Z formal specification notification : 11th International Conference of Z Users, Berlin, Germany, 24-26 September, 1998. London, UK: Springer-Verlag. doi: 10.1007/BFb0056024
McDonald J. and Strooper P. (1998). Testing inheritance hierarchies in the ClassBench framework. Proceedings of the 1998 Conference on Technology of Object-Oriented Languages, Melbourne, Aust, November 23, 1998-November 26, 1998. LOS ALAMITOS: IEEE COMPUTER SOC. doi: 10.1109/TOOLS.1998.750038
Maccoll, Ian, Murray, Leesa, Strooper, Paul and Carrington, David (1998). Specification-based class testing: A case study. 2nd International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, QLD, December 9, 1998-December 11, 1998. Institute of Electrical and Electronics Engineers Inc.. doi: 10.1109/ICFEM.1998.730586
Murray, Leesa, McDonald, Jason and Strooper, Paul (1998). Specification-based class testing with ClassBench. 1998 Asia Pacific Software Engineering Conference, APSEC 1998, Taipei, , December 2, 1998-December 4, 1998. Institute of Electrical and Electronics Engineers Inc.. doi: 10.1109/APSEC.1998.733618
McDonald, J. and Strooper, P. (1998). Translating Object-Z specifications to passive test oracles. 2nd International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, QLD, December 9, 1998-December 11, 1998. Institute of Electrical and Electronics Engineers Inc.. doi: 10.1109/ICFEM.1998.730580
Hazel, D., Strooper, P. and Traynor, O. (1998). Requirements engineering and verification using specification animation. 13th IEEE International Conference on Automated Software Engineering, ASE 1998, Honolulu, HI, October 13, 1998-October 16, 1998. Institute of Electrical and Electronics Engineers Inc.. doi: 10.1109/ASE.1998.732685
Murray, Leesa, Carrington, David, MacColl, Ian, McDonald, Jason and Strooper, Paul (1998). Formal derivation of finite state machines for class testing. 11th International Conference of Z Users on Z Formal Specification Notation, ZUM 1998, Berlin, , September 24, 1998-September 26, 1998. Springer Verlag. doi: 10.1007/978-3-540-49676-2_20
McDonald, Jason, Hoffman, Daniel and Strooper, Paul (1998). Programmatic testing of the Standard Template Library containers. 13th IEEE International Conference on Automated Software Engineering, ASE 1998, Honolulu, HI, October 13, 1998-October 16, 1998. Institute of Electrical and Electronics Engineers Inc.. doi: 10.1109/ASE.1998.732610
Colvin, R., Hayes, I., Nickson, R. and Strooper, P. (1997). A tool for logic program refinement (Extended abstract). Formal Methods Pacific Conference (FMP 97), Wellington New Zealand, 9-11 July 1997. Singapore: Springer-Verlag Singapore Pte..
McDonald, J, Murray, L and Strooper, P (1997). Translating Object-Z specifications to object-oriented test oracles. Asia-Pacific Software Engineering Conference / International Computer Science Conference (APSEC 97 / ICSC 97), Hong Kong Hong Kong, Dec 02-05, 1997. LOS ALAMITOS: IEEE COMPUTER SOC. doi: 10.1109/APSEC.1997.640198
Murray Leesa, Carrington David, MacColl Ian and Strooper Paul (1997). Extending test templates with inheritance. Proceedings of the 1997 Australian Software Engineering Conference, ASWEC'97, Sydney, Aust, September 29, 1997-October 2, 1997. LOS ALAMITOS: IEEE Comp Soc. doi: 10.1109/ASWEC.1997.623757
Hazel Daniel, Strooper Paul and Traynor Owen (1997). Possum: An animator for the SUM specification language. Proceedings of the 1997 Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC'97 and ICSC'97, Hong Kong, Hong Kong, December 2, 1997-December 5, 1997. LOS ALAMITOS: IEEE Comp Soc. doi: 10.1109/APSEC.1997.640160
Hayes, I. J., Nickson, R. G. and Strooper, P. A. (1996). Refining specifications to logic programs. Logic Program Synthesis and Transformation 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28–30, 1996. Berlin / Heidelberg: Spinger. doi: 10.1007/3-540-62718-9_1
Hoffman, Daniel and Strooper, Paul (1995). State abstraction and modular software development. New York, NY, USA: ACM. doi: 10.1145/222124.222139
Bakker Paul, Carrington David, Goodchild Andrew, Hayes Ian, Purchase Helen and Strooper Paul (1995). Communicating technologist: an educational challenge. Proceedings of the 1995 25th Annual Conference on Frontiers in Education. Part 1 (of 2), Atlanta, GA, USA, November 1, 1995-November 4, 1995. doi: 10.1109/fie.1995.483173
HOFFMAN, D and STROOPER, P (1994). GRAPH-BASED CLASS TESTING. 1993 Australian Software Engineering Conference, Sydney Australia, Sep 27-Oct 01, 1993. SYDNEY: AUSTRALIAN COMPUTER SOC INC.
Hoffman, D., Smillie, J. and Strooper, P. (1994). Automated class testing: Methods and experience. 1st Asia-Pacific Software Engineering Conference, APSEC 1994, Tokyo, , December 7, 1994-December 9, 1994. IEEE Computer Society. doi: 10.1109/APSEC.1994.465263
Strooper, P. A., Stylianou, M. and Tabarrok, B. (1992). Prolog for finite-element model definition. Publ by ASME.
Strooper, Paul and Hoffman, Daniel (1991). Prolog testing of C modules. Publ by MIT Press.
Research Report
Murray, Leesa, Carrington, David, MacColl, Ian, McDonald, Jason and Strooper, Paul (1998). Formal derivation of finite state machines for class testing. Technical Report 98-03 St Lucia, QLD, Australia: Software Verification Research Centre, School of Information Technology, The University of Queensland.
Department Technical Reports
Miller, Tim and Strooper, Paul (2002). A Framework for Systematic Specification Animation. Technical Report 02-35. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Miller, Tim and Strooper, Paul (2002). Model-Based Specification Animation Using Testgraphs. Technical Report 02-15. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Volzer, Hagen, Atchison, Brenton, Lindsay, Peter, MacDonald, Anthony and Strooper, Paul (2002). A Tool for Subsystem Configuration Management. Technical Report 02-07. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Hoffman, Daniel and Strooper, Paul (2001). API Documentation with Executable Examples. Technical Report 01-12. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Colvin, Robert, Hemer, David, Hayes, Ian and Strooper, Paul (2001). Translating Refined Logic Programs to Mercury. Technical Report no. 01-32. Software Verification Research Centre, School of Information Technology, The University Of Queensland.
Long, Brad and Strooper, Paul (2001). A Case Study in Testing Distributed Systems. Technical Report 01-10. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Miller, Tim and Strooper, Paul (2001). Combining the Animation and Testing of Abstract Data Types. Technical Report 01-17. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Long, Brad, Hoffman, Dan and Strooper, Paul (2001). Tool Support for Testing Java Monitors. Technical Report 01-21. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Hemer, D. G., Colvin, R., Hayes, I. J. and Strooper, P. A. (2001). Don't care non-determinism in logic program refinement. SRV Techical Report No. 01-27. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Lindsay, P. A., Macdonald, A. J., Staples, M. and Strooper, P. A. (2001). A framework for subsystem-based configuration management. SVRC Tech Report 01-05. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Hayes, Ian, Nickson, Ray, Strooper, Paul and Colvin, Robert (2000). A Declarative Semantics for Logic Program Refinement. Technical Report no. 00-30. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Lermer, Karl and Strooper, Paul (2000). Refinement and State Machine Abstraction. Technical Report 00-01. Software Verification Research Centre, School of Information Technology, The University of Queensland.
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.