Browse by all authors Browse By Author ID - Timothy Miller

Browse Results (3 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, 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 225   0 Cited 1 times in Scopus1 0
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 52   7 Cited 10 times in Scopus10 0
Miller, T. and Strooper, P. A. (2002). Model-based specification animation using testgraphs. In: C. George and H. Miao, Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods. 4th International Conference on Formal Engineering Methods, Shanghai, China, (192-203). 21-25 October, 2002. 36 28 2