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: Bousquet:Lydie_du
Contributed to:
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.