Abstract : This paper compares seven tools devoted to software verification and validation that are being developed by several participants of MoDriVal project 1 .
https://hal-insu.archives-ouvertes.fr/insu-02270104 Contributor : Axelle PAGNIERConnect in order to contact the contributor Submitted on : Friday, August 23, 2019 - 6:28:56 PM Last modification on : Wednesday, June 3, 2020 - 7:32:02 PM Long-term archiving on: : Friday, January 10, 2020 - 8:24:57 AM
Emmanuel Ledinot, Michel Nakhlé, Philippe Robin. Software Factory Testing Tools: an Analysis Framework. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France. ⟨insu-02270104⟩