| Automated generation of test cases using model-driven architecture AZ Javed, PA Strooper, GN Watson Second International Workshop on Automation of Software Test (AST'07), 3-3, 2007 | 160 | 2007 |
| Classbench: A framework for automated class testing D Hoffman, P Strooper Software: Practice and Experience 27 (5), 573-597, 1997 | 108 | 1997 |
| Tool support for testing concurrent Java components B Long, D Hoffman, P Strooper IEEE Transactions on Software Engineering 29 (6), 555-566, 2003 | 100 | 2003 |
| Improving usability of software refactoring tools E Mealy, D Carrington, P Strooper, P Wyeth 2007 Australian Software Engineering Conference (ASWEC'07), 307-318, 2007 | 74 | 2007 |
| Automated module testing in Prolog DM Hoffman, P Strooper IEEE Transactions on Software Engineering 17 (9), 934, 1991 | 72 | 1991 |
| From Object‐Z specifications to ClassBench test suites D Carrington, I MacColl, J McDonald, L Murray, P Strooper Software Testing, Verification and Reliability 10 (2), 111-137, 2000 | 68 | 2000 |
| Formal derivation of finite state machines for class testing L Murray, D Carrington, I MacColl, J McDonald, P Strooper ZUM’98: The Z Formal Specification Notation: 11th International Conference …, 1998 | 67 | 1998 |
| Tool support for checking railway interlocking designs K Winter, W Johnston, P Robinson, P Strooper, L Van Den Berg Proceedings of the 10th Australian workshop on Safety critical systems and …, 2006 | 66 | 2006 |
| Possum: An animator for the SUM specification language D Hazel, P Strooper, O Traynor Proceedings of Joint 4th International Computer Science Conference and 4th …, 1997 | 62 | 1997 |
| Boundary values and automated component testing D Hoffman, P Strooper, L White Software Testing, Verification and Reliability 9 (1), 3-26, 1999 | 59 | 1999 |
| Translating Object-Z specifications to passive test oracles J McDonald, P Strooper Proceedings Second International Conference on Formal Engineering Methods …, 1998 | 59 | 1998 |
| Evaluating software refactoring tool support E Mealy, P Strooper Australian Software Engineering Conference (ASWEC'06), 10 pp.-340, 2006 | 57 | 2006 |
| Testgraph methodology: automated testing of collection classes D Hoffman, P Strooper JOOP-Journal of Object-Oriented Programming 8 (7), 35-41, 1995 | 54 | 1995 |
| Testing iptables D Hoffman, D Prabhakar, P Strooper Proceedings of the 2003 conference of the Centre for Advanced Studies on …, 2003 | 52 | 2003 |
| Software design, automated testing, and maintenance: a practical approach DM Hoffman, PA Strooper (No Title), 1995 | 48 | 1995 |
| A classification of concurrency failures in Java components B Long, P Strooper Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003 | 44 | 2003 |
| A method for verifying concurrent Java components based on an analysis of concurrency failures B Long, P Strooper, L Wildman Concurrency and Computation: Practice and Experience 19 (3), 281-294, 2007 | 42 | 2007 |
| Graph-based class testing D Hoffman, P Strooper Australian Computer Journal 26 (4), 158-163, 1994 | 41 | 1994 |
| Requirements engineering and verification using specification animation D Hazel, P Strooper, O Traynor Proceedings 13th IEEE International Conference on Automated Software …, 1998 | 39 | 1998 |
| An iterative empirical strategy for the systematic selection of a combination of verification and validation technologies MA Wojcicki, P Strooper Fifth International Workshop on Software Quality (WoSQ'07: ICSE Workshops …, 2007 | 38 | 2007 |
