Travelled to:1 × Austria
1 × Brazil
1 × Canada
1 × Czech Republic
1 × Denmark
1 × Estonia
1 × France
1 × Italy
1 × South Korea
1 × The Netherlands
1 × USA
3 × Germany
3 × United Kingdom
Collaborated with:H.Marchand V.Rusu C.Jard P.Morel B.Jeannet E.Zinovieva N.Bertrand A.Stainer M.Krichen D.Clarke Y.Falcone J.Fernandez S.Chédor C.Morvan J.Dubreil C.Constant A.Khoumsi L.d.Bousquet S.Pinisetty C.Viho L.Mounier V.Tschaen
Talks about:test (15) generat (8) verif (5) properti (4) symbol (4) time (4) automat (3) system (3) safeti (3) automata (2)
Person: Thierry Jéron
DBLP: J=eacute=ron:Thierry
Contributed to:
2014
2012
2011
2011
2010
20092007
20052005200420032002
2001
20002000
199919961991Wrote 18 papers:
- SAC-2014-PinisettyFJM #runtime
- Runtime enforcement of regular timed properties (SP, YF, TJ, HM), pp. 1279–1286.
- TAP-2012-ChedorJM #generative #recursion #testing
- Test Generation from Recursive Tiles Systems (SC, TJ, CM), pp. 99–114.
- FoSSaCS-2011-BertrandSJK #approach #automaton #game studies
- A Game Approach to Determinize Timed Automata (NB, AS, TJ, MK), pp. 245–259.
- TACAS-2011-BertrandJSK #automaton #nondeterminism #testing
- Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (NB, TJ, AS, MK), pp. 96–111.
- ICTSS-2010-FalconeFJMM
- More Testable Properties (YF, JCF, TJ, HM, LM), pp. 30–46.
- TestCom-FATES-2009-MarchandDJ #automation #data access #security #testing
- Automatic Testing of Access Control for Security Properties (HM, JD, TJ), pp. 113–128.
- TestCom-FATES-2007-ConstantJJ #automation #generative #interprocedural #specification #testing
- Automatic Test Generation from Interprocedural Specifications (CC, BJ, TJ), pp. 41–57.
- FM-2005-RusuMJ #automation #consistency #safety #testing #validation #verification
- Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems (VR, HM, TJ), pp. 189–204.
- TACAS-2005-JeannetJRZ #analysis #approximate #testing
- Symbolic Test Selection Based on Approximate Analysis (BJ, TJ, VR, EZ), pp. 349–364.
- TestCom-2004-RusuMTJJ #safety #testing #verification
- From Safety Verification to Safety Testing (VR, HM, VT, TJ, BJ), pp. 160–176.
- FATES-2003-KhoumsiJM #generative #nondeterminism #realtime #testing
- Test Cases Generation for Nondeterministic Real-Time Systems (AK, TJ, HM), pp. 131–146.
- TACAS-2002-ClarkeJRZ #generative #named #testing
- STG: A Symbolic Test Generation Tool (DC, TJ, VR, EZ), pp. 470–475.
- ESEC-FSE-2001-ClarkeJRZ #generative #named #source code #specification
- STG: a tool for generating symbolic test programs and oracles from operational specifications (DC, TJ, VR, EZ), pp. 301–302.
- IFM-2000-RusuBJ #approach #generative #testing
- An Approach to Symbolic Test Generation (VR, LdB, TJ), pp. 338–357.
- 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.
- 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.
- CAV-1991-JardJ #algorithm #bound #on the fly #verification
- Bounded-memory Algorithms for Verification On-the-fly (CJ, TJ), pp. 192–202.