BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
Collaborated with:
T.Jéron C.Jard
Talks about:
test (2) generat (1) verif (1) model (1) deriv (1) check (1) suit (1)

Person: Pierre Morel

DBLP DBLP: Morel:Pierre

Contributed to:

TestCom 20002000
CAV 19991999

Wrote 2 papers:

TestCom-2000-JardJM #testing #verification
Verification of Test Suites (CJ, TJ, PM), pp. 3–18.
CAV-1999-JeronM #generative #model checking #testing
Test Generation Derived from Model-Checking (TJ, PM), pp. 108–121.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.