Formal Test Automation: The Conference Protocol with PHACT.

Lex Heerink Jan Feenstra Jan Tretmans

Published in: TestCom (2000)

Keyphrases

formal analysis
lightweight
formal model
international conference
panel discussion
coloured petri nets
real time
metadata
multi agent
computational intelligence
test data
end to end
distributed databases
statistical significance
knowledge discovery and data mining
advances in artificial intelligence