Login / Signup

Model Based Testing and Abstract Interpretation in the Railway Signaling Context.

Daniele GrassoAlessandro FantechiAlessio FerrariCarlo BecheriStefano Bacherini
Published in: ICST (2010)
Keyphrases
  • intermediate representation
  • model based testing
  • abstract interpretation
  • termination analysis
  • data sets
  • artificial intelligence
  • context aware
  • static analysis