Toward Model Based Testing: Combining AADLS with High Level Petri Nets.

Hassan Reza Feifei Gu Bahram Shafai

Published in: Software Engineering Research and Practice (2010)

Keyphrases

model based testing
petri net
high level petri nets
test cases
sequence diagrams
databases
software development
software design
database
database systems
intrusion detection
testing process