Paul Strooper
Professor of Software Engineering
|
![]() |
- Recent and Current Research Projects
- 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 testing 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
- ARC Discovery project 2005-2007: Enhancing model-driven architecture with support for verification and validation
- Current Research Students
- Abu Zafer Javed -
Model Driven Framework for Verification and Validation of Component Integration
- Erica Mealy - Automated detection and solution proposal for integrated software refactoring
- Margaret Wojcicki - Derivation of the most cost-effective combinations of verification and validation techniques used to analyse the safety and security of software systems
- Mohd Naz'ri Mahrin - Evaluating the usability of software process descriptions
- Niusha Hakimipour - Empirical evaluation of tools and techniques for verifying real-time systems
- Zulfa Zakaria - Evaluating the effectivenes of software testing education
- Erica Mealy - Automated detection and solution proposal for integrated software refactoring
- Past Research Students
- 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
- Chris Hunter - Distributed interactive theorem proving for software verification
- Publications
- Books, theses, and edited proceedings
- Book chapters
- Journal articles
- Invited papers/presentations
- Refereed conference papers
- Book and paper reviews
- Other
- Book chapters
- Courses
- 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
- CSSE3004/INFS7906 Advanced Information Technology Project/Information Systems Project Implementation
- Professional Activities
- Member of Editorial Board for the Journal on
Software Testing, Verification, and Reliability
- Member of Editorial Board for the International Journal of Software Engineering and its Applications
- Chair of Steering Committee for the Australian Software Engineering Conference
- Member of Steering Committee for the Asia-Pacific Software Engineering Conference
- 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: ICST 2009, ACSC 2009, APSEC 2008, EOOLT 2008, QSIC 2008, ICST 2008, 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
- Member of Editorial Board for the International Journal of Software Engineering and its Applications

