A Compositional Testing Framework Driven by Partial Specifications.

Yliès Falcone Jean-Claude Fernandez Laurent Mounier Jean-Luc Richier

Published in: TestCom/FATES (2007)

Keyphrases

main contribution
framework enables
probabilistic model
software architecture
neural network
lightweight
computational model
real time
learning algorithm
artificial intelligence
case study