Paul Strooper

Emeritus Professor
School of Information Technology and Electrical Engineering
The University of Queensland
Queensland 4072 AUSTRALIA
Phone: +61 422 111 231
email: pstroop@itee.uq.edu.au

Research Interests: Software engineering: specification, verification, testing, model-based software engineering, empirical methods

Recent and Current Research Projects

• ARC Linkage project with Ansaldo 2008-2010: Model-driven development and verification of railway interlocking control logic
• ARC Discovery project 2007-2009: Cost-effective use of assertions in the verification and validation of distributed and real-time systems
• ARC Discovery project 2005-2007: Enhancing model-driven architecture with support for verification and validation
• ARC Linkage project with Boeing Australia 2003-2007: Effective software process improvement in a large-scale defence contracting environment
• ARC Linkage project with Queensland Rail 2004-2006: An integrated environment for verification of large-scale railway interlockings
• ARC Discovery project 2003-2005: Tools and techniques for tsting concurrent software components
• ARC SPIRT project with Foxboro Australia 2000-2002: Lightweight formal methods for embedded software
• ARC SPIRT project with Foxboro Australia 1999-2001: Automated support for verification and validation of control-system software
• ARC Large Grant project 1999-2001: A refinement calculus for logic programs
• ARC Large Grant project 1996-1998: Generating test cases and oracles from object-oriented specifications

Current Research Students

• Suhaila Mohd. Yasin - Using Models to Support the Search-Based Testing of Web Applications

Past Research Students

• Abu Zafer Javed - Model Driven Framework for Verification and Validation of Component Integration
• Eban Escott - The verification and validation of domain models in agile web development
• Erica Mealy - Semi-automated software refactoring
• Nguyen Hoai Duc - A framework for model-based GUI testing
• Niusha Hakimipour - Empirical evaluation of tools and techniques for verifying real-time systems
• Mohd Naz'ri Mahrin - Evaluating the usability of software process descriptions
• Margaret Wojcicki - Derivation of the most cost-effective combinations of verification and validation techniques used to analyse the safety and security of software systems
• Rakesh Shukla - A framework for reliability assessment of software components
• Chris Hunter - Distributed interactive theorem proving for software verification
• Brad Long - Testing Concurrent Java Components
• Greg Long - Towards Plug-in Proof Support for Formal Development Environments
• Jason McDonald - Generating test oracles from object-oriented formal specifications
• Tim Miller - Using specification animation to support specification testing and software testing
• Malcolm Graham - Coding error isolation in computerised simulation models with application to wastewater treatment systems
• Brenton Atchison - The integration of safety and analysis and functional verification techniques for software safety arguments
• Robert Colvin - Contextual and data refinement for the refinement calculus for logic programs

Publications

• Books, theses, and edited proceedings
• Book chapters
• Journal articles
• Invited papers/presentations
• Refereed conference papers
• Book and paper reviews
• Other

Courses taught in the past

• CSSE2002/7023 Programming in the Large/Advance Software Engineering
• CSSE3004/INFS7906 Advanced Information Technology Project/Information Systems Project Implementation
• CSSE3005/INFS7905 Advanced Information Technology Project/Information Systems Project Preliminary
• CSSE4603/CSSE7032 Models of Software Systems
• CSSE7034 Predictable Professional Performance

Professional Activities

• Member of ARC College of Experts in Engineering, Mathematics, and Informatics for 2015-2017
• Member of ACS Accreditation Committee since 2016
• Member of Editorial Board for the Journal on IEEE Transactions on Software Engineering for 2008-2013
• Member of Editorial Board for the Journal on Software Testing, Verification, and Reliability since 2006
• Past Chair and Member of Steering Committee for the Australian Software Engineering Conference
• Chair of Steering Committee for the Asia-Pacific Software Engineering Conference
• General Chair for 2010 Asia-Pacific Software Engineering Conference
• General Chair for 2009 Australian Software Engineering Conference
• Workshop Organiser for Automation of Software Test 2009
• Program Chair for 2005 Australian Software Engineering Conference
• Program Chair for 2004 Australian Software Engineering Conference
• Program Co-Chair for 2002 Asia-Pacific Software Engineering Conference
• Program Chair for Third Australasian Conference on Computer Science Education
• PC member for: ICSE 2013 NIER, AST 2013, ICST 2013, QSIC 2013, ICTSS 2012, APSEC 2012, AST 2012, ICSE 2012 Demo and SEE tracks, ICST 2012, QSIC 2012, APSEC 2011, Models 2011, AST 2011, Models 2010, AST 2010, QSIC 2010, ICSE 2010 NIER, ICST 2010, CSEET 2010, ACSC 2010, PADTAD 2010, TAIC PART 2010, APSEC 2009, ISSEC 2009, PADTAD 2009, TAIC PART 2009, RIVF 2009, QSIC 2009, ICST 2009, ACSC 2009, APSEC 2008, EOOLT 2008, QSIC 2008, ICST 2008, ICSE 2008 Workshops, PADTAD 2008, ICECCS 2008, ASWEC 2008, SNPD 2008, ISEC 2008, RIVF 2008, APSEC 2007, QSIC 2007, ICECCS 2007, ASWEC 2007, PADTAD 2007, HVC 2007, DoSTA 2007, TEST 2007, APSEC 2006, QSIC 2006, ASWEC 2006, PADTAD 2006, HVC 2006, APSEC 2005, ISESE 2005, QSIC 2005, ICFEM 2005, TQACBS 2005, APSEC 2004, QSIC 2004, PADTAD 2004, APSEC 2003, PADTAD 2003, and others