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: Bardin:S=eacute=bastien
Contributed to:
2015
20152014
2014
2011
2011201020092008200620042003
20192018Wrote 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.