Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components. - Margaret A. Wojcicki; Paul A. Strooper (ISESE, 2006)

A state-of-practice questionnaire on verification and validation for concurrent programs. - Margaret A. Wojcicki; Paul A. Strooper (PADTAD, 2006)

Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks. - John Ngui; Paul A. Strooper; Luke Wildman; Margaret A. Wojcicki (ASWEC, 2007)

Selecting V&V Technology Combinations: How to Pick a Winner? - Paul A. Strooper; Margaret A. Wojcicki (ICECCS, 2007)

An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies. - Margaret A. Wojcicki; Paul A. Strooper (WoSQ@ICSE, 2007)

Maximising the information gained from a study of static analysis technologies for concurrent software. - Margaret A. Wojcicki; Paul A. Strooper (Empir. Softw. Eng., 2007)

Evaluating and combining verification and validation technologies - Margaret A. Wojcicki (2008)