| |
| 2007 | ||
|---|---|---|
| 5 | EE | 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 | EE | Paul A. Strooper, Margaret A. Wojcicki: Selecting V&V Technology Combinations: How to Pick a Winner? ICECCS 2007: 87-96 |
| 3 | EE | 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 | EE | 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 | EE | Margaret A. Wojcicki, Paul A. Strooper: A state-of-practice questionnaire on verification and validation for concurrent programs. PADTAD 2006: 1-10 |
| 1 | John Ngui | [5] |
| 2 | Paul A. Strooper | [1] [2] [3] [4] [5] |
| 3 | Luke Wildman | [5] |