Brad Long

According to our database, Brad Long authored at least 17 papers between 2001 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Towards the design of a set-based Java collections framework.

Brad Long

ACM SIGSOFT Softw. Eng. Notes, 2010

2009

A Framework for Model Checking Concurrent Java Components.

Brad Long

J. Softw., 2009

2008

Managing module dependencies to facilitate continuous testing.

Brad Long

Inf. Process. Lett., 2008

2007

A method for verifying concurrent Java components based on an analysis of concurrency failures.

Brad Long, Paul A. Strooper, Luke Wildman

Concurr. Comput. Pract. Exp., 2007

2005

Testing concurrent Java components

Brad Long

PhD thesis, 2005

Dealing with Non-Determinism in Testing Concurrent Java Components.

Luke Wildman, Brad Long, Paul A. Strooper

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

Sorting non-key fields in the distributed result set iterator pattern.

Brad Long

ACM SIGSOFT Softw. Eng. Notes, 2004

Distributed result set iterator: a design pattern for efficient retrieval of large result sets from remote data sources.

Brad Long

J. Parallel Distributed Comput., 2004

Mutation-Based Exploration of a Method for Verifying Concurrent Java Components.

Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Testing Java Interrupts and Timed Waits.

Luke Wildman, Brad Long, Paul A. Strooper

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

Tool Support for Testing Concurrent Java Components.

Brad Long, Daniel Hoffman, Paul A. Strooper

IEEE Trans. Software Eng., 2003

Modelling Java Concurrency with Object-Z.

Roger Duke, Luke Wildman, Brad Long

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

A Classification of Concurrency Failures in Java Components.

Brad Long, Paul A. Strooper

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Formal Specification of Java Concurrency to Assist Software Verification.

Brad Long, Benjamin W. Long

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

A Design Pattern for Efficient Retrieval of Large Data Sets from Remote Data Sources.

Brad Long

Proceedings of the On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002

2001

A Concurrency Test Tool for Java Monitors.

Brad Long, Daniel Hoffman, Paul A. Strooper

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

A Case Study in Testing Distributed Systems.

Brad Long, Paul A. Strooper

Proceedings of the 3rd International Symposium on Distributed Objects and Applications, 2001