Filter your results
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Test Languages for In-the-Loop Avionics TestsJournal of Aerospace Information Systems, 2015, 12 (4), pp.374-391. ⟨10.2514/1.I010151⟩
Journal articles
hal-01953487v1
|
|||
|
Show Me New Counterexamples: A Path-Based Approach8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Apr 2015, Graz, Austria. ⟨10.1109/ICST.2015.7102606⟩
Conference papers
hal-01953299v1
|
||
|
STELAE - A Model-Driven Test Development Environment for Avionics SystemsIEEE ISORC 2013, Jun 2013, PADEBORN, Germany. 8p
Conference papers
hal-01057937v1
|