Browse by all authors Browse By Author ID - Strooper, Paul A.

Browse Results (113 results found)

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

Page 1 of 3

Result Pages:    1 2 3  next › last »

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Miller, Tim and Strooper, Paul (2012) A case study in model-based testing of specifications and implementations. Software Testing, Verification and Reliability, 22 1: 33-63. doi:10.1002/stvr.431 126   3 Cited 4 times in Scopus4 1
Miller, T. and Strooper, P. A. (2004). A case study in specification and implementation testing. 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, (130-139). 30 November-3 December 2004. doi:10.1109/APSEC.2004.1 227   0 Cited 1 times in Scopus1 0
Long, B. and Strooper, P. A. (2001). A case study in testing distributed systems. In: G. Blair, D. Schmidt and Z. Tari, Proceedings of the Third International Symposium on Distributed Objects and Applications. Third International Symposium on Distributed Objects and Applications, Rome, Italy, (20-30). 17-20 September, 2001. 123   0
Long, Brad and Strooper, Paul (2001) A Case Study in Testing Distributed Systems. Technical Report 01-10, Software Verification Research Centre, School of Information Technology, The University of Queensland. 1463 2291
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 105   0
Long, B., Hoffman, D. and Strooper, P. A. (2001). A concurrency test tool for java monitors. In: D. Richardson, M. Feather and M. Goedicke, Proceedings of the Sixteenth International Conference on Automated Software Engineering. Sixteenth International Conference on Automated Software Engineering, Coronado Island, California, (421-425). 26-29 November, 2001. 56   0
Hayes, Ian, Nickson, Ray, Strooper, Paul and Colvin, Robert (2000) A Declarative Semantics for Logic Program Refinement. Technical Report no. 00-30, Software Verification Research Centre, School of Information Technology, The University of Queensland. 517 607
Miller, T. and Strooper, P. (2003) A framework and tool support for the systematic testing of model-based specifications. Acm Transactions On Software Engineering And Methodology, 12 4: 409-439. doi:10.1145/990010.990012 53   7 Cited 10 times in Scopus10 0
Süß, Jörn Guy, Carrington, David, Robinson, Neil and Strooper, Paul (2012). Μίνθα: a framework for auto-programming and testing of railway controllers for varying clients. In Francesco Flammini (Ed.), Railway safety, reliability, and security: technologies and systems engineering (pp. 175-197) Hershey, PA, United States: IGI Global. doi:10.4018/978-1-4666-1643-1.ch008 100 12 0
Shukla, Rakesh, Strooper, Paul and Carrington, David (2004). A framework for reliability assessment of software components. In: Ivica Crnkovic, Judith Stafford, Heinz Schmidt and Kurt Wallnau, Proceedings of the 7th International Symposium on Component-Based Software Engineering. 7th International Symposium on Component-Based Software Engineering (CBSE 2004), Edinburgh, U.K., (272-279). 24-25 May 2004. doi:10.1007/b97813 307 1691 2 0
Shukla, Rakesh, Strooper, Paul and Carrington, David (2007) A framework for statistical testing of software components. International Journal of Software Engineering And Knowledge Engineering, 17 3: 379-405. doi:10.1142/S021819400700329X 150   0 Cited 0 times in Scopus0 0
Lindsay, P. A., Macdonald, A. J., Staples, M. and Strooper, P. A. (2001) A framework for subsystem-based configuration management. SVRC Tech Report 01-05, Software Verification Research Centre, School of Information Technology, The University of Queensland. 43  
Miller, Tim and Strooper, Paul (2002) A Framework for Systematic Specification Animation. Technical Report 02-35, Software Verification Research Centre, School of Information Technology, The University of Queensland. 319 629
Daley, N., Hoffman, D. and Strooper, P. (2002) A framework for table driven testing of Java classes. Software: Practice & Experience, 32 5: 465-493. doi:10.1002/spe.452 129   9 Cited 9 times in Scopus9 0
Hunter, Chris, Robinson, Peter J. and Strooper, Paul A. (2005). Agent-based distributed software verification. In: V. Estivill-Castro, Proceedings of the twenty eighth Australasian Computer Science Conference (ACSC 2005) Newcastle, Australia, January, 2005. Twenty Eighth Australasian Computer Science Conference (ACSC 2005), Newcastle, NSW, (159-164). 30 January - 2 February, 2005. 61  
Long, Brad, Strooper, Paul and Wildman, Luke (2007) A method for verifying concurrent Java components based on an analysis of concurrency failures. Concurrency and Computation, 19 3: 281-294. doi:10.1002/cpe.1063 108 1 4 Cited 9 times in Scopus9 0
Hakimi Pour, Niusha, Strooper, Paul and Wellings, Andy (2011) A model-based development approach for the verification of real-time Java code. Concurrency and Computation: Practice and Experience, 23 13: 1583-1606. doi:10.1002/cpe.1728 68   0 Cited 2 times in Scopus2 0
Murray, L. M., Carrington, D. A. and Strooper, P. A. (2004). An approach to specifying software frameworks. In: V. Estivill-Castro, Proceedings of the Twenty-Seventh Australasian Computer Science Conference (ACSC 2004). The Twenty-Seventh Australasian Computer Science Conference (ACSC 2004), Dunedin, New Zealand, (185-192). 18-22 January 2004. 59  
van den Berg, Lionel, Strooper, Paul and Johnston, Wendy (2007). An automated approach to the interpretation of counter-examples. In: Proceedings of the Workshop on Verification and Debugging (V&D 2006). Workshop on Verification and Debugging (V&D 2006), Seattle, WA, United States, (19-35). 21 August 2006. doi:10.1016/j.entcs.2006.12.027 67   Cited 2 times in Scopus2 0
Carrington, David, Kim, Soon-Kyeong and Strooper, Paul (2010). An experience report on using collaboration technologies for distance and on-campus learning. In: Tony Clear and John Hamer, ACE '10 Proceedings of the Twelfth Australasian Conference on Computing. Twelfth Australasian Computing Education Conference (ACE 2010), Brisbane, Qld, Australia, (45-52). 18 - 22 January, 2010. 123 1
Miller, T. and Strooper, P. A. (2001). Animation can show only the presence of errors, never their absence. In: D. Grant and L. Sterling, Proceedings of the 2001 Australian Software Engineering Conference. 2001 Australian Software Engineering Conference, Canberra, (76-85). 27-28 August, 2001. 81   3
Cahill, Brent, Carrington, David, Song, Brian and Strooper, Paul (2006). An industry-based evaluation of process modeling techniques. In: R. Messnarz, I. Richardson and P. Runeson, Proceedings of Software Process Improvement, 13th European Conference (EuroSPI 2006). EuroSPI 2006: 13th European Conference on Software Process Improvement, Joensuu, Finland, (111-122). 11-13 October 2006. doi:10.1007/11908562_11 95   0 Cited 0 times in Scopus0 0
Carrington, David, Strooper, Paul, Newby, Sharron and Stevenson, Terry (2005) An industry/university collaboration to upgrade software engineering knowledge and skills in industry. Journal of Systems And Software, 75 1-2: 29-39. doi:10.1016/j.jss.2004.02.020 86 1 5 Cited 9 times in Scopus9 0
Wojcicki, M. and Strooper, P. A. (2007). An iterative empirical strategy for the systematic selection of a combination of verification and validation technologies. In: B. Boehm, S. Chulani, J. Verner and B. Wong, Proceedings of the Fifth International Workshop on Software Quality (WoSQ 2007). Fifth International Workshop on Software Quality (WoSQ 2007), Minnesota, U.S.A., (). 20-26 May 2007. doi:10.1109/WOSQ.2007.4 69   Cited 0 times in Scopus0 0
Shukla, Rakesh, Carrington, David and Strooper, Paul (2005). A Passive Test Oracle Using a Component's API. In: J. Lee, W. C. Chu and P. Jalote, Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC'05). 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei, Taiwan, (561-567). 15-17 December, 2005. doi:10.1109/APSEC.2005.13 379 359 0 Cited 6 times in Scopus6 0
Hoffman, Daniel and Strooper, Paul (2001) API Documentation with Executable Examples. Technical Report 01-12, Software Verification Research Centre, School of Information Technology, The University of Queensland. 470 656
Hoffman, Daniel and Strooper, Paul (2003) API documentation with executable examples. Journal of Systems And Software, 66 2: 143-156. doi:10.1016/S0164-1212(02)00055-9 96   4 Cited 4 times in Scopus4 0
Escott, Eban, Strooper, Paul, Süß, Jörn Guy and King, Paul (2011). Architecture-centric model-driven web engineering. In: 18th Asia Pacific Software Engineering Conference (APSEC). 18th Asia Pacific Software Engineering Conference (APSEC), Ho Chi Minh City, Vietnam, (106-113). 5-8 December 2011. doi:10.1109/APSEC.2011.45 70 5 Cited 1 times in Scopus1 0
Hayes, Ian, Colvin, Robert, Hemer, David, Strooper, Paul and Nickson, Ray (2002) A refinement calculus for logic programs. Theory And Practice of Logic Programming, 2 Part 4-5: 425-460. doi:10.1017/S1471068402001448 71   3 Cited 2 times in Scopus2 0
Lermer, K. and Strooper, P. A. (2000). A single complete refinement rule for demonic specifications. In: J. van Leeuwen, O. Watanabe, M. Hagiya and P. D. Mosses, International Conference IFIP TCS2000. International Conference IFIP TCS2000, Sendai, Japan, (564-579). 17-19 August 2000. 42  
Wojcicki, M. A. and Strooper, P A (2006). A state-of-practice questionnaire on verification and validation for concurrent programs. In: L. Polloci and M. Pezze, Proceedings of the ISSTA 2006 Symposium & PADTAD-IV Workshop. Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD-IV) 2006, Maine, U.S.A., (1-10). 17 July, 2006. doi:10.1145/1147403.1147405 58   Cited 6 times in Scopus6 0
Colvin, Robert, Hayes, Ian and Strooper, Paul (2001). A technique for modular logic program refinement. In: K. Lau, Lecture Notes in Computer Science: Proceedings of the Tenth International Workshop on Logic Based Program Synthesis and Transformation. Tenth International Workshop on Logic-Based Program Synthesis and Transformation, London, England, (38-56). 24-28 July, 2001. doi:10.1007/3-540-45142-0_3 71   0 0
Colvin, R., Hayes, I., Nickson, R. and Strooper, P. (1997). A tool for logic program refinement (Extended abstract). In: Formal Methods Pacific Conference 1997. Formal Methods Pacific Conference (FMP 97), Wellington New Zealand, (289-290). 9-11 July 1997. 40   0
Volzer, Hagen, Atchison, Brenton, Lindsay, Peter, MacDonald, Anthony and Strooper, Paul (2002) A Tool for Subsystem Configuration Management. Technical Report 02-07, Software Verification Research Centre, School of Information Technology, The University of Queensland. 476 423
Voelzer, H. P., Atchison, B., Lindsay, P. A., Macdonald, A. J. and Strooper, P. A. (2002). A tool for subsystem configuration management. In: International Conference on Sotware Maintenance. ICSM 2002, Montreal, Canada, (492-500). 3-6 October, 2002. doi:10.1109/ICSM.2002.1167810 33   1 0
Nguyen, Duc Hoai, Strooper, Paul and Süß, Jörn Guy (2010). Automated functionality testing through GUIs. In: Bernard Mans, Mark Reynolds, Vladimir Estivill-Castro and Simeon J. Simoff, Computer Science 2010: Proceedings of theThirty-Third Australasian Computer Science Conference (ACSC 2010). ACSW 2010: The Thirty-Third Australasian Computer Science Conference, Brisbane, QLD, Australia, (153-162). 18-22 January 2010. 48 1 Cited 0 times in Scopus0
Javed, A. Z., Strooper, P. A. and Watson, G. N. (2007). Automated generation of test cases using model-driven architecture. In: H. Zhu, E. Wong and A. Paradkar, Automation of Software Test 2007 (AST '07). Second International Workshop on Automation of SoftwareTest 2007 (AST '07), Minnesota, U.S.A., (). 20-26 May 2007. doi:10.1109/AST.2007.2 131   Cited 0 times in Scopus0 0
Strooper, P. A. (1999) Book Review: Software fault injection: Inoculating programs against errors. Computing Reviews, 40 2: 109-110. 49  
Hoffman, D., Strooper, P. A. and White, L. (1999) Boundary values and automated testing. Journal on Software Testing, Verification and Reliability, 9 1: 3-26. 41  
Colvin, Robert, Hayes, Ian J. and Strooper, Paul A. (2008) Calculating modules in contextual logic program refinement. Theory and Practice of Logic Programming, 8 1: 1-31. doi:10.1017/S1471068407003043 78   0 Cited 0 times in Scopus0 0
Miller, T. and Strooper, P. A. (2001). Combining the animation and testing of abstract data types. In: Y.T. Yu and T.Y. Chen, Proceedings of the Second Asia-Pacific Conference on Quality Software. Second Asia-Pacific Conference on Quality Software, Hong Kong, (249-258). 10-11 December, 2001. 32   0
Miller, Tim and Strooper, Paul (2001) Combining the Animation and Testing of Abstract Data Types. Technical Report 01-17, Software Verification Research Centre, School of Information Technology, The University of Queensland. 457 1297
Ngui, J., Strooper, P. A., Wildman, L. and Wojcicki, M. (2007). Comparing the cost-effectiveness of statically analysing and model checking concurrent java components for deadlocks. In: J. Grundy and J. Han, Proceedings of the 2007 Australian Software Engineering Conference (ASWEC '07). 18th Australian Conference on Software Engineeing (ASWEC '07), Melbourne, Australia, (223-232). 10-13 April 2007. doi:10.1109/ASWEC.2007.16 83   0 Cited 2 times in Scopus2 0
Colvin, R., Hayes, I. J. and Strooper, P. (1998). Data refining logic programs. In: Jim Grundy, Martin Schwenke and Trevor Vickers, Proceedings of IRW/FMP. International Refinement Workshop and Formal Methods Pacific '98, Canberra, Australia, (100-116). 29 September - 2 October, 1998. 98  
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
Colvin, Robert, Groves, Lindsay, Hayes, Ian J., Hemer, David, Nickson, Ray and Strooper, Paul (2004). Developing logic programs from specifications using stepwise refinement. In Maurice Bruynooghe and Kunk-Kiu Lau (Ed.), Program Development in Computational Logic (pp. 66-89) Berlin: Springer Verlag. 125 95 1
Hemer, D. G., Colvin, R., Hayes, I. J. and Strooper, P. A. (2001) Don't care non-determinism in logic program refinement. SRV Techical Report No. 01-27, Software Verification Research Centre, School of Information Technology, The University of Queensland. 61  
Hemer, David, Colvin, Robert, Hayes, Ian and Strooper, Paul (2002). Don't care non-determinism in logic program refinement. In: James Harland, Electronic Notes in Theoretical Computer Science: Proceedings of the Australasian Theory Symposium. CATS'02, Computing: the Australasian Theory Symposium, Amsterdam, Denmark, (101-121). 28 January - 1 February 2002. doi:10.1016/S1571-0661(04)00308-1 97   Cited 1 times in Scopus1 0
Mealy, E and Strooper, P A (2006). Evaluating software refactoring tool support. In: J. Han and M. Staples, Proceedings of the 2006 Australian Software Engineering Conference (ASWEC 2006). 2006 Australian Sottware Engineering Conference (ASWEC 2006), Sydney, Australia, (331-340). 18-21 April, 2006. 69 5 0 Cited 6 times in Scopus6
Strooper, P. A. and Meinicke, L. (2007). Evaluation of a new assessment scheme for a third-year concurrency course. In: Simon Mann, Proceedings of the Ninth Australiasian Computing Education Conference (ACE 2007). Ninth Australiasian Computing Education Conference (ACE 2007), Ballarat, Victoria, Australia, (147-154). 30 January - 2 February, 2007. 73  

Page 1 of 3

Result Pages:    1 2 3  next › last »