Browse By Depositor - Professor Paul Strooper

Browse Results (5 results found)

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


 Browse By Depositor - Professor Paul Strooper:
  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 125   3 Cited 4 times in Scopus4 1
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
Hakimipour, Niusha and Strooper, Paul (2012). Exploring an approach to model-based testing from behavior trees. In: Karl R. P. H. Leung and Pornsiri Muenchaisri, APSECW 2012: Proceedings of the 19th Asia-Pacific Software Engineering Conference. APSECW 2012: 19th Asia-Pacific Engineering Conference: International Workshop on Software Analysis, Testing and Applications: SATA 2012, Hong Kong, (80-86). 4-7 December 2012. doi:10.1109/APSEC.2012.95 51 3 0 Cited 0 times in Scopus0 0
Nguyen, Duc Hoai, Strooper, Paul and Suess, Jorn Guy (2010). Model-based testing of multiple GUI variants using GUI test generator. In: AST '10 Proceedings of the 5th Workshop on Automation of Software Test. 5th International Workshop on Automation of Software Test (AST 2010), Cape Town, South Africa, (24-30). 3-4 May 2010. doi:10.1145/1808266.1808270 77   Cited 0 times in Scopus0 0
Hakimipour, Niusha, Strooper, Paul and Wellings, Andy (2010). TART: Timed-automata to real-time Java tool. In: 2010 8th IEEE International Conference on Software Engineering and Formal Methods. Software Engineering and Formal Methods (SEFM 2010), Pisa, Italy, (299-309). 13-18 September 2010. doi:10.1109/SEFM.2010.39 86 2 Cited 2 times in Scopus2 0