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 × Canada
1 × Denmark
1 × Estonia
1 × Russia
1 × The Netherlands
1 × USA
Collaborated with:
A.Desmoulin H.Kahlouche M.Zendri N.Chen A.Floch F.Roudaut A.Sabiguero J.Fernandez C.Jard T.Jéron L.d.Bousquet S.Ramangalahy S.Simon A.Belinfante R.G.d.Vries
Talks about:
test (9) protocol (5) interoper (3) generat (3) use (3) method (2) experi (2) tool (2) suit (2) quiescenc (1)

Person: César Viho

DBLP DBLP: Viho:C=eacute=sar

Contributed to:

ICTSS 20122012
TestCom/FATES 20072007
TestCom 20052005
TestCom 20002000
TACAS 19991999
IWTCS 19981998
CAV 19961996

Wrote 8 papers:

ICTSS-2012-ChenV #protocol #testing
Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol (NC, CV), pp. 87–102.
TestCom-FATES-2007-DesmoulinV #generative #testing
A New Method for Interoperability Test Generation (AD, CV), pp. 58–73.
TestCom-2005-DesmoulinV #testing
Quiescence Management Improves Interoperability Testing (AD, CV), pp. 365–379.
TestCom-2005-FlochRSV #empirical #lessons learnt #testing #using
Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing (AF, FR, AS, CV), pp. 318–332.
TestCom-2000-BousquetRSVBV #automation #protocol #testing
Formal Test Automation: The Conference Protocol with TGV/TORX (LdB, SR, SS, CV, AB, RGdV), pp. 221–228.
TACAS-1999-KahloucheVZ #communication #consistency #hardware #protocol #testing #using
Hardware Testing Using a Communication Protocol Conformance Testing Tool (HK, CV, MZ), pp. 315–329.
IWTCS-1998-KahloucheVZ #automation #empirical #execution #generative #industrial #protocol #testing
An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol (HK, CV, MZ), pp. 211–226.
CAV-1996-FernandezJJV #generative #on the fly #testing #using #verification
Using On-The-Fly Verification Techniques for the Generation of test Suites (JCF, CJ, TJ, CV), pp. 348–359.

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.