Browse by all authors Browse By Author Name - Miller,+Tim

Browse Results (5 results found)

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

  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
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. 318 626
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. 456 1290
Duke, Roger, Miller, Tim and Strooper, Paul (2004). Integrating formal specification and software verification and validation. In: R. Boute and C. Dean, Teaching Formal Methods: Proceedings of the CoLogNET/FME Symposium, TFM 2004. CoLogNET/FME Symposium on Teaching Formal Methods, Ghent, Belgium, (124-139). 18-19 November, 2004. doi:10.1007/b102075 74   1 0
Miller, Tim and Strooper, Paul (2002) Model-Based Specification Animation Using Testgraphs. Technical Report 02-15, Software Verification Research Centre, School of Information Technology, The University of Queensland. 300 745