Travelled to:
1 × Germany
Collaborated with:
R.Castanet
Talks about:
reachabl (1) theorem (1) generat (1) certifi (1) analysi (1) combin (1) prove (1) test (1) case (1)
Person: Davy Rouillard
DBLP: Rouillard:Davy
Contributed to:
Wrote 1 papers:
- TestCom-2002-CastanetR #analysis #proving #reachability #testing #theorem proving
- Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis (RC, DR), pp. 249–266.