2008 |
14 | EE | Brad Long:
Managing module dependencies to facilitate continuous testing.
Inf. Process. Lett. 108(3): 127-131 (2008) |
2007 |
13 | EE | Brad Long,
Paul A. Strooper,
Luke Wildman:
A method for verifying concurrent Java components based on an analysis of concurrency failures.
Concurrency and Computation: Practice and Experience 19(3): 281-294 (2007) |
2005 |
12 | EE | Luke Wildman,
Brad Long,
Paul A. Strooper:
Dealing with Non-Determinism in Testing Concurrent Java Components.
APSEC 2005: 393-400 |
2004 |
11 | EE | Luke Wildman,
Brad Long,
Paul A. Strooper:
Testing Java Interrupts and Timed Waits.
APSEC 2004: 438-447 |
10 | EE | Brad Long,
Roger Duke,
Doug Goldson,
Paul A. Strooper,
Luke Wildman:
Mutation-Based Exploration of a Method for Verifying Concurrent Java Components.
IPDPS 2004 |
9 | EE | Brad Long:
Sorting non-key fields in the distributed result set iterator pattern.
ACM SIGSOFT Software Engineering Notes 29(5): 1-2 (2004) |
8 | EE | Brad Long:
Distributed result set iterator: a design pattern for efficient retrieval of large result sets from remote data sources.
J. Parallel Distrib. Comput. 64(4): 536-545 (2004) |
2003 |
7 | EE | Brad Long,
Benjamin W. Long:
Formal Specification of Java Concurrency to Assist Software Verification.
IPDPS 2003: 136 |
6 | EE | Brad Long,
Paul A. Strooper:
A Classification of Concurrency Failures in Java Components.
IPDPS 2003: 287 |
5 | EE | Roger Duke,
Luke Wildman,
Brad Long:
Modelling Java Concurrency with Object-Z.
SEFM 2003: 173-181 |
4 | EE | Brad Long,
Daniel Hoffman,
Paul A. Strooper:
Tool Support for Testing Concurrent Java Components.
IEEE Trans. Software Eng. 29(6): 555-566 (2003) |
2002 |
3 | EE | Brad Long:
A Design Pattern for Efficient Retrieval of Large Data Sets from Remote Data Sources.
CoopIS/DOA/ODBASE 2002: 650-660 |
2001 |
2 | EE | Brad Long,
Daniel Hoffman,
Paul A. Strooper:
A Concurrency Test Tool for Java Monitors.
ASE 2001: 421-425 |
1 | EE | Brad Long,
Paul A. Strooper:
A Case Study in Testing Distributed Systems.
DOA 2001: 20- |