Paul Strooper

Professor of Software Engineering
Room 418, General Purpose South Building (building 78)
School of Information Technology and Electrical Engineering
The University of Queensland
Queensland 4072 AUSTRALIA
Phone: +61 7 3365 1628; Fax: +61 7 3365 4999

Research Interests: Software engineering: specification, verification, testing, empirical methods

Recent and Current Research Projects

Current Research Students

  • Abu Zafer Javed - Model Driven Framework for Verification and Validation of Component Integration
  • Suhaila Mohd. Yasin - Using Models to Support the Search-Based Testing of Web Applications

Past Research Students

  • 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


Courses taught in the past

Professional Activities

On This Site