Yvan Labiche

ORCID

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 44

Top Venues

Publications

Damiano Torre, Marcela Genero, Yvan Labiche, Maged Elaasar
How consistency is handled in model-driven software engineering and UML: an expert opinion survey. Softw. Qual. J. 31 (1) (2023)
Maryam Barani, Yvan Labiche, Antoine Rollet
On factors that impact the relationship between code coverage and test suite effectiveness: a survey. ICSTW (2023)
Danial Nikbin Azmoudeh, Yvan Labiche
Analysis of mutation operators for FSM testing. ICSTW (2023)
Maryam Havakeshian, Yvan Labiche, Shiva Nejati, Stéphane Desjardins, Kourosh Haghighi
Test Cost Reduction for 5G and Beyond using Machine Learning. ICSTW (2023)
Hassna Louadah, Yvan Labiche
Interface control document modeling with Citrus (avionics systems interfaces). Int. J. Softw. Tools Technol. Transf. 24 (2) (2022)
Daniel Afriyie, Yvan Labiche
Predictors of Software Metric Correlation: A Non-parametric Analysis. QRS (2021)
Ronnie E. S. Santos, J. Rafael Cordeiro, Yvan Labiche, Cleyton V. C. de Magalhães, Fabio Q. B. da Silva
Bug! Falha! Bachi! Fallo! Défaut! 程序错误!: What about Internationalization Testing in the Software Industry? ESEM (2020)
Hoda Khalil, Yvan Labiche
Comparing transition trees test suites effectiveness for different mutation operators. A-TEST@ESEC/SIGSOFT FSE (2020)
Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar, Claudio Menghi
UML Consistency Rules: a Case Study with Open-Source UML Models. FormaliSE@ICSE (2020)
Nasser Mustafa, Yvan Labiche, Dave Towey
Mitigating Threats to Validity in Empirical Software Engineering: A Traceability Case Study. COMPSAC (2) (2019)
Abdulaziz Alkhalid, Yvan Labiche
On Graphical User Interface Verification. ICSOFT (2018)
Damiano Torre, Yvan Labiche, Marcela Genero, Maria Teresa Baldassarre, Maged Elaasar
UML diagram synthesis techniques: a systematic mapping study. MiSE@ICSE (2018)
Sunint Kaur Khalsa, Yvan Labiche
Extending Category Partition's Base Choice criterion to better support constraints. J. Softw. Evol. Process. 30 (3) (2018)
Nasser Mustafa, Yvan Labiche, Dave Towey
Traceability in Systems Engineering: An Avionics Case Study. COMPSAC (2) (2018)
Nesa Asoudeh, Yvan Labiche
Life Sciences-Inspired Test Case Similarity Measures for Search-Based, FSM-Based Software Testing. ECMFA (2018)
Abdulaziz Alkhalid, Yvan Labiche, Sashank Nekkanti
Revisiting the Notion of GUI Testing. ICSOFT (2018)
Wafa Hasanain, Yvan Labiche, Sigrid Eldh
An Analysis of Complex Industrial Test Code Using Clone Analysis. QRS (2018)
Abdulaziz Alkhalid, Yvan Labiche
Towards GUI Functional Verification using Abstract Interpretation. ICSOFT (2018)
Yvan Labiche
Test Automation - Automation of What? ICST Workshops (2018)
Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar
A systematic identification of consistency rules for UML diagrams. J. Syst. Softw. 144 (2018)
Nasser Mustafa, Yvan Labiche
The Need for Traceability in Heterogeneous Systems: A Systematic Literature Review. COMPSAC (1) (2017)
Nasser Mustafa, Yvan Labiche
Employing Linked Data in Building a Trace Links Taxonomy. ICSOFT (2017)
Abdulaziz Alkhalid, Yvan Labiche
How Does GUI Testing Exercise Application Logic Functionality? COMPSAC (2) (2017)
Hoda Khalil, Yvan Labiche
State-Based Tests Suites Automatic Generation Tool (STAGE-1). COMPSAC (1) (2017)
Hoda Khalil, Yvan Labiche
On FSM-Based Testing: An Empirical Study: Complete Round-Trip Versus Transition Trees. ISSRE (2017)
Nasser Mustafa, Yvan Labiche
Using Semantic Web to Establish Traceability Links Between Heterogeneous Artifacts. ICSOFT (Selected Papers) (2017)
Hoda Khalil, Yvan Labiche
Finding All Breadth First Full Spanning Trees in a Directed Graph. COMPSAC (2) (2017)
Hassna Louadah, Roger Champagne, Yvan Labiche, Yann-Gaël Guéhéneuc
A Data Extraction Process for Avionics Systemsl Interface Specifications. MODELSWARD (2016)
Sunint Kaur Khalsa, Yvan Labiche
An Extension of Category Partition Testing for Highly Constrained Systems. HASE (2016)
Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar, Tuhin Kanti Das, Bernhard Hoisl, Matthias Kowal
1st International Workshop on UML Consistency Rules (WUCOR 2015): Post workshop report. ACM SIGSOFT Softw. Eng. Notes 41 (2) (2016)
Eric Totel, Mouna Hkimi, Michel Hurfin, Mourad Leslous, Yvan Labiche
Inferring a Distributed Application Behavior Model for Anomaly Based Intrusion Detection. EDCC (2016)
Sunint Kaur Khalsa, Yvan Labiche, Johanna Nicoletta
The power of single and error annotations in category partition testing: an experimental evaluation. EASE (2016)
Nasser Mustafa, Yvan Labiche
Towards Traceability Modeling for the Engineering of Heterogeneous Systems. MODELSWARD (2015)
Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar
UML consistency rules in technical books. ISSRE Workshops (2015)
Sunint Kaur Khalsa, Yvan Labiche
An analysis and extension of Category partition testing for constrained systems. ISSRE Workshops (2015)
Muhammad Shafique, Yvan Labiche
A systematic review of state-based test tools. Int. J. Softw. Tools Technol. Transf. 17 (1) (2015)
Nasser Mustafa, Yvan Labiche
Modeling Traceability for Heterogeneous Systems. ICSOFT-EA (2015)
Nesa Asoudeh, Yvan Labiche
On the Effect of Counters in Guard Conditions When State-Based Multi-objective Testing. QRS Companion (2015)
Maged Elaasar, Lionel C. Briand, Yvan Labiche
VPML: an approach to detect design patterns of MOF-based modeling languages. Softw. Syst. Model. 14 (2) (2015)
Tao Yue, Lionel C. Briand, Yvan Labiche
aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models. ACM Trans. Softw. Eng. Methodol. 24 (3) (2015)
Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar
Introduction to WUCOR 2015. ACES-MB&WUCOR@MoDELS (2015)
Wafa Hasanain, Yvan Labiche, Serban Gheorghe
Automated State-based Online Testing Real-time Embedded Software with RTEdge. MODELSWARD (2015)
Daniel Di Nardo, Nadia Alshahwan, Lionel C. Briand, Yvan Labiche
Coverage-based regression test case selection, minimization and prioritization: a case study on an industrial system. Softw. Test. Verification Reliab. 25 (4) (2015)
Sunint Kaur Khalsa, Yvan Labiche
Getting more in less: The power of single/error annotations in category partition. ISSRE Workshops (2015)
Farhana Rahman, Yvan Labiche
A Comparative Study of Invariants Generated by Daikon and User-Defined Design Contracts. QSIC (2014)
Hassna Louadah, Roger Champagne, Yvan Labiche
Towards Automating Interface Control Documents Elaboration and Management. ACES-MB@MoDELS (2014)
Sunint Kaur Khalsa, Yvan Labiche
An Orchestrated Survey of Available Algorithms and Tools for Combinatorial Testing. ISSRE (2014)
Wladimir Araujo, Lionel C. Briand, Yvan Labiche
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software. IEEE Trans. Software Eng. 40 (10) (2014)
Damiano Torre, Yvan Labiche, Marcela Genero
UML consistency rules: a systematic mapping study. EASE (2014)
Nesa Asoudeh, Yvan Labiche
Multi-objective Construction of an Entire Adequate Test Suite for an EFSM. ISSRE (2014)
Antonia Bertolino, Yvan Labiche
Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012). Softw. Test. Verification Reliab. 24 (5) (2014)
Daniel Di Nardo, Nadia Alshahwan, Lionel C. Briand, Yvan Labiche
Coverage-Based Test Case Prioritisation: An Industrial Case Study. ICST (2013)
Lionel C. Briand, Yvan Labiche, Kathy Chen
A Multi-objective Genetic Algorithm to Rank State-Based Test Cases. SSBSE (2013)
Yvan Labiche, Faezeh Rafsanjani Sadeghi
Experimenting with Category Partition's 1-Way and 2-Way Test Selection Criteria. ICST Workshops (2013)
Yvan Labiche, Bojana Kolbah, Hossein Mehrfard
Combining Static and Dynamic Analyses to Reverse-Engineer Scenario Diagrams. ICSM (2013)
Tao Yue, Lionel C. Briand, Yvan Labiche
Facilitating the transition from use case models to analysis models: Approach and experiments. ACM Trans. Softw. Eng. Methodol. 22 (1) (2013)
Nesa Asoudeh, Yvan Labiche
A Multi-objective Genetic Algorithm for Generating Test Suites from Extended Finite State Machines. SSBSE (2013)
Frédéric Massicotte, Yvan Labiche
On the Verification and Validation of Signature-Based, Network Intrusion Detection Systems. ISSRE (2012)
Maged Elaasar, Yvan Labiche
Model Interchange Testing: A Process and a Case Study. ECMFA (2012)
Lionel C. Briand, Yvan Labiche, Yanhua Liu
Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing. ECMFA (2012)
Marwa Shousha, Lionel C. Briand, Yvan Labiche
A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems. IEEE Trans. Software Eng. 38 (2) (2012)
Maged Elaasar, Lionel C. Briand, Yvan Labiche
Domain-Specific Model Verification with QVT. ECMFA (2011)
Kambiz Frounchi, Lionel C. Briand, Leo J. Grady, Yvan Labiche, Rajesh Subramanyan
Automating image segmentation verification and validation by learning test oracles. Inf. Softw. Technol. 53 (12) (2011)
Samar Mouchawrab, Lionel C. Briand, Yvan Labiche, Massimiliano Di Penta
Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments. IEEE Trans. Software Eng. 37 (2) (2011)
Wladimir Araujo, Lionel C. Briand, Yvan Labiche
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software. ESEM (2011)
Tao Yue, Lionel C. Briand, Yvan Labiche
A systematic review of transformation approaches between user requirements and analysis models. Requir. Eng. 16 (2) (2011)
Frédéric Massicotte, Yvan Labiche
An analysis of signature overlaps in Intrusion Detection Systems. DSN (2011)
Maged Elaasar, Yvan Labiche
Diagram Definition: A Case Study with the UML Class Diagram. MoDELS (2011)
Wladimir Araujo, Lionel C. Briand, Yvan Labiche
Enabling the runtime assertion checking of concurrent contracts for the Java modeling language. ICSE (2011)
Yvan Labiche
Integration testing object-oriented software systems: An experiment-driven research approach. CCECE (2011)
Lionel C. Briand, Yvan Labiche, Reymes Madrazo-Rivera
An Experimental Evaluation of the Impact of System Sequence Diagrams and System Operation Contracts on the Quality of the Domain Model. ESEM (2011)
Gregory Zoughbi, Lionel C. Briand, Yvan Labiche
Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile. Softw. Syst. Model. 10 (3) (2011)
Lionel C. Briand, Yvan Labiche, Q. Lin
Improving the coverage criteria of UML state machines using data flow analysis. Softw. Test. Verification Reliab. 20 (3) (2010)
Tao Yue, Lionel C. Briand, Yvan Labiche
An Automated Approach to Transform Use Cases into Activity Diagrams. ECMFA (2010)
May Khalil, Yvan Labiche
On the Round Trip Path Testing Strategy. ISSRE (2010)
Michael Bowman, Lionel C. Briand, Yvan Labiche
Solving the Class Responsibility Assignment Problem in Object-Oriented Analysis with Multi-Objective Genetic Algorithms. IEEE Trans. Software Eng. 36 (6) (2010)
Frédéric Massicotte, Yvan Labiche
Specification-Based Testing of Intrusion Detection Engines Using Logical Expression Testing Criteria. QSIC (2010)
Lionel C. Briand, Yvan Labiche, Zaheer Bawar, Nadia Traldi Spido
Using machine learning to refine Category-Partition test specifications and test suites. Inf. Softw. Technol. 51 (11) (2009)
Lionel C. Briand, Yvan Labiche, S. He
Automating regression test selection based on UML designs. Inf. Softw. Technol. 51 (1) (2009)
Lionel C. Briand, Yvan Labiche, Tao Yue
Automated traceability analysis for UML model refinements. Inf. Softw. Technol. 51 (2) (2009)
Tao Yue, Lionel C. Briand, Yvan Labiche
A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation. MoDELS (2009)
Marwa Shousha, Lionel C. Briand, Yvan Labiche
A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems. MoDELS (2009)
Vahid Garousi, Lionel C. Briand, Yvan Labiche
A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems. Softw. Syst. Model. 8 (2) (2009)
Vahid Garousi, Lionel C. Briand, Yvan Labiche
Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms. J. Syst. Softw. 81 (2) (2008)
Lionel C. Briand, Yvan Labiche, Zaheer Bawar
Using Machine Learning to Refine Black-Box Test Specifications and Test Suites. QSIC (2008)
Frédéric Massicotte, Yvan Labiche, Lionel C. Briand
Toward Automatic Generation of Intrusion Detection Verification Rules. ACSAC (2008)
Yvan Labiche
The UML Is More Than Boxes and Lines. MoDELS (Workshops) (2008)
Wladimir Araujo, Lionel C. Briand, Yvan Labiche
Concurrent Contracts for Java in JML. ISSRE (2008)
Marwa Shousha, Lionel C. Briand, Yvan Labiche
A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms. MoDELS (2008)
Lionel C. Briand, Yvan Labiche, Xuetao Liu
Using Machine Learning to Support Debugging with Tarantula. ISSRE (2007)
Gregory Zoughbi, Lionel C. Briand, Yvan Labiche
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software. MoDELS (2007)
Samar Mouchawrab, Lionel C. Briand, Yvan Labiche
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment. ESEM (2007)
Michael Bowman, Lionel C. Briand, Yvan Labiche
Multi-Objective Genetic Algorithm to Support Class Responsibility Assignment. ICSM (2007)
Frédéric Massicotte, Mathieu Couture, Lionel C. Briand, Yvan Labiche
Model-Driven, Network-Context Sensitive Intrusion Detection. MoDELS (2007)
Frédéric Massicotte, François Gagnon, Yvan Labiche, Lionel C. Briand, Mathieu Couture
Automatic Evaluation of Intrusion Detection Systems. ACSAC (2006)
Yvan Labiche
Planning and Scheduling from a Class Test Order. COMPSAC (2) (2006)
Lionel C. Briand, Yvan Labiche, Marwa Shousha
Using genetic algorithms for early schedulability analysis and stress testing in real-time systems. Genet. Program. Evolvable Mach. 7 (2) (2006)
Vahid Garousi, Lionel C. Briand, Yvan Labiche
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models. MoDELS (2006)
Lionel C. Briand, Yvan Labiche, Michal M. Sówka
Automated, contract-based user testing of commercial-off-the-shelf components. ICSE (2006)
James H. Andrews, Lionel C. Briand, Yvan Labiche, Akbar Siami Namin
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria. IEEE Trans. Software Eng. 32 (8) (2006)

Yvan Labiche.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yvan Labiche