 | 2007 |
|---|
| 5 |       | John Ngui,
Paul A. Strooper,
Luke Wildman,
Margaret A. Wojcicki:
Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks.
ASWEC 2007: 223-232 |
| 4 | | Paul A. Strooper,
Margaret A. Wojcicki:
Selecting V&V Technology Combinations: How to Pick a Winner?
ICECCS 2007: 87-96 |
| 3 | | Margaret A. Wojcicki,
Paul A. Strooper:
Maximising the information gained from a study of static analysis technologies for concurrent software.
Empirical Software Engineering 12(6): 617-645 (2007) |
| 2006 |
|---|
| 2 | | Margaret A. Wojcicki,
Paul A. Strooper:
Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components.
ISESE 2006: 174-183 |
| 1 | | Margaret A. Wojcicki,
Paul A. Strooper:
A state-of-practice questionnaire on verification and validation for concurrent programs.
PADTAD 2006: 1-10 |
