Login / Signup
Mutation Testing Applied to Validate Specifications Based on Petri Nets.
Sandra Camargo Pinto Ferraz Fabbri
José Carlos Maldonado
Paulo Cesar Masiero
Márcio Eduardo Delamaro
W. Eric Wong
Published in:
FORTE (1995)
Keyphrases
</>
petri net
state machines
manufacturing systems
petri net model
service composition
discrete event systems
concurrent systems
reactive systems
colored petri nets
mutation testing
embedded real time systems