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: Viho:C=eacute=sar
Contributed to:
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.