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 × 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 DBLP: J=eacute=ron:Thierry

Contributed to:

SAC 20142014
TAP 20122012
FOSSACS 20112011
TACAS 20112011
ICTSS 20102010
TestCom/FATES 20092009
TestCom/FATES 20072007
FM 20052005
TACAS 20052005
TestCom 20042004
FATES 20032003
TACAS 20022002
ESEC/FSE 20012001
IFM 20002000
TestCom 20002000
CAV 19991999
CAV 19961996
CAV 19911991

Wrote 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.

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.