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 × Estonia
1 × France
1 × Japan
1 × Luxembourg
1 × Norway
1 × Tunisia
2 × Spain
3 × Germany
3 × USA
Collaborated with:
Y.Ledru F.Dadeau N.Zuanon O.Maury M.Lévy M.R.Shaheen S.Dupuy-Chessa T.Triki P.Bontron C.Oriat T.Stålhane G.Sindre V.Rusu T.Jéron Y.Grasland R.Groz I.Parissis G.Vega F.Allouti F.Ouabdesselam J.Richier J.Botella S.Ville E.Rose J.Lanet M.Potet S.Ramangalahy S.Simon C.Viho A.Belinfante R.G.d.Vries
Talks about:
test (16) specif (5) base (5) suit (4) combinatori (3) softwar (3) generat (3) tobia (3) model (3) case (3)

Person: Lydie du Bousquet

DBLP DBLP: Bousquet:Lydie_du

Contributed to:

ICST 20132013
ASE 20122012
FASE 20122012
CAiSE 20102010
TAP 20102010
ICST 20082008
ASE 20072007
MBT 20072007
ASE 20062006
ASE 20042004
FASE 20042004
ASE 20012001
FME 20012001
IFM 20002000
TestCom 20002000
ASE 19991999
World Congress on Formal Methods 19991999
ICSE 19991999

Wrote 19 papers:

ICST-2013-GraslandBGP #approach #functional #hybrid #safety #testing
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information (YG, LdB, RG, IP), pp. 104–113.
ASE-2012-LedruVTB #testing #traceability
Test suite selection based on traceability annotations (YL, GV, TT, LdB), pp. 342–345.
FASE-2012-TrikiLBDB #combinator #modelling #testing
Model-Based Filtering of Combinatorial Test Suites (TT, YL, LdB, FD, JB), pp. 439–454.
CAiSE-2010-StalhaneSB #analysis #case study #diagrams #safety #sequence chart
Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases (TS, GS, LdB), pp. 165–179.
TAP-2010-BousquetL #analysis #evaluation #mutation testing #process #proving
Proof Process Evaluation with Mutation Analysis (LdB, ML), pp. 55–60.
ICST-2008-BousquetS #inheritance
Relation between Depth of Inheritance Tree and Number of Methods to Test (LdB, MRS), pp. 161–170.
ASE-2007-LedruDBVR #combinator #explosion #generative
Mastering combinatorial explosion with the tobias-2 test generator (YL, FD, LdB, SV, ER), pp. 535–536.
MBT-2007-DadeauLB #java #ml #specification #testing #using
Measuring a Java Test Suite Coverage Using JML Specifications (FD, YL, LdB), pp. 21–32.
MBT-2007-LedruBDA #case study #proving
A Case Study in Matching Test and Proof Coverage (YL, LdB, FD, FA), pp. 73–84.
ASE-2006-LedruB #execution #generative #named #specification
Tobias-Z: An executable formal specification of a test generator (YL, LdB), pp. 353–354.
ASE-2004-BousquetLMOL #case study #validation
Case Study in JML-Based Software Validation (LdB, YL, OM, CO, JLL), pp. 294–297.
FASE-2004-LedruBMB #combinator #testing
Filtering TOBIAS Combinatorial Test Suites (YL, LdB, OM, PB), pp. 281–294.
ASE-2001-LedruBBMOP #adaptation #specification #testing
Test Purposes: Adapting the Notion of Specification to Testing (YL, LdB, PB, OM, CO, MLP), pp. 127–134.
FME-2001-Dupuy-ChessaB #modelling #uml #validation
Validation of UML Models Thanks to Z and Lustre (SDC, LdB), pp. 242–258.
IFM-2000-RusuBJ #approach #generative #testing
An Approach to Symbolic Test Generation (VR, LdB, TJ), pp. 338–357.
TestCom-2000-BousquetRSVBV #automation #protocol #testing
Formal Test Automation: The Conference Protocol with TGV/TORX (LdB, SR, SS, CV, AB, RGdV), pp. 221–228.
ASE-1999-BousquetZ #overview #testing
An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software (LdB, NZ), pp. 208–215.
FM-v1-1999-Bousquet #case study #detection #experience #feature model #interactive #model checking #testing #using
Feature Interaction Detection Using Testing and Model-Checking Experience Report (LdB), pp. 622–641.
ICSE-1999-BousquetORZ #named #testing
Lutess: A Specification-Driven Testing Environment for Synchronous Software (LdB, FO, JLR, NZ), pp. 267–276.

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.