Brad Long

19 papers A* 1A 3B 1C 2Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
Classical Solutions for Quantum Challenges: An Introduction to Postquantum Cryptography.
SIGCAS Comput. Soc.
Brad Long
2010 J jnl
Towards the design of a set-based Java collections framework.
ACM SIGSOFT Softw. Eng. Notes
Brad Long
2010 J jnl
Towards the design of a set-based Java collections framework.
ACM SIGSOFT Softw. Eng. Notes
Brad Long
2009 J jnl
A Framework for Model Checking Concurrent Java Components.
J. Softw.
Brad Long
2008 J jnl
Managing module dependencies to facilitate continuous testing.
Inf. Process. Lett.
Brad Long
2007 J jnl
A method for verifying concurrent Java components based on an analysis of concurrency failures.
Concurr. Comput. Pract. Exp.
Brad Long, Paul A. Strooper, Luke Wildman
2005 C conf
Dealing with Non-Determinism in Testing Concurrent Java Components.
APSEC
Luke Wildman, Brad Long, Paul A. Strooper
2005 — —
Testing concurrent Java components
Brad Long
2004 J jnl
Distributed result set iterator: a design pattern for efficient retrieval of large result sets from remote data sources.
J. Parallel Distributed Comput.
Brad Long
2004 A conf
Mutation-Based Exploration of a Method for Verifying Concurrent Java Components.
IPDPS
Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman
2004 J jnl
Sorting non-key fields in the distributed result set iterator pattern.
ACM SIGSOFT Softw. Eng. Notes
Brad Long
2004 C conf
Testing Java Interrupts and Timed Waits.
APSEC
Luke Wildman, Brad Long, Paul A. Strooper
2003 A conf
A Classification of Concurrency Failures in Java Components.
IPDPS
Brad Long, Paul A. Strooper
2003 A conf
Formal Specification of Java Concurrency to Assist Software Verification.
IPDPS
Brad Long, Benjamin W. Long
2003 B conf
Modelling Java Concurrency with Object-Z.
SEFM
Roger Duke, Luke Wildman, Brad Long
2003 J jnl
Tool Support for Testing Concurrent Java Components.
IEEE Trans. Software Eng.
Brad Long, Daniel Hoffman, Paul A. Strooper
2002 — conf
A Design Pattern for Efficient Retrieval of Large Data Sets from Remote Data Sources.
OTM
Brad Long
2001 — conf
A Case Study in Testing Distributed Systems.
DOA
Brad Long, Paul A. Strooper
2001 A* conf
A Concurrency Test Tool for Java Monitors.
ASE
Brad Long, Daniel Hoffman, Paul A. Strooper