Professor of Software Engineering
Room 324, General Purpose South Building (building 78)
Division of Systems and Software
Engineering
School of Information Technology and
Electrical Engineering
The University of Queensland
Queensland 4072 AUSTRALIA
Phone: +61 7 3365 1628; Fax: +61 7 3365 4999
email: pstroop@itee.uq.edu.au
Research Interests: Software engineering: specification, verification, testing, 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 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
Current Research Students
- Eban Escott - The verification and validation of domain models in agile web development
- Abu Zafer Javed - Model Driven Framework for Verification and Validation of Component Integration
- Mohd Naz'ri Mahrin - Evaluating the usability of software process descriptions
- Nguyen Hoai Duc - A framework for model-based GUI testing
- Niusha Hakimipour - Empirical evaluation of tools and techniques for verifying real-time systems
Past Research Students
- 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
- Books, theses, and edited proceedings
- Book chapters
- Journal articles
- Invited papers/presentations
- Refereed conference papers
- Book and paper reviews
- Other
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
- CSSE7034 Predictable Professional Performance
Professional Activities
- Member of Editorial Board for the Journal on IEEE Transactions on Software Engineering
- 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
- Vice Chair of Steering Committee for the 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: QSIC 2010, ICSE 2010 NIER, ICST 2010, CSEET 2010, ACSC 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