Conference , Workshops Proceedings

On Test Derivation ...

Petrenko, A. and Yevtushenko, N. "On Test Derivation from Partial Specifications" in Proceedings of the IFIP Joint International (Conference FORTE/PSTV'2000) on Formal Description Techniques (FORTE XIII) for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (PSTV XX), pp. 85-102. Pisa, Italy
[Full text] [Abstract]

  • Notre #RapportAnnuel est en ligne! Découvrez les réalisations phares de l'année incluant une série d'interventions… https://t.co/GxLmYubAhr
  • CANARIE RT @CANARIE_Inc: VESTA recueille les données des systèmes d'apprentissage en ligne quand les élèves lisent l'écran, sont distraits ou pense…