default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaul A. Strooper
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2015
[c90]Peter A. Lindsay, Sentot Kromodimoeljo, Paul A. Strooper, Mohamed Almorsy:
Automation of Test Case Generation from Behavior Tree Requirements Models. ASWEC 2015: 118-127- 2012
- [j26]Tim Miller, Paul A. Strooper
:
A case study in model-based testing of specifications and implementations. Softw. Test. Verification Reliab. 22(1): 33-63 (2012) - [c89]Niusha Hakimipour, Paul A. Strooper:
Exploring an Approach to Model-Based Testing from Behavior Trees. APSEC Workshops 2012: 80-86 - 2011
- [j25]Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings:
A model-based development approach for the verification of real-time Java code. Concurr. Comput. Pract. Exp. 23(13): 1583-1606 (2011) - [j24]Daniel Hoffman, David Ly-Gagnon, Paul A. Strooper, Hong-Yi Wang:
Grammar-based test generation with YouGen. Softw. Pract. Exp. 41(4): 427-447 (2011) - [c88]Eban Escott, Paul A. Strooper, Jörn Guy Süß, Paul King:
Architecture-Centric Model-Driven Web Engineering. APSEC 2011: 106-113 - [c87]Eban Escott, Paul A. Strooper, Jim Steel, Paul King:
Integrating Model-Based Testing in Model-Driven Web Engineering. APSEC 2011: 187-194 - [c86]Eban Escott, Paul A. Strooper, Paul King, Ian J. Hayes:
Model-Driven Web Form Validation with UML and OCL. ICWE Workshops 2011: 223-235 - 2010
- [j23]Daniel Hoffman, Hong-Yi Wang, Mitch Chang, David Ly-Gagnon, Lewis Sobotkiewicz, Paul A. Strooper:
Two case studies in grammar-based test generation. J. Syst. Softw. 83(12): 2369-2378 (2010) - [c85]Duc-Hoai Nguyen, Paul A. Strooper, Jörn Guy Süß:
Automated functionality testing through GUIs. ACSC 2010: 153-162 - [c84]Duc-Hoai Nguyen, Paul A. Strooper, Jörn Guy Süß:
Model-based testing of multiple GUI variants using the GUI test generator. AST 2010: 24-30 - [c83]Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings:
TART: Timed-Automata to Real-Time Java Tool. SEFM 2010: 299-309
2000 – 2009
- 2009
- [j22]Dimitris Dranidis, Stephen P. Masticola, Paul A. Strooper:
Challenges in practice: 4th international workshop on the automation of software test report. ACM SIGSOFT Softw. Eng. Notes 34(4): 32-34 (2009) - [c82]Mohd Naz'ri Mahrin, Paul A. Strooper, David A. Carrington:
Selecting Usability Evaluation Methods for Software Process Descriptions. APSEC 2009: 523-529 - [c81]Dimitris Dranidis, Stephen P. Masticola, Paul A. Strooper:
Expanding, theory, and practice: Report on the 4th International Workshop on the Automation of Software Test. ICSE Companion 2009: 459-460 - [e1]Dimitris Dranidis, Stephen P. Masticola, Paul A. Strooper:
Proceedings of the 4th International Workshop on Automation of Software Test, AST 2009, Vancouver, BC, Canada, May 18-19, 2009. IEEE Computer Society 2009, ISBN 978-1-4244-3711-5 [contents] - 2008
- [j21]Robert Colvin, Ian J. Hayes, Paul A. Strooper:
Calculating modules in contextual logic program refinement. Theory Pract. Log. Program. 8(1): 1-31 (2008) - [c80]Niusha Hakimipour, Paul A. Strooper, Roger Duke:
Exploring Model-Based Development for the Verification of Real-Time Java Code. VERIFY 2008 - [c79]Cédric Chevillat, David A. Carrington, Paul A. Strooper, Jörn Guy Süß, Luke Wildman:
Model-Based Generation of Interlocking Controller Software from Control Tables. ECMDA-FA 2008: 349-360 - [c78]Mohd Naz'ri Mahrin, David A. Carrington, Paul A. Strooper:
Investigating Factors Affecting the Usability of Software Process Descriptions. ICSP 2008: 222-233 - 2007
- [j20]Brad Long, Paul A. Strooper, Luke Wildman:
A method for verifying concurrent Java components based on an analysis of concurrency failures. Concurr. Comput. Pract. Exp. 19(3): 281-294 (2007) - [j19]Margaret A. Wojcicki, Paul A. Strooper:
Maximising the information gained from a study of static analysis technologies for concurrent software. Empir. Softw. Eng. 12(6): 617-645 (2007) - [j18]Rakesh Shukla, Paul A. Strooper, David A. Carrington:
A Framework for Statistical Testing of Software Components. Int. J. Softw. Eng. Knowl. Eng. 17(3): 379-405 (2007) - [c77]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 - [c76]Erica Mealy, David A. Carrington, Paul A. Strooper, Peta Wyeth:
Improving Usability of Software Refactoring Tools. ASWEC 2007: 307-318 - [c75]Lionel van den Berg, Paul A. Strooper, Kirsten Winter:
Introducing Time in an Industrial Application of Model-Checking. FMICS 2007: 56-67 - [c74]Paul A. Strooper, Margaret A. Wojcicki:
Selecting V&V Technology Combinations: How to Pick a Winner? ICECCS 2007: 87-96 - [c73]Abu Zafer Javed, Paul A. Strooper, Geoffrey Watson:
Automated Generation of Test Cases Using Model-Driven Architecture. AST 2007: 3-9 - [c72]Margaret A. Wojcicki, Paul A. Strooper:
An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies. WoSQ@ICSE 2007: 9 - [c71]Paul A. Strooper, Luke Wildman:
Testing Concurrent Java Components. ICSE Companion 2007: 161-162 - 2006
- [c70]Erica Mealy, Paul A. Strooper:
Evaluating software refactoring tool support. ASWEC 2006: 331-340 - [c69]Brent Cahill, David A. Carrington, Brian Song, Paul A. Strooper:
An Industry-Based Evaluation of Process Modeling Techniques. EuroSPI 2006: 111-122 - [c68]Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson:
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. FM 2006: 524-540 - [c67]Paul A. Strooper, Luke Wildman:
Testing concurrent java components. ICSE 2006: 1075-1076 - [c66]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 - [c65]Margaret A. Wojcicki, Paul A. Strooper:
A state-of-practice questionnaire on verification and validation for concurrent programs. PADTAD 2006: 1-10 - [c64]Lionel van den Berg, Paul A. Strooper, Wendy Johnston:
An Automated Approach for the Interpretation of Counter-Examples. V&D@FLoC 2006: 19-35 - [i2]Robert Colvin, Ian J. Hayes, Paul A. Strooper:
Calculating modules in contextual logic program refinement. CoRR abs/cs/0608110 (2006) - 2005
- [j17]David A. Carrington, Paul A. Strooper, Sharron Newby, Terry Stevenson:
An industry/university collaboration to upgrade software engineering knowledge and skills in industry. J. Syst. Softw. 75(1-2): 29-39 (2005) - [j16]Daniel Hoffman, Paul A. Strooper, Sarah Wilkin:
Tool support for executable documentation of Java class hierarchies. Softw. Test. Verification Reliab. 15(4): 235-256 (2005) - [c63]Chris Hunter, Peter J. Robinson, Paul A. Strooper:
Agent-Based Distributed Software Verification. ACSC 2005: 159-164 - [c62]Luke Wildman, Brad Long, Paul A. Strooper:
Dealing with Non-Determinism in Testing Concurrent Java Components. APSEC 2005: 393-400 - [c61]Rakesh Shukla, David A. Carrington, Paul A. Strooper:
A Passive Test Oracle Using a Component's API. APSEC 2005: 561-567 - [c60]Rakesh Shukla, Paul A. Strooper, David A. Carrington:
Tool Support for Statistical Testing of Software Components. APSEC 2005: 719-728 - [c59]David Hemer, Gregory Long, Paul A. Strooper:
Plug-in Proof Support for Formal Development Environments. CATS 2005: 69-79 - 2004
- [j15]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. IEEE Trans. Software Eng. 30(10): 675-693 (2004) - [c58]Leesa Murray, David A. Carrington, Paul A. Strooper:
An Approach to Specifying Software Frameworks. ACSC 2004: 185-192 - [c57]Chris Hunter, Peter J. Robinson, Paul A. Strooper:
Flexible Proof Reuse for Software Verification. AMAST 2004: 211-225 - [c56]Tim Miller, Paul A. Strooper:
A Case Study in Specification and Implementation Testing. APSEC 2004: 130-139 - [c55]Luke Wildman, Brad Long, Paul A. Strooper:
Testing Java Interrupts and Timed Waits. APSEC 2004: 438-447 - [c54]Rakesh Shukla, David A. Carrington, Paul A. Strooper:
Systematic Operational Profile Development for Software Components. APSEC 2004: 528-537 - [c53]Rakesh Shukla, Paul A. Strooper, David A. Carrington:
A Framework for Reliability Assessment of Software Components. CBSE 2004: 272-279 - [c52]Luke Wildman, Roger Duke, Paul A. Strooper:
Viewpoint-Based Testing of Concurrent Components. IFM 2004: 501-520 - [c51]Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman:
Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. IPDPS 2004 - [c50]Roger Duke, Tim Miller, Paul A. Strooper:
Integrating Formal Specification and Software Verification and Validation. TFM 2004: 124-139 - [p1]Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper:
Developing Logic Programs from Specifications Using Stepwise Refinement. Program Development in Computational Logic 2004: 66-89 - 2003
- [j14]Daniel Hoffman, Paul A. Strooper:
API documentation with executable examples. J. Syst. Softw. 66(2): 143-156 (2003) - [j13]Tim Miller, Paul A. Strooper:
A framework and tool support for the systematic testing of model-based specifications. ACM Trans. Softw. Eng. Methodol. 12(4): 409-439 (2003) - [j12]Brad Long, Daniel Hoffman, Paul A. Strooper:
Tool Support for Testing Concurrent Java Components. IEEE Trans. Software Eng. 29(6): 555-566 (2003) - [c49]Simon Carter, Malcolm Graham, Paul A. Strooper, Zhiguo Yuan:
Mutation Analysis to Verify Feature Matrices for Isolating Errors in Simulation Models. ACSC 2003: 29-34 - [c48]Jason McDonald, Paul A. Strooper, Daniel Hoffman:
Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications. APSEC 2003: 322-331 - [c47]Daniel Hoffman, Durga Prabhakar, Paul A. Strooper:
Testing iptables. CASCON 2003: 80-91 - [c46]Paul A. Strooper, David A. Carrington, Sharron Newby, Terry Stevenson:
Teaching Software Engineering Fundamentals to Practicing Engineers. CSEE&T 2003: 36-43 - [c45]Brad Long, Paul A. Strooper:
A Classification of Concurrency Failures in Java Components. IPDPS 2003: 287 - [c44]Tim Miller, Paul A. Strooper:
Supporting the Software Testing Process through Specification Animation. SEFM 2003: 14-23 - 2002
- [j11]Nigel Daley, Daniel Hoffman, Paul A. Strooper:
A framework for table driven testing of Java classes. Softw. Pract. Exp. 32(5): 465-493 (2002) - [j10]Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson:
A refinement calculus for logic programs. Theory Pract. Log. Program. 2(4-5): 425-460 (2002) - [c43]Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper:
Translating Refined Logic Programs to Mercury. ACSC 2002: 33-40 - [c42]Leesa Murray, Alena Griffiths, Paul A. Strooper:
OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy. ICECCS 2002: 232-237 - [c41]Tim Miller, Paul A. Strooper:
Model-Based Specification Animation Using Testgraphs. ICFEM 2002: 192-203 - [c40]Hagen Völzer, Brenton Atchison, Paul A. Strooper, Peter A. Lindsay, Anthony MacDonald:
A Tool for Subsystem Configuration Management. ICSM 2002: 492-500 - [c39]Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper:
Refinement of Higher-Order Logic Programs. LOPSTR 2002: 126-143 - [c38]David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin:
Don't Care Non-determinism in Logic Program Refinement. CATS 2002: 101-121 - [i1]Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson:
A Refinement Calculus for Logic Programs. CoRR cs.SE/0202002 (2002) - 2001
- [j9]Karl Lermer, Paul A. Strooper:
Refinement and state machine abstraction. Theor. Comput. Sci. 266(1-2): 195-235 (2001) - [c37]Chris Hunter, Paul A. Strooper:
Systematically Deriving Partial Oracles for Testing Concurrent Programs. ACSC 2001: 83-91 - [c36]Tim Miller, Paul A. Strooper:
Combining the Animation and Testing of Abstract Data Types. APAQS 2001: 249-258 - [c35]Craig Harvey, Paul A. Strooper:
Testing Java Monitors through Deterministic Execution. Australian Software Engineering Conference 2001: 61-67 - [c34]Tim Miller, Paul A. Strooper:
Animation Can Show Only the Presence of Errors, Never Their Absence. Australian Software Engineering Conference 2001: 76-88 - [c33]Peter A. Lindsay, Anthony MacDonald, Paul A. Strooper, Mark Staples:
A Framework for Subsystem-Based Configuration Management . Australian Software Engineering Conference 2001: 275-284 - [c32]Brad Long, Paul A. Strooper:
A Case Study in Testing Distributed Systems. DOA 2001: 20- - [c31]Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper:
Module Testing Embedded Software--An Industrial Pilot Project. ICECCS 2001: 233- - [c30]Brad Long, Daniel Hoffman, Paul A. Strooper:
A Concurrency Test Tool for Java Monitors. ASE 2001: 421-425 - [c29]David Hemer, Ian J. Hayes, Paul A. Strooper:
Refinement Calculus for Logic Programming in Isabelle/HOL. TPHOLs 2001: 249-264 - 2000
- [j8]David A. Carrington, Ian MacColl, Jason McDonald, Leesa Murray, Paul A. Strooper:
From Object-Z Specifications to ClassBench Test Suites. Softw. Test. Verification Reliab. 10(2): 111-137 (2000) - [c28]Robert Colvin, Ian J. Hayes, Paul A. Strooper:
Refining Logic Programs Using Types. ACSC 2000: 43-50 - [c27]Daniel Hoffman, Paul A. Strooper:
Tools and Techniques for Java API Testing. Australian Software Engineering Conference 2000: 235-246 - [c26]Karl Lermer, Paul A. Strooper:
A Single Complete Refinement Rule for Demonic Specifications. IFIP TCS 2000: 564-579 - [c25]Robert Colvin, Ian J. Hayes, Paul A. Strooper:
Modular Logic Program Refinement. LOPSTR 2000 - [c24]Robert Colvin, Ian J. Hayes, Paul A. Strooper:
A Technique for Modular Logic Program Refinement. LOPSTR (LNCS 2042: Selected Papers) 2000: 38-56 - [c23]Daniel Hoffman, Paul A. Strooper:
Prose + Test Cases = Specifications. TOOLS (34) 2000: 239-
1990 – 1999
- 1999
- [j7]Daniel Hoffman, Paul A. Strooper, Lee J. White:
Boundary Values and Automated Component Testing. Softw. Test. Verification Reliab. 9(1): 3-26 (1999) - [c22]Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper:
TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing. TOOLS (32) 1999: 222-233 - 1998
- [c21]Leesa Murray, Jason McDonald, Paul A. Strooper:
Specification-Based Class Testing with ClassBench. APSEC 1998: 164-173 - [c20]Jason McDonald, Paul A. Strooper:
Translating Object-Z Specifications to Passive Test Oracles. ICFEM 1998: 165-175 - [c19]Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington:
Specification-Based Class Testing: A Case Study. ICFEM 1998: 222-233 - [c18]Jason McDonald, Daniel Hoffman, Paul A. Strooper:
Programmatic Testing of the Standard Template Library Containers. ASE 1998: 147-156 - [c17]Daniel Hazel, Paul A. Strooper, Owen Traynor:
Requirements Engineering and Verification using Specification Animation. ASE 1998: 302-305 - [c16]Daniel Hoffman, Jayakrishnan Nair, Paul A. Strooper:
Testing Generic Ada Packages with APE. SIGAda 1998: 255-262 - [c15]Jason McDonald, Paul A. Strooper:
Testing Inheritance Hierarchies in the ClassBench Framework. TOOLS (28) 1998: 229- - [c14]Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper:
Formal Derivation of Finite State Machines for Class Testing. ZUM 1998: 42-59 - 1997
- [j6]Daniel Hoffman, Paul A. Strooper:
ClassBench: A Framework for Automated Class Testing. Softw. Pract. Exp. 27(5): 573-597 (1997) - [c13]Daniel Hazel, Paul A. Strooper, Owen Traynor:
Possum: An Animator for the SUM Specification Language. APSEC 1997: 42-51 - [c12]Jason McDonald, Leesa Murray, Paul A. Strooper:
Translating Object-Z Specifications to Object-Oriented Test Oracles. APSEC 1997: 414- - [c11]Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper:
Extending Test Templates with Inheritance. Australian Software Engineering Conference 1997: 80-87 - [c10]Paul A. Strooper:
Object-Oriented Testing. TOOLS (25) 1997: 359 - 1996
- [c9]Paul Bakker, Andrew Goodchild, Paul A. Strooper, David A. Carrington, Ian MacColl, Peter Creasy, Helen C. Purchase:
Setting up a tutor training programme in computer science. ACSE 1996: 254-259 - [c8]Daniel Hoffman, Paul A. Strooper, Peter Walsh:
Teaching and Testing. CSEE 1996: 248-258 - [c7]Ian J. Hayes, R. G. Nickson, Paul A. Strooper:
Refining Specifications to Logic Programs. LOPSTR 1996: 1-19 - 1995
- [b2]Daniel Hoffman, Paul A. Strooper:
Software design, automated testing, and maintenance - a practical approach. International Thomson 1995, ISBN 978-1-85032-206-1, pp. I-XIX, 1-399 - [j5]Daniel Hoffman, Paul A. Strooper:
The Testgraph Methodology: Automated Testing of Collection Classes. J. Object Oriented Program. 8(7): 35-41 (1995) - [c6]Daniel Hoffman, Paul A. Strooper:
State Abstraction and Modular Software Development. SIGSOFT FSE 1995: 53-61 - 1994
- [j4]Daniel Hoffman, Paul A. Strooper:
Graph-based Class Testing. Aust. Comput. J. 26(4): 158-163 (1994) - [c5]Daniel Hoffman, Jonathan Smillie, Paul A. Strooper:
Automated class testing: methods and experience. APSEC 1994: 163-171 - 1993
- [j3]Paul A. Strooper, Maarten H. van Emden:
Describing Symmetrical Structures in Logic. Ann. Math. Artif. Intell. 8(3-4): 301-314 (1993) - [c4]Daniel Hoffman, Paul A. Strooper:
A case study in class testing. CASCON 1993: 472-482 - 1991
- [j2]Daniel Hoffman, Paul A. Strooper:
Automated Module Testing in Prolog. IEEE Trans. Software Eng. 17(9): 934-943 (1991) - [c3]Paul A. Strooper, Daniel Hoffman:
Prolog Testing of C Modules. ISLP 1991: 596-608 - 1990
- [b1]