Travelled to:1 × Canada
1 × France
Collaborated with:∅ A.R.Cavalli J.P.Favreau
Talks about:test (2) perspect (1) conform (1) tester (1) result (1) method (1) formal (1) execut (1) power (1) limit (1)
Person: Marc Phalippou
DBLP: Phalippou:Marc
Contributed to:
19931992Wrote 3 papers:
- IWPTS-1993-CavalliFP #consistency #formal method #testing
- Formal Methods for Conformance Testing: Results and Perspectives (ARC, JPF, MP), pp. 3–17.
- IWPTS-1993-Phalippou #execution
- Executable Testers (MP), pp. 35–50.
- IWPTS-1992-Phalippou #power of #testing
- The Limited Power of Testing (MP), pp. 43–54.