MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Mark Utting" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 36 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Jaza User Manual and Tutorial  
  • by Mark Utting — 2005
  • …Jaza User Manual and Tutorial Mark Utting The University of Waikato Hamilton, New Zealand Email…
  • Add To MetaCart
  • Data structures for Z testing tools  
  • by Mark Utting — 2000 — In FMTOOLS 2000, TR 2000-07, Information Faculty, Univ. of
  • …Data Structures for Z Testing Tools Mark Utting Waikato University, Hamilton, New Zealand Email…
  • Cited by 5 (0 self) – Add To MetaCart
  • Position paper: model-based testing  
  • by Mark Utting — Verified Software: Theories, Tools, Experiments. ETH Zürich, IFIP WG
  • …Position Paper: Model-Based Testing 1 Introduction Mark Utting The University of Waikato, New…
  • Cited by 1 (0 self) – Add To MetaCart
  • Reasoning about Aliasing  
  • by Mark Utting, Mark Utting — 1996 — In The Fourth Australasian Refinement Workshop
  • … Queensland 4072 Australia TECHNICAL REPORT No. 96-37 Reasoning about Aliasing Mark Utting December 1996 Phone…
  • Cited by 12 (0 self) – Add To MetaCart
  • Implementing the Zc Logic in Ergo  
  • by Mark Utting, Steve Reeves — 1998
  • …Implementing the Z c Logic in Ergo Mark Utting and Steve Reeves Department of Computer Science…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB