Hakim Belhaouari

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

3 Hakim Belhaouari, Frédéric Peschanski: Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach. HASE 2008: 219-228

2 Hakim Belhaouari, Frédéric Peschanski: A Constraint Logic Programming Approach to Automated Testing. ICLP 2008: 754-758

1 Hakim Belhaouari, Frédéric Peschanski: A Lightweight Container Architecture for Runtime Verification. RV 2008: 173-187

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

Coauthor Index

1 Frédéric Peschanski [1] [2] [3]