A methodology for evaluating test coverage criteria of high level Petri nets Article

Ding, Junhua, Clarke, Peter J, Argote-Garcia, Gonzalo et al. (2009). A methodology for evaluating test coverage criteria of high level Petri nets . 51(11), 1520-1533. 10.1016/j.infsof.2009.06.014

keywords

  • ADEQUACY
  • CONCURRENT PROGRAMS
  • Computer Science
  • Computer Science, Information Systems
  • Computer Science, Software Engineering
  • MODEL
  • Model checker SPIN
  • Predicate/transition nets
  • SPECIFICATIONS
  • SYSTEMS
  • Science & Technology
  • Software testing
  • Technology
  • Test adequacy criteria

Digital Object Identifier (DOI)

start page

  • 1520

end page

  • 1533

volume

  • 51

issue

  • 11