Paul Strooper
Paul Strooper
The University of Queensland
Verified email at
Cited by
Cited by
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
Classbench: A framework for automated class testing
D Hoffman, P Strooper
Software: Practice and Experience 27 (5), 573-597, 1997
Tool support for testing concurrent Java components
B Long, D Hoffman, P Strooper
IEEE Transactions on Software Engineering 29 (6), 555-566, 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
Automated module testing in Prolog
DM Hoffman, P Strooper
IEEE Transactions on Software Engineering 17 (9), 934, 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
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
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
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
Boundary values and automated component testing
D Hoffman, P Strooper, L White
Software Testing, Verification and Reliability 9 (1), 3-26, 1999
Translating Object-Z specifications to passive test oracles
J McDonald, P Strooper
Proceedings Second International Conference on Formal Engineering Methods …, 1998
Evaluating software refactoring tool support
E Mealy, P Strooper
Australian Software Engineering Conference (ASWEC'06), 10 pp.-340, 2006
Testgraph methodology: automated testing of collection classes
D Hoffman, P Strooper
JOOP-Journal of Object-Oriented Programming 8 (7), 35-41, 1995
Testing iptables
D Hoffman, D Prabhakar, P Strooper
Proceedings of the 2003 conference of the Centre for Advanced Studies on …, 2003
Software design, automated testing, and maintenance: a practical approach
DM Hoffman, PA Strooper
(No Title), 1995
A classification of concurrency failures in Java components
B Long, P Strooper
Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 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
Graph-based class testing
D Hoffman, P Strooper
Australian Computer Journal 26 (4), 158-163, 1994
Requirements engineering and verification using specification animation
D Hazel, P Strooper, O Traynor
Proceedings 13th IEEE International Conference on Automated Software …, 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
The system can't perform the operation now. Try again later.
Articles 1–20