Browse by all authors Browse By Author ID - Bradley Long

Browse Results (7 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Long, B. J. and Strooper, P. A. (2003). A classification of concurrency failures in java components. In: M. Charpentier and B. Sanders, Proceedings of the International Parallel and Distributed Processing Symposium 2003. International Parallel and Distributed Processing Symposium 2003, Nice, France, (287-294). 22-26 April 2003. doi:10.1109/IPDPS.2003.1213512 103   0
Wildman, Luke, Long, Brad and Strooper, Paul (2005). Dealing with non-determinism in testing concurrent java components. In: J. Lee, W.C. Chu and P. Jalote, Proceedings: Asia-Pacific Software Engineering Conference. 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei, Taiwan, (393-400). 15-17 December 2005. doi:10.1109/APSEC.2005.58 79   0 Cited 3 times in Scopus3 0
Long, B. J. and Long, B. W. (2003). Formal specification of Java concurrency to assist software verification. In: B. Werner, Proceedings of the IEEE International Parallel and Distributed Processing Symposium (IPDPS 2003). IEEE International Parallel and Distributed Processing Symposium (IPDPS 2003), Nice, France, (1-9). 22-26 April 2003. 39  
Duke, R. W., Wildman, L. P. and Long, B. J. (2003). Modelling Java concurrency with Object-Z. In: A. Cerone and P. Lindsay, Proceedings of the First International Conference on Software Engineering and Formal Methods. First International Conference on Software Engineering and Formal Methods 2003, Brisbane, Australia, (173-181). 25-26 September 2003. doi:10.1109/SEFM.2003.1236219 67   1 0
Long, B. J., Duke, R. W., Goldson, D. W., Strooper, P. A. and Wildman, L. P. (2004). Mutation-based exploration of a method for verifying concurrent Java components. In: B. Monien, Proceedings of the Eighteenth International Parallel and Distributed Processing Symposium (IPDPS 2004). The Eighteenth International Parallel and Distributed Processing Symposium (IPDPS 2004), Santa Fe, New Mexico, (265-1-265-8). 26-30 April 2004. doi:10.1109/IPDPS.2004.1303338 66   0
Wildman, L. P., Long, B. J. and Strooper, P. A. (2004). Testing java interrupts and timed waits. In: D. Bae and W. Chu, Proceedings of the Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004). The Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004), Busan, Korea, (438-447). 30 November-3 December 2004. doi:10.1109/APSEC.2004.97 55   1 Cited 5 times in Scopus5 0
Long, B., Hoffman, D. and Strooper, P. (2003) Tool support for testing concurrent Java components. Ieee Transactions On Software Engineering, 29 6: 555-566. doi:10.1109/TSE.2003.1205182 91   22 Cited 37 times in Scopus37 0