A Logic-based Passive Testing Approach for the Validation of Communicating Protocols.

Xiaoping Che Felipe Lalanne Stephane Maag

Published in: ENASE (2012)

Keyphrases

test cases
model based testing
real time
data mining
information retrieval
knowledge base
website
neural network
artificial intelligence
social networks
test data
test generation