Model based testing and abstract interpretation in the railway signaling context (Contributo in atti di convegno)

Type
Label
  • Model based testing and abstract interpretation in the railway signaling context (Contributo in atti di convegno) (literal)
Anno
  • 2010-01-01T00:00:00+01:00 (literal)
Alternative label
  • Grasso D.; Fantechi A.; Ferrari A.; Becheri C.; Bacherini S. (2010)
    Model based testing and abstract interpretation in the railway signaling context
    in Third International Conference on Software Testing, Verification and Validation, Paris
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Grasso D.; Fantechi A.; Ferrari A.; Becheri C.; Bacherini S. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: ICST 2010 - Third International Conference on Software Testing, Verification and Validation (Paris, 6-10 April 2010). Proceedings, pp. 103 - 106. IEEE, 2010. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: This article presents the experience of a railway signaling manufacturer in introducing the technologies of model based testing and abstract interpretation as part of its development process. Preliminary results show the better performance of these techniques with respect to the previously employed structural coverage based testing (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Università degli Studi di Firenze, General Electric Transportation Systems (literal)
Titolo
  • Model based testing and abstract interpretation in the railway signaling context (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it