IRUS-ANZ has moved. From January 2022, new monthly statistics will only be added to the IRUS R5 service. This site is archived. All statistics up to December 2021 will remain available on this site.
| Author | Identifier | Number of Items | Total Downloads |
|---|---|---|---|
| Strooper, P |  https://orcid.org/0000-0003-4789-2897 |
29 | 1883 |
| Title | Author(s) | IrusType | Repository | Item URL | Total Downloads |
|---|---|---|---|---|---|
| Μίνθα: a framework for auto-programming and testing of railway controllers for varying clients | Süß, Jörn Guy; Carrington, David; Robinson, Neil; Strooper, Paul | Book Section | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:274105 | 1 |
| A case study in model-based testing of specifications and implementations | Miller, Tim; Strooper, Paul | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:266588 | 4 |
| A Case Study in Testing Distributed Systems | Long, Brad; Strooper, Paul | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10583 | 639 |
| A Declarative Semantics for Logic Program Refinement | Hayes, Ian; Nickson, Ray; Strooper, Paul; Colvin, Robert | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10587 | 9 |
| A framework for reliability assessment of software components | Shukla, Rakesh; Strooper, Paul; Carrington, David | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:9887 | 105 |
| A Framework for Systematic Specification Animation | Miller, Tim; Strooper, Paul | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10538 | 6 |
| A Passive Test Oracle Using a Component's API | Shukla, Rakesh; Carrington, David; Strooper, Paul | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:8492 | 89 |
| A pseudo-genetic algorithm for optimising test cases | Yasin, Suhaila M.; Strooper, Paul A.; Steel,Jim R. H. | Conference Papers/Posters | University of Queensland [UQ eSpace] | 21 | |
| A Tool for Subsystem Configuration Management | Volzer, Hagen; Atchison, Brenton; Lindsay, Peter; MacDonald, Anthony; Strooper, Paul | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10548 | 57 |
| API Documentation with Executable Examples | Hoffman, Daniel; Strooper, Paul | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10582 | 99 |
| Architecture-centric model-driven web engineering | Escott, Eban; Strooper, Paul; Süß, Jörn Guy; King, Paul | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:266274 | 3 |
| Combining the Animation and Testing of Abstract Data Types | Miller, Tim; Strooper, Paul | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10580 | 61 |
| Developing logic programs from specifications using stepwise refinement | Colvin, Robert; Groves, Lindsay; Hayes, Ian J.; Hemer, David; Nickson, Ray; Strooper, Paul | Book Section | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:70479 | 58 |
| Exploring model-based development for the verification of real-time Java code | Hakimipour, Niusha; Strooper, Paul; Duke, Roger | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:176428 | 17 |
| Formal derivation of finite state machines for class testing | Murray, Leesa; Carrington, David; MacColl, Ian; McDonald, Jason; Strooper, Paul | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:286762 | 109 |
| Improving usability of software refactoring tools | Mealy, Erica; Carrington, David; Strooper, Paul; Wyeth, Peta | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:135098 | 2 |
| Integrating model-based testing in model-driven web engineering | Escott, Eban; Strooper, Paul; Steel, Jim; King, Paul | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:266275 | 1 |
| Introducing time in an industrial application of model-checking | van den Berg, L.; Strooper, P.; Winter, K. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:176685 | 1 |
| Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent Java components | Wojcicki, Margaret A.; Strooper, Paul | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:104279 | 1 |
| Model-Based Specification Animation Using Testgraphs | Miller, Tim; Strooper, Paul | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10546 | 62 |
| Refinement and State Machine Abstraction | Lermer, Karl; Strooper, Paul | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10597 | 34 |
| Refinement of higher-order logic programs | Colvin, Robert; Hayes, Ian J.; Hemer, David G.; Strooper, Paul A. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:98873 | 76 |
| Specification-based class testing with ClassBench | Murray, Leesa; McDonald, Jason; Strooper, Paul | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:286771 | 1 |
| Systematic Operational Profile Development for Software Components | Shukla, Rakesh; Carrington, David; Strooper, Paul | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:9886 | 231 |
| Tool support for statistical testing of software components | Shukla, R. Y.; Strooper, P. A.; Carrington, D. A. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:8491 | 72 |
| Tool Support for Testing Java Monitors | Long, Brad; Hoffman, Dan; Strooper, Paul | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10578 | 8 |
| Translating Refined Logic Programs to Mercury | Colvin, Robert; Hemer, David; Hayes, Ian; Strooper, Paul | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10572 | 24 |
| Two case studies in grammar-based test generation | Hoffman, Daniel; Wang, Hong-Yi; Chang, Mitch; Ly-Gagnon, David; Sobotkiewicz, Lewis; Strooper, Paul | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:225161 | 2 |
| Viewpoint-based testing of concurrent components | Wildman, Luke; Duke, Roger; Strooper, Paul | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:100719 | 90 |
