The University of Queensland Homepage
School of ITEE ITEE Main Website

 Maggie Wojcicki
rhina ancyclostoma
Contact
Location Room 330
General Purpose South (Building 78)
Telephone +61 7 3365 1136
E-mail wojcicki 'at' itee.uq.edu.au

 

Research Fields of Interest
Computer Science • Empirical Software Engineering
• Verification and Validation of Concurrent Java Components
Zoology • Historical Biogeography
• Biodiversity

 

PhD Research
Evaluating and Combining Verification and Validation Technologies for Concurrent Components

Verification and validation (V&V) is a challenging task. There is no "silver bullet" for all V&V problems. It is therefore important to determine appropriate V&V solutions for particular contexts. Empirical evaluations can be a source of information regarding particular V&V technologies, but the studies are not useful on their own. The purpose of this research is to devise a combination strategy that uses empirical data of V&V technology evaluations. The strategy focuses on systematically selecting V&V technologies that maximise completeness and minimise effort. The combination strategy will be evaluated in the context of TestCon: a method used for verifying concurrent components. Concurrent components are difficult to verify because multiple threads execute at the same time making their behaviour non-deterministic. TestCon consists of checking for interference and deadlock, and testing the component against its functional requirements. Evaluation and refinement of TestCon through the combination strategy will investigate the effectiveness of the strategy.

Confirmation
Evaluating Verification and Validation Technologies for Concurrent Components
[report][seminar slides]
 
Projects
VeVaCS: An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies
[abstract][extended version]
 
Empirical Studies
An Experimental Analysis of Code Inspection and Static Analysis for Concurrent Java Components
[abstract][experimental materials][presentation slides]
A State-of-Practice Questionnaire on Verification and Validation for Concurrent Programs
[abstract][questionnaire][results][presentation slides]
Application of VeVaCS in the Context of Concurrent Components
Refinement of TestCon method [mutants]
Usefulness of VeVaCS in the Context of Concurrent Components
Refined TestCon Evaluation [experimental materials]
 
Publications
2006 M. Wojcicki and P. Strooper. A State-of-Practice Questionnaire on Verification and Validation for Concurrent Programs. Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging. 1-10. [paper]
2006 M. Wojcicki and P. Strooper. Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components. Proceedings of the 5th ACM-IEEE International Symposium on Empirical Software Engineering. 74-83. [paper]
2007 J. Ngui, P. Strooper, L. Wildman and M. Wojcicki.  Comparing the Cost-effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks.  Proceedings of the 2007 Australian Software Engineering Conference. 223-232. [paper]
2007 M. Wojcicki and P. Strooper.  An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies.  Proceedings of the 5th Workshop on Software Quality.9. [paper]
2007 M. Wojcicki and P. Strooper. Maximising the information gained from a study of static analysis technologies for concurrent software (extended version of paper from ISESE'06). Journal of Empirical Software Engineering. [paper]
2007 P. Strooper and M. Wojcicki. Selecting V&V technology combinations: how to pick a winner? 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2007). 87-96.[paper]
Workshops
2005 Evaluating the cost-effectiveness of combining code inspection with static analysis tools TEST AUTOMATION WORKSHOP Queensland, Australia [program/slides]
2006 Developing a Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies TEST AUTOMATION WORKSHOP Queensland, Australia [program/slides]

 

Research Group
Tools and techniques for testing concurrent software components [TestCon]
 
Related Tools of Interest
      ConAn - Automated testing of multithreaded java components.
      FindBugs - Static Analysis Tool
      Jlint - Static Analysis Tool
      ConTest - A tool for testing, debugging, and coverage-measuring of concurrent programs.
      Java PathFinder - Java program verification.

"Beware of bugs in the above code;  I have only proved it correct, not tried it."  D. Knuth

 

Historical Biogeography Research
 
Publications
2004 M. Wojcicki and D.R. Brooks. PACT: A simple and powerful algorithm for deriving general area cladograms. Journal of Biogeography 32(5): 755-774. [abstract]
2004 M. Wojcicki and D.R. Brooks. Escaping the matrix: a simple and powerful algorithm for comparative phylogenetic studies in coevolution. Cladistics 20(2004): 341-361. [abstract]
 
Workshops
2005 A Program for PACT WORKSHOP ON HISTORICAL BIOGEOGRAPHY
Hosted By: U.S. National Conservation Training Center in conjunction with the 2nd International Conference of The International Biogeography Society - West Virignia, USA [newsletter]

"Let theory guide your observations, but till your reputation is well established, be sparing in publishing theory.
It makes persons doubt your observations."
C. Darwin

 

Projects Currently in Progress
• Writing up a paper based on application and evaluation of combination strategy.
• Reviewing and editing thesis chapters.
• Continuing work in the implementation of a program for the phylogenetic analysis for comparing trees (PACT).

wood ducks

Last updated 9 November 2007: Projects Currently in Progress, Empirical Studies.
Please credit if using this layout on another web page.