Mark Utting

Software · 2012

A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 3 researchers here, as inferred from the citation graph.

Subfields

Whom Mark Utting trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Alexander Pretschner
  2. Axel van Lamsweerde
  3. A. C. Dias Neto
  4. Rajesh Subramanyan
  5. Jeff Offutt

Who trusts Mark Utting overall

  1. Vaggelis Atlidakis
  2. Earl T. Barr
  3. Patrice Godefroid
  4. Mark Harman

Papers from Mark Utting's perspective

Ordered by how strongly the researchers Mark Utting trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Model-Based Testing in Practice (World Congress on Formal Methods)
  2. Generating test data from state‐based specifications (Software testing, verification & reliability)
  3. Combination testing strategies: a survey (Software testing, verification & reliability)
  4. Using formal specifications to support testing (CSUR)
  5. Formal specification: a roadmap (International Conference on Software Engineering)
  6. A survey on model-based testing approaches: a systematic review (WEASELTech '07)
  7. Black Box Testing: Techniques for Functional Testing of Software and Systems
  8. Misuse Cases: Use Cases with Hostile Intent (IEEE Software)
  9. A UML-Based Approach to System Testing (Journal of Software and Systems Modeling)
  10. I and i

Their papers