
| Contact | |
| Location | Room 330 General Purpose South (Building 78) |
| Telephone | +61 7 3365 1136 |
| 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). |

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