IEEE - Institute of Electrical and Electronics Engineers, Inc. - Concurrent N-Switch Coverage Criterion for Generating Test Cases from Place/Transition Nets

2010 IEEE/ACIS 9th International Conference on Computer and Information Science (ICIS)

Author(s): Takagi, T. ; Oyaizu, N. ; Furukawa, Z.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2010
Conference Location: Yamagata, Japan, Japan
Conference Date: 18 August 2010
Page(s): 782 - 787
ISBN (Paper): 978-1-4244-8198-9
DOI: 10.1109/ICIS.2010.135
Regular:

A PN (place/transition net) is known as an algebraic model that is useful for describing concurrent, distributed and asynchronous properties of software, and it is also recognized as a model of... View More

Advertisement