Suivre
Brad Long
Brad Long
Autres nomsBradley Long
Technology One Ltd and The University of Queensland
Adresse e-mail validée de longbrothers.net - Page d'accueil
Titre
Citée par
Citée par
Année
Tool support for testing concurrent Java components
B Long, D Hoffman, P Strooper
IEEE Transactions on Software Engineering 29 (6), 555-566, 2003
1012003
A classification of concurrency failures in Java components
B Long, P Strooper
Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003
442003
A method for verifying concurrent Java components based on an analysis of concurrency failures
B Long, P Strooper, L Wildman
Concurrency and Computation: Practice and Experience 19 (3), 281-294, 2007
422007
Mutation-based exploration of a method for verifying concurrent Java components
B Long, R Duke, D Goldson, P Strooper, L Wildman
18th International Parallel and Distributed Processing Symposium, 2004 …, 2004
302004
A case study in testing distributed systems
B Long, P Strooper
Proceedings 3rd International Symposium on Distributed Objects and …, 2001
262001
Losing sight of Humboldt: A synoptic review of Australian government policy over the last 35 years
B Long
Journal of Further and Higher Education 34 (3), 451-465, 2010
222010
Managing module dependencies to facilitate continuous testing
B Long
Information processing letters 108 (3), 127-131, 2008
212008
Testing concurrent Java components
B Long
University of Queensland, 2005
132005
Modelling java concurrency with object-z
R Duke, L Wildman, B Long
First International Conference onSoftware Engineering and Formal Methods …, 2003
132003
Testing Java interrupts and timed waits
L Wildman, B Long, P Strooper
11th Asia-Pacific Software Engineering Conference, 438-447, 2004
112004
Formal specification of Java concurrency to assist software verification
B Long, BW Long
Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003
112003
Dealing with non-determinism in testing concurrent java components
L Wildman, B Long, P Strooper
12th Asia-Pacific Software Engineering Conference (APSEC'05), 8 pp., 2005
92005
A concurrency test tool for Java monitors
B Long, D Hoffman, P Strooper
Proceedings 16th Annual International Conference on Automated Software …, 2001
92001
A design pattern for efficient retrieval of large data sets from remote data sources
B Long
OTM Confederated International Conferences" On the Move to Meaningful …, 2002
52002
A Framework for Model Checking Concurrent Java Components.
B Long
J. Softw. 4 (8), 867-874, 2009
42009
Tool support for testing Java monitors
B Long, D Hoffman, P Strooper
32001
Towards the design of a set-based Java collections framework
B Long
ACM SIGSOFT Software Engineering Notes 35 (5), 1-7, 2010
12010
Distributed result set iterator: a design pattern for efficient retrieval of large result sets from remote data sources
B Long
Journal of Parallel and Distributed Computing 64 (4), 536-545, 2004
12004
Classical Solutions for Quantum Challenges: An Introduction to Postquantum Cryptography
B Long
ACM SIGCAS Computers and Society 52 (2), 23-25, 2024
2024
Sorting non-key fields in the distributed result set iterator pattern
B Long
ACM SIGSOFT Software Engineering Notes 29 (5), 1-2, 2004
2004
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20