♂ Person: Yvan Labiche

DBLP: Labiche:Yvan

Facilitated 8 volumes:

FinCh

PrCo

PrCo

Ed

DSCh

PrCo

Contributed to:

2013

2013

2012

2011

2011

2011

2010

2009

2008

2007

2007

2006

2006

2006

2005

2005

2005

2004

2004

2003

2003

2003

2002

2002

2002

2001

2000

2018

Wrote 34 papers:

ICSM-2013-LabicheKM #analysis #diagrams

Combining Static and Dynamic Analyses to Reverse-Engineer Scenario Diagrams (YL, BK, HM), pp. 130–139.

ICST-2013-NardoABL #case study #industrial #testing

Coverage-Based Test Case Prioritisation: An Industrial Case Study (DDN, NA, LCB, YL), pp. 302–311.

ECMFA-2012-BriandLL #data flow #diagrams #integration #sequence #state machine #testing #uml

Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing (LCB, YL, YL), pp. 74–89.

ECMFA-2012-ElaasarL #case study #process #testing

Model Interchange Testing: A Process and a Case Study (ME, YL), pp. 49–61.

ECMFA-2011-ElaasarBL #qvt #verification

Domain-Specific Model Verification with QVT (ME, LCB, YL), pp. 282–298.

ICSE-2011-AraujoBL #concurrent #contract #java #modelling #runtime

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language (WA, LCB, YL), pp. 786–795.

MoDELS-2011-ElaasarL #case study #diagrams #uml

Diagram Definition: A Case Study with the UML Class Diagram (ME, YL), pp. 364–378.

ECMFA-2010-YueBL #approach #automation #case study #diagrams #process

An Automated Approach to Transform Use Cases into Activity Diagrams (TY, LCB, YL), pp. 337–353.

MoDELS-2009-ShoushaBL #analysis #concurrent #detection #uml

A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems (MS, LCB, YL), pp. 47–61.

MoDELS-2009-YueBL #analysis #approach #case study #concept #empirical #evaluation #modelling #towards

A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation (TY, LCB, YL), pp. 484–498.

MoDELS-2008-ShoushaBL #algorithm #analysis #concurrent #search-based #uml

A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms (MS, LCB, YL), pp. 475–489.

ICSM-2007-BowmanBL #algorithm #multi #search-based

Multi-Objective Genetic Algorithm to Support Class Responsibility Assignment (MB, LCB, YL), pp. 124–133.

MoDELS-2007-MassicotteCBL #detection #modelling

Model-Driven, Network-Context Sensitive Intrusion Detection (FM, MC, LCB, YL), pp. 61–75.

MoDELS-2007-ZoughbiBL #safety #uml

A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software (GZ, LCB, YL), pp. 574–588.

ICSE-2006-BriandLS #automation #component #contract #testing

Automated, contract-based user testing of commercial-off-the-shelf components (LCB, YL, MMS), pp. 92–101.

ICSE-2006-GarousiBL #distributed #modelling #testing #uml

Traffic-aware stress testing of distributed systems based on UML models (VG, LCB, YL), pp. 391–400.

ICSM-2006-BriandLS #design pattern #modelling #uml

Guiding the Application of Design Patterns Based on UML Models (LCB, YL, AS), pp. 234–243.

MoDELS-2006-ElaasarBL #approach #metamodelling #specification

A Metamodeling Approach to Pattern Specification (ME, LCB, YL), pp. 484–498.

MoDELS-2006-GarousiBL #analysis #behaviour #dependence #distributed #modelling #uml #visualisation

Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models (VG, LCB, YL), pp. 365–379.

ECMDA-FA-2005-GarousiBL #analysis #control flow #diagrams #sequence chart #uml

Control Flow Analysis of UML 2.0 Sequence Diagrams (VG, LCB, YL), pp. 160–174.

ICSE-2005-AndrewsBL #question #testing

Is mutation an appropriate tool for testing experiments? (JHA, LCB, YL), pp. 402–411.

ICSM-2005-BriandDL #aspect-oriented #contract #debugging #programming

Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging (LCB, WJD, YL), pp. 687–690.

ICSM-2005-BriandLL #aspectj #distributed #using

Tracing Distributed Systems Executions Using AspectJ (LCB, YL, JL), pp. 81–90.

ICSE-2004-BriandLW #empirical #simulation #statechart #test coverage #using

Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart (LCB, YL, YW), pp. 86–95.

ICSM-2004-BriandLYP #constraints #development #empirical #ocl #uml

A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development (LCB, YL, HDY, MDP), pp. 380–389.

ICSM-2003-BriandLO #impact analysis #modelling #uml

Impact Analysis and Change Management of UML Models (LCB, YL, LO), pp. 256–265.

UML-2003-BriandCL #automation #testing #towards #uml

Towards Automated Support for Deriving Test Data from UML Statecharts (LCB, JC, YL), pp. 249–264.

WCRE-2003-BriandLM #diagrams #reverse engineering #sequence chart #towards #uml

Towards the Reverse Engineering of UML Sequence Diagrams (LCB, YL, YM), pp. 57–66.

ICSM-2002-BriandLS #automation #design #impact analysis #testing #uml

Automating Impact Analysis and Regression Test Selection Based on UML Designs (LCB, YL, GS), pp. 252–261.

ISSTA-2002-BriandLS #analysis #contract #fault #object-oriented #using

Investigating the use of analysis contracts to support fault isolation in object oriented code (LCB, YL, HS), pp. 70–80.

SEKE-2002-BriandFL #algorithm #integration #metric #order #search-based #using

Using genetic algorithms and coupling measures to devise optimal integration test orders (LCB, JF, YL), pp. 43–50.

UML-2001-BriandL #approach #testing #uml

A UML-Based Approach to System Testing (LCB, YL), pp. 194–208.

ICSE-2000-LabicheTWD #object-oriented #testing

Testing levels for object-oriented software (YL, PTF, HW, MHD), pp. 136–145.

ECMFA-2018-AsoudehL #metric #search-based #similarity #testing

Life Sciences-Inspired Test Case Similarity Measures for Search-Based, FSM-Based Software Testing (NA, YL), pp. 199–215.