Tool support for testing concurrent Java components B Long, D Hoffman, P Strooper IEEE Transactions on Software Engineering 29 (6), 555-566, 2003 | 101 | 2003 |
A classification of concurrency failures in Java components B Long, P Strooper Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003 | 44 | 2003 |
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 | 42 | 2007 |
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 | 30 | 2004 |
A case study in testing distributed systems B Long, P Strooper Proceedings 3rd International Symposium on Distributed Objects and …, 2001 | 26 | 2001 |
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 | 22 | 2010 |
Managing module dependencies to facilitate continuous testing B Long Information processing letters 108 (3), 127-131, 2008 | 21 | 2008 |
Testing concurrent Java components B Long University of Queensland, 2005 | 13 | 2005 |
Modelling java concurrency with object-z R Duke, L Wildman, B Long First International Conference onSoftware Engineering and Formal Methods …, 2003 | 13 | 2003 |
Testing Java interrupts and timed waits L Wildman, B Long, P Strooper 11th Asia-Pacific Software Engineering Conference, 438-447, 2004 | 11 | 2004 |
Formal specification of Java concurrency to assist software verification B Long, BW Long Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003 | 11 | 2003 |
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 | 9 | 2005 |
A concurrency test tool for Java monitors B Long, D Hoffman, P Strooper Proceedings 16th Annual International Conference on Automated Software …, 2001 | 9 | 2001 |
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 | 5 | 2002 |
A Framework for Model Checking Concurrent Java Components. B Long J. Softw. 4 (8), 867-874, 2009 | 4 | 2009 |
Tool support for testing Java monitors B Long, D Hoffman, P Strooper | 3 | 2001 |
Towards the design of a set-based Java collections framework B Long ACM SIGSOFT Software Engineering Notes 35 (5), 1-7, 2010 | 1 | 2010 |
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 | 1 | 2004 |
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 |