Paul Strooper
Paul Strooper
The University of Queensland
Geverifieerd e-mailadres voor rgbassurance.com.au
Titel
Geciteerd door
Geciteerd door
Jaar
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
1452007
Classbench: A framework for automated class testing
D Hoffman, P Strooper
Software: Practice and Experience 27 (5), 573-597, 1997
1041997
Tool support for testing concurrent Java components
B Long, D Hoffman, P Strooper
IEEE Transactions on Software Engineering 29 (6), 555-566, 2003
1002003
Improving usability of software refactoring tools
E Mealy, D Carrington, P Strooper, P Wyeth
2007 Australian Software Engineering Conference (ASWEC'07), 307-318, 2007
692007
Formal derivation of finite state machines for class testing
L Murray, D Carrington, I MacColl, J McDonald, P Strooper
International Conference of Z Users, 42-59, 1998
681998
Automated module testing in Prolog
DM Hoffman, P Strooper
IEEE Transactions on Software Engineering 17 (9), 934, 1991
671991
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
662000
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
581997
Translating Object-Z specifications to passive test oracles
J McDonald, P Strooper
Proceedings Second International Conference on Formal Engineering Methods …, 1998
571998
Boundary values and automated component testing
D Hoffman, P Strooper, L White
Software Testing, Verification and Reliability 9 (1), 3-26, 1999
551999
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
522006
Testgraph methodology: automated testing of collection classes
D Hoffman, P Strooper
JOOP-Journal of Object-Oriented Programming 8 (7), 35-41, 1995
501995
Testing iptables
D Hoffman, D Prabhakar, P Strooper
Proceedings of the 2003 conference of the Centre for Advanced Studies on …, 2003
482003
Evaluating software refactoring tool support
E Mealy, P Strooper
Australian Software Engineering Conference (ASWEC'06), 10 pp.-340, 2006
462006
Software Design, Automated Testing, and Maintenance--A Practical Approach
D Hoffman, P Strooper
461999
A classification of concurrency failures in Java components
B Long, P Strooper
Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003
422003
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
412007
Graph-based class testing
D Hoffman, PA Strooper
Australian Computer Journal 26 (4), 158-163, 1994
411994
Requirements engineering and verification using specification animation
D Hazel, P Strooper, O Traynor
Proceedings 13th IEEE International Conference on Automated Software …, 1998
381998
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
362007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20