Login / Signup

Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata.

Nathalie BertrandThierry JéronAmélie StainerMoez Krichen
Published in: TACAS (2011)
Keyphrases
  • image processing
  • real world
  • information systems
  • timed automata
  • data mining
  • social networks
  • database systems
  • first order logic
  • statistical tests