| |
| 2008 | ||
|---|---|---|
| 3 | EE | Hakim Belhaouari, Frédéric Peschanski: Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach. HASE 2008: 219-228 |
| 2 | EE | Hakim Belhaouari, Frédéric Peschanski: A Constraint Logic Programming Approach to Automated Testing. ICLP 2008: 754-758 |
| 1 | EE | Hakim Belhaouari, Frédéric Peschanski: A Lightweight Container Architecture for Runtime Verification. RV 2008: 173-187 |
| 1 | Frédéric Peschanski | [1] [2] [3] |