Paul Strooper
- Software top 0.5%
- Software Testing and Debugging Techniques 74
- Software Reliability and Analysis Research 47
- Model-Driven Software Engineering Techniques 12
- Information Systems top 1%
- Software Engineering Research 44
- Hardware and Architecture top 5%
-
- Formal Methods in Verification 28
-
- Software System Performance and Reliability 8
-
- Advanced Software Engineering Methodologies 19
- Logic, programming, and type systems 16
- Co-authors
- Daniel HoffmanDavid CarringtonTim MillerGeoffrey WatsonLee WhiteIan MacCollPeta WyethRakesh Shukla
- Journals
- Software Testing Verification and Reliability (4 papers)Software Practice and Experience (4 papers)Journal of Systems and Software (3 papers)
- Partner nations
- AustraliaCanadaUnited States
In The Last Decade
Paul Strooper
100 papers receiving 901 citations
Peers
Comparison fields: 5 of 48
- Software 772
- Information Systems 505
- Hardware and Architecture 117
- Computational Theory and Mathematics 160
- Computer Networks and Communications 191
Countries citing papers authored by Paul Strooper
This map shows the geographic impact of Paul Strooper's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Paul Strooper with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Paul Strooper more than expected).
Fields of papers citing papers by Paul Strooper
This network shows the impact of papers produced by Paul Strooper. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Paul Strooper. The network helps show where Paul Strooper may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Paul Strooper, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | A pseudo-genetic algorithm for optimising test cases | 2017 | 0 |
| 2 | 2011 | 4 | |
| 3 | 2011 | 3 | |
| 4 | 2010 | 7 | |
| 5 | 2010 | 4 | |
| 6 | Exploring model-based development for the verification of real-time Java code | 2008 | 3 |
| 7 | Evaluation of a new assesment scheme for a third-year concurrency course | 2007 | 1 |
| 8 | 2007 | 27 | |
| 9 | Agent-based distributed software verification | 2005 | 3 |
| 10 | Plug-in proof support for formal development environments | 2005 | 0 |
| 11 | An approach to specifying software frameworks | 2004 | 4 |
| 12 | Testing iptables | 2003 | 13 |
| 13 | 2003 | 17 | |
| 14 | Requirements traceability for embedded software - an industry experience report | 2002 | 8 |
| 15 | 2002 | 6 | |
| 16 | Tool Support for Testing Java Monitors | 2001 | 2 |
| 17 | Data refining logic programs | 1998 | 3 |
| 18 | The Testgraph Methodology: Automated Testing of Collection Classes. | 1995 | 21 |
| 19 | GRAPH-BASED CLASS TESTING | 1994 | 15 |
| 20 | A case study in class testing | 1993 | 10 |
About Paul Strooper
Paul Strooper is a scholar working on Software, Information Systems, Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence, having authored 108 papers that have together received 998 indexed citations. Recurring topics across this work include Software Testing and Debugging Techniques (74 papers), Software Reliability and Analysis Research (47 papers), Software Engineering Research (44 papers), Formal Methods in Verification (28 papers), Advanced Software Engineering Methodologies (19 papers), Logic, programming, and type systems (16 papers), Model-Driven Software Engineering Techniques (12 papers) and Software System Performance and Reliability (8 papers). The work is most often cited by research in Software (772 citations), Information Systems (505 citations), Hardware and Architecture (117 citations), Computational Theory and Mathematics (160 citations) and Computer Networks and Communications (191 citations). Paul Strooper has collaborated with scholars based in Australia, Canada and United States. Frequent co-authors include Daniel Hoffman, David Carrington, Tim Miller, Geoffrey Watson, Lee White, Ian MacColl, Peta Wyeth, Rakesh Shukla, Peter Lindsay and Peter Robinson. Their work appears in journals such as Software Testing Verification and Reliability, Software Practice and Experience, Journal of Systems and Software, IEEE Transactions on Software Engineering and ACM Transactions on Software Engineering and Methodology.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.