BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Norway
1 × Spain
2 × United Kingdom
6 × USA
Collaborated with:
P.Herrmann J.Leroux N.Kosmatov A.Finkel A.Djoudi R.Bonichon M.Potet M.Delahaye F.Cheynier F.Védrine F.Perroud G.Point O.Chebaro L.Petrucci B.Farinier F.Recoules L.Mounier O.Ly R.Tabary A.Vincent R.David M.Papadakis Y.L.Traon J.Marion
Talks about:
test (4) base (4) fast (3) approach (2) generat (2) analysi (2) acceler (2) execut (2) binari (2) code (2)

Person: Sébastien Bardin

DBLP DBLP: Bardin:S=eacute=bastien

Contributed to:

ICST 20152015
TACAS 20152015
ICST 20142014
TAP 20142014
CAV 20112011
VMCAI 20112011
TACAS 20102010
ICST 20092009
ICST 20082008
CAV 20062006
TACAS 20042004
CAV 20032003
ASE 20192019
CAV (2) 20182018

Wrote 14 papers:

ICST-2015-BardinDDKPTM #detection #requirements
Sound and Quasi-Complete Detection of Infeasible Test Requirements (SB, MD, RD, NK, MP, YLT, JYM), pp. 1–10.
TACAS-2015-DjoudiB #analysis #low level #named
BINSEC: Binary Code Analysis with Low-Level Regions (AD, SB), pp. 212–217.
ICST-2014-BardinKC #execution #performance #symbolic computation #test coverage
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.
TAP-2014-BardinCDK #automation #testing #tool support
An All-in-One Toolkit for Automated White-Box Testing (SB, OC, MD, NK), pp. 53–60.
CAV-2011-BardinHLLTV #analysis #framework
The BINCOA Framework for Binary Code Analysis (SB, PH, JL, OL, RT, AV), pp. 165–170.
VMCAI-2011-BardinHV #context-free grammar #re-engineering #source code
Refinement-Based CFG Reconstruction from Unstructured Programs (SB, PH, FV), pp. 54–69.
TACAS-2010-BardinHP #satisfiability
An Alternative to SAT-Based Approaches for Bit-Vectors (SB, PH, FP), pp. 84–98.
ICST-2009-BardinH #generative #testing
Pruning the Search Space in Path-Based Test Generation (SB, PH), pp. 240–249.
ICST-2008-BardinH #bytecode #testing
Structural Testing of Executables (SB, PH), pp. 22–31.
CAV-2006-BardinLP #performance
FAST Extended Release (SB, JL, GP), pp. 63–66.
TACAS-2004-BardinFL #automaton #performance
FASTer Acceleration of Counter Automata in Practice (SB, AF, JL), pp. 576–590.
CAV-2003-BardinFLP #named #performance
FAST: Fast Acceleration of Symbolikc Transition Systems (SB, AF, JL, LP), pp. 118–121.
ASE-2019-RecoulesBBMP #assembly
Get Rid of Inline Assembly through Verification-Oriented Lifting (FR, SB, RB, LM, MLP), pp. 577–589.
CAV-2018-FarinierBBP #approach #generative #quantifier
Model Generation for Quantified Formulas: A Taint-Based Approach (BF, SB, RB, MLP), pp. 294–313.

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.