The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paul A. Strooper: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Simon Carter, Malcolm Graham, Paul A. Strooper, Zhiguo Yuan
    Mutation Analysis to Verify Feature Matrices for Isolating Errors in Simulation Models. [Citation Graph (0, 0)][DBLP]
    ACSC, 2003, pp:29-34 [Conf]
  2. Chris Hunter, Peter Robinson, Paul A. Strooper
    Agent-Based Distributed Software Verification. [Citation Graph (0, 0)][DBLP]
    ACSC, 2005, pp:159-164 [Conf]
  3. Chris Hunter, Paul A. Strooper
    Systematically Deriving Partial Oracles for Testing Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ACSC, 2001, pp:83-91 [Conf]
  4. Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper
    Translating Refined Logic Programs to Mercury. [Citation Graph (0, 0)][DBLP]
    ACSC, 2002, pp:33-40 [Conf]
  5. Robert Colvin, Ian J. Hayes, Paul A. Strooper
    Refining Logic Programs Using Types. [Citation Graph (0, 0)][DBLP]
    ACSC, 2000, pp:43-50 [Conf]
  6. Leesa Murray, David A. Carrington, Paul A. Strooper
    An Approach to Specifying Software Frameworks. [Citation Graph (0, 0)][DBLP]
    ACSC, 2004, pp:185-192 [Conf]
  7. Chris Hunter, Peter Robinson, Paul A. Strooper
    Flexible Proof Reuse for Software Verification. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:211-225 [Conf]
  8. Tim Miller, Paul A. Strooper
    Combining the Animation and Testing of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    APAQS, 2001, pp:249-258 [Conf]
  9. Daniel Hazel, Paul A. Strooper, Owen Traynor
    Possum: An Animator for the SUM Specification Language. [Citation Graph (0, 0)][DBLP]
    APSEC, 1997, pp:42-51 [Conf]
  10. Jason McDonald, Leesa Murray, Paul A. Strooper
    Translating Object-Z Specifications to Object-Oriented Test Oracles. [Citation Graph (0, 0)][DBLP]
    APSEC, 1997, pp:414-0 [Conf]
  11. Jason McDonald, Paul A. Strooper, Daniel Hoffman
    Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:322-331 [Conf]
  12. Tim Miller, Paul A. Strooper
    A Case Study in Specification and Implementation Testing. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:130-139 [Conf]
  13. Leesa Murray, Jason McDonald, Paul A. Strooper
    Specification-Based Class Testing with ClassBench. [Citation Graph (0, 0)][DBLP]
    APSEC, 1998, pp:164-173 [Conf]
  14. Rakesh Shukla, David A. Carrington, Paul A. Strooper
    Systematic Operational Profile Development for Software Components. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:528-537 [Conf]
  15. Rakesh Shukla, David A. Carrington, Paul A. Strooper
    A Passive Test Oracle Using a Component's API. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:561-567 [Conf]
  16. Rakesh Shukla, Paul A. Strooper, David A. Carrington
    Tool Support for Statistical Testing of Software Components. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:719-728 [Conf]
  17. Luke Wildman, Brad Long, Paul A. Strooper
    Testing Java Interrupts and Timed Waits. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:438-447 [Conf]
  18. Luke Wildman, Brad Long, Paul A. Strooper
    Dealing with Non-Determinism in Testing Concurrent Java Components. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:393-400 [Conf]
  19. Peter A. Lindsay, Anthony MacDonald, Paul A. Strooper, Mark Staples
    A Framework for Subsystem-Based Configuration Management . [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2001, pp:275-284 [Conf]
  20. Craig Harvey, Paul A. Strooper
    Testing Java Monitors through Deterministic Execution. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2001, pp:61-67 [Conf]
  21. Daniel Hoffman, Paul A. Strooper
    Tools and Techniques for Java API Testing. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2000, pp:235-246 [Conf]
  22. Erica Mealy, Paul A. Strooper
    Evaluating software refactoring tool support. [Citation Graph (0, 0)][DBLP]
    ASWEC, 2006, pp:331-340 [Conf]
  23. Tim Miller, Paul A. Strooper
    Animation Can Show Only the Presence of Errors, Never Their Absence. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2001, pp:76-88 [Conf]
  24. Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper
    Extending Test Templates with Inheritance. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 1997, pp:80-87 [Conf]
  25. Daniel Hoffman, Durga Prabhakar, Paul A. Strooper
    Testing iptables. [Citation Graph (0, 0)][DBLP]
    CASCON, 2003, pp:80-91 [Conf]
  26. Daniel Hoffman, Paul A. Strooper
    A case study in class testing. [Citation Graph (0, 0)][DBLP]
    CASCON, 1993, pp:472-482 [Conf]
  27. David Hemer, Gregory Long, Paul A. Strooper
    Plug-in Proof Support for Formal Development Environments. [Citation Graph (0, 0)][DBLP]
    CATS, 2005, pp:69-79 [Conf]
  28. Rakesh Shukla, Paul A. Strooper, David A. Carrington
    A Framework for Reliability Assessment of Software Components. [Citation Graph (0, 0)][DBLP]
    CBSE, 2004, pp:272-279 [Conf]
  29. Paul A. Strooper, David A. Carrington, Sharron Newby, Terry Stevenson
    Teaching Software Engineering Fundamentals to Practicing Engineers. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2003, pp:36-43 [Conf]
  30. Brad Long, Paul A. Strooper
    A Case Study in Testing Distributed Systems. [Citation Graph (0, 0)][DBLP]
    DOA, 2001, pp:20-0 [Conf]
  31. Brent Cahill, David A. Carrington, Brian Song, Paul A. Strooper
    An Industry-Based Evaluation of Process Modeling Techniques. [Citation Graph (0, 0)][DBLP]
    EuroSPI, 2006, pp:111-122 [Conf]
  32. Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter Robinson
    Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:524-540 [Conf]
  33. Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper
    Module Testing Embedded Software--An Industrial Pilot Project. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:233-0 [Conf]
  34. Leesa Murray, Alena Griffiths, Paul A. Strooper
    OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2002, pp:232-237 [Conf]
  35. Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington
    Specification-Based Class Testing: A Case Study. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:222-0 [Conf]
  36. Jason McDonald, Paul A. Strooper
    Translating Object-Z Specifications to Passive Test Oracles. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:165-0 [Conf]
  37. Tim Miller, Paul A. Strooper
    Model-Based Specification Animation Using Testgraphs. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:192-203 [Conf]
  38. Paul A. Strooper, Luke Wildman
    Testing concurrent java components. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:1075-1076 [Conf]
  39. Hagen Völzer, Brenton Atchison, Paul A. Strooper, Peter A. Lindsay, Anthony MacDonald
    A Tool for Subsystem Configuration Management. [Citation Graph (0, 0)][DBLP]
    ICSM, 2002, pp:492-500 [Conf]
  40. Karl Lermer, Paul A. Strooper
    A Single Complete Refinement Rule for Demonic Specifications. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2000, pp:564-579 [Conf]
  41. Luke Wildman, Roger Duke, Paul A. Strooper
    Viewpoint-Based Testing of Concurrent Components. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:501-520 [Conf]
  42. Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman
    Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  43. Brad Long, Paul A. Strooper
    A Classification of Concurrency Failures in Java Components. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:287- [Conf]
  44. Margaret A. Wojcicki, Paul A. Strooper
    Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components. [Citation Graph (0, 0)][DBLP]
    ISESE, 2006, pp:174-183 [Conf]
  45. Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper
    Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ISSAC, 1988, pp:109-115 [Conf]
  46. Daniel Hazel, Paul A. Strooper, Owen Traynor
    Requirements Engineering and Verification using Specification Animation. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:302-305 [Conf]
  47. Brad Long, Daniel Hoffman, Paul A. Strooper
    A Concurrency Test Tool for Java Monitors. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:421-425 [Conf]
  48. Jason McDonald, Daniel Hoffman, Paul A. Strooper
    Programmatic Testing of the Standard Template Library Containers. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:147-156 [Conf]
  49. Robert Colvin, Ian J. Hayes, Paul A. Strooper
    Modular Logic Program Refinement. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  50. Robert Colvin, Ian J. Hayes, Paul A. Strooper
    A Technique for Modular Logic Program Refinement. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:38-56 [Conf]
  51. Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper
    Developing Logic Programs from Specifications Using Stepwise Refinement. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:66-89 [Conf]
  52. Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper
    Refinement of Higher-Order Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:126-143 [Conf]
  53. Ian J. Hayes, R. G. Nickson, Paul A. Strooper
    Refining Specifications to Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:1-19 [Conf]
  54. Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper
    Complete Sets of Frontiers in Logic-Based Program Transformation. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:283-297 [Conf]
  55. Tim Miller, Paul A. Strooper
    Supporting the Software Testing Process through Specification Animation. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:14-23 [Conf]
  56. Daniel Hoffman, Jayakrishnan Nair, Paul A. Strooper
    Testing Generic Ada Packages with APE. [Citation Graph (0, 0)][DBLP]
    SIGAda, 1998, pp:255-262 [Conf]
  57. Daniel Hoffman, Paul A. Strooper
    State Abstraction and Modular Software Development. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1995, pp:53-61 [Conf]
  58. Paul A. Strooper, Daniel Hoffman
    Prolog Testing of C Modules. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:596-608 [Conf]
  59. Roger Duke, Tim Miller, Paul A. Strooper
    Integrating Formal Specification and Software Verification and Validation. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:124-139 [Conf]
  60. David Hemer, Ian J. Hayes, Paul A. Strooper
    Refinement Calculus for Logic Programming in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:249-264 [Conf]
  61. Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper
    Formal Derivation of Finite State Machines for Class Testing. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:42-59 [Conf]
  62. Paul A. Strooper
    Object-Oriented Testing. [Citation Graph (0, 0)][DBLP]
    TOOLS (25), 1997, pp:359- [Conf]
  63. Jason McDonald, Paul A. Strooper
    Testing Inheritance Hierarchies in the ClassBench Framework. [Citation Graph (0, 0)][DBLP]
    TOOLS (28), 1998, pp:229-0 [Conf]
  64. Daniel Hoffman, Paul A. Strooper
    Prose + Test Cases = Specifications. [Citation Graph (0, 0)][DBLP]
    TOOLS (34), 2000, pp:239-0 [Conf]
  65. Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper
    TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing. [Citation Graph (0, 0)][DBLP]
    TOOLS (32), 1999, pp:222-233 [Conf]
  66. Daniel Hoffman, Paul A. Strooper
    Graph-based Class Testing. [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1994, v:26, n:4, pp:158-163 [Journal]
  67. Paul A. Strooper, Maarten H. van Emden
    Describing Symmetrical Structures in Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:301-314 [Journal]
  68. Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
    A Refinement Calculus for Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  69. David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin
    Don't Care Non-determinism in Logic Program Refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:61, n:, pp:- [Journal]
  70. Lionel van den Berg, Paul A. Strooper, Wendy Johnston
    An Automated Approach for the Interpretation of Counter-Examples. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:4, pp:19-35 [Journal]
  71. Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper
    Discovering Inequality Conditions in the Analytic Solution of Optimization Problems. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1989, v:5, n:3, pp:339-362 [Journal]
  72. Daniel Hoffman, Paul A. Strooper
    The Testgraph Methodology: Automated Testing of Collection Classes. [Citation Graph (0, 0)][DBLP]
    JOOP, 1995, v:8, n:7, pp:35-41 [Journal]
  73. David A. Carrington, Paul A. Strooper, Sharron Newby, Terry Stevenson
    An industry/university collaboration to upgrade software engineering knowledge and skills in industry. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2005, v:75, n:1-2, pp:29-39 [Journal]
  74. Daniel Hoffman, Paul A. Strooper
    API documentation with executable examples. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2003, v:66, n:2, pp:143-156 [Journal]
  75. Nigel Daley, Daniel Hoffman, Paul A. Strooper
    A framework for table driven testing of Java classes. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2002, v:32, n:5, pp:465-493 [Journal]
  76. Daniel Hoffman, Paul A. Strooper
    ClassBench: A Framework for Automated Class Testing. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1997, v:27, n:5, pp:573-597 [Journal]
  77. David A. Carrington, Ian MacColl, Jason McDonald, Leesa Murray, Paul A. Strooper
    From Object-Z Specifications to ClassBench Test Suites. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2000, v:10, n:2, pp:111-137 [Journal]
  78. Daniel Hoffman, Paul A. Strooper, Sarah Wilkin
    Tool support for executable documentation of Java class hierarchies. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2005, v:15, n:4, pp:235-256 [Journal]
  79. Daniel Hoffman, Paul A. Strooper, Lee J. White
    Boundary Values and Automated Component Testing. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1999, v:9, n:1, pp:3-26 [Journal]
  80. Karl Lermer, Paul A. Strooper
    Refinement and state machine abstraction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:195-235 [Journal]
  81. Tim Miller, Paul A. Strooper
    A framework and tool support for the systematic testing of model-based specifications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:4, pp:409-439 [Journal]
  82. Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
    A refinement calculus for logic programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:4-5, pp:425-460 [Journal]
  83. Daniel Hoffman, Paul A. Strooper
    Automated Module Testing in Prolog. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:9, pp:934-943 [Journal]
  84. Brad Long, Daniel Hoffman, Paul A. Strooper
    Tool Support for Testing Concurrent Java Components. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:6, pp:555-566 [Journal]
  85. Hagen Völzer, Anthony MacDonald, Brenton Atchison, Andrew Hanlon, Peter A. Lindsay, Paul A. Strooper
    SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:10, pp:675-693 [Journal]
  86. Paul A. Strooper, Margaret A. Wojcicki
    Selecting V&V Technology Combinations: How to Pick a Winner? [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:87-96 [Conf]
  87. Paul A. Strooper, Luke Wildman
    Testing Concurrent Java Components. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:161-162 [Conf]
  88. Robert Colvin, Ian J. Hayes, Paul A. Strooper
    Calculating modules in contextual logic program refinement [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  89. Selecting Usability Evaluation Methods for Software Process Descriptions. [Citation Graph (, )][DBLP]


  90. Improving Usability of Software Refactoring Tools. [Citation Graph (, )][DBLP]


  91. Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks. [Citation Graph (, )][DBLP]


  92. Exploring Model-Based Development for the Verification of Real-Time Java Code. [Citation Graph (, )][DBLP]


  93. Model-Based Generation of Interlocking Controller Software from Control Tables. [Citation Graph (, )][DBLP]


  94. Expanding, theory, and practice: Report on the 4th International Workshop on the Automation of Software Test. [Citation Graph (, )][DBLP]


  95. Automated Generation of Test Cases Using Model-Driven Architecture. [Citation Graph (, )][DBLP]


  96. Investigating Factors Affecting the Usability of Software Process Descriptions. [Citation Graph (, )][DBLP]


  97. A state-of-practice questionnaire on verification and validation for concurrent programs. [Citation Graph (, )][DBLP]


  98. Introducing Time in an Industrial Application of Model-Checking. [Citation Graph (, )][DBLP]


  99. Setting up a tutor training programme in computer science. [Citation Graph (, )][DBLP]


  100. A method for verifying concurrent Java components based on an analysis of concurrency failures. [Citation Graph (, )][DBLP]


Search in 0.010secs, Finished in 0.016secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002