Testing levels for object-oriented software. - Yvan Labiche; Pascale Thévenod-Fosse; Hélène Waeselynck; M.-H. Durand (ICSE, 2000)

Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles. - Lionel C. Briand; Yvan Labiche; Yihong Wang (ISSRE, 2001)

Automating Impact Analysis and Regression Test Selection Based on UML Designs. - Lionel C. Briand; Yvan Labiche; G. Soccar (ICSM, 2002)

A Case Study Using the Round-Trip Strategy for State-Based Class Testing. - Giuliano Antoniol; Lionel C. Briand; Massimiliano Di Penta; Yvan Labiche (ISSRE, 2002)

Investigating the use of analysis contracts to support fault isolation in object oriented code. - Lionel C. Briand; Yvan Labiche; Hong Sun (ISSTA, 2002)

Using genetic algorithms and coupling measures to devise optimal integration test orders. - Lionel C. Briand; Jie Feng; Yvan Labiche (SEKE, 2002)

A UML-Based Approach to System Testing. - Lionel C. Briand; Yvan Labiche (Softw. Syst. Model., 2002)

Impact Analysis and Change Management of UML Models. - Lionel C. Briand; Yvan Labiche; Leeshawn O'Sullivan (ICSM, 2003)

A Comprehensive and Systematic Methodology for Client-Server Class Integration Testing. - Lionel C. Briand; Yvan Labiche; Yihong Wang (ISSRE, 2003)

Towards Automated Support for Deriving Test Data from UML Statecharts. - Lionel C. Briand; Jim Cui; Yvan Labiche (UML, 2003)

Towards the Reverse Engineering of UML Sequence Diagrams. - Lionel C. Briand; Yvan Labiche; Y. Miao (WCRE, 2003)

Investigating the use of analysis contracts to improve the testability of object-oriented code. - Lionel C. Briand; Yvan Labiche; Hong Sun (Softw. Pract. Exp., 2003)

An Investigation of Graph-Based Class Integration Test Order Strategies. - Lionel C. Briand; Yvan Labiche; Yihong Wang (IEEE Trans. Software Eng., 2003)

Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart. - Lionel C. Briand; Yvan Labiche; Yihong Wang (ICSE, 2004)

A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development. - Lionel C. Briand; Yvan Labiche; H.-D. Yan; Massimiliano Di Penta (ICSM, 2004)

Empirical studies of software testing techniques: challenges, practical strategies, and future research. - Lionel C. Briand; Yvan Labiche (ACM SIGSOFT Softw. Eng. Notes, 2004)

Assessing and Improving State-Based Class Testing: A Series of Experiments. - Lionel C. Briand; Massimiliano Di Penta; Yvan Labiche (IEEE Trans. Software Eng., 2004)

Incremental Class Testing from a Class Test Order. - Yvan Labiche (COMPSAC (1), 2005)

Control Flow Analysis of UML 2.0 Sequence Diagrams. - Vahid Garousi; Lionel C. Briand; Yvan Labiche (ECMDA-FA, 2005)

Stress testing real-time systems with genetic algorithms. - Lionel C. Briand; Yvan Labiche; Marwa Shousha (GECCO, 2005)

Is mutation an appropriate tool for testing experiments? - James H. Andrews; Lionel C. Briand; Yvan Labiche (ICSE, 2005)

Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging. - Lionel C. Briand; Wojciech J. Dzidek; Yvan Labiche (ICSM, 2005)

Tracing Distributed Systems Executions Using AspectJ. - Lionel C. Briand; Yvan Labiche; Johanne Leduc (ICSM, 2005)

Improving Statechart Testing Criteria Using Data Flow Information. - Lionel C. Briand; Yvan Labiche; Q. Lin (ISSRE, 2005)

Context-Based Intrusion Detection Using Snort, Nessus and Bugtraq Databases. - Frédéric Massicotte; Mathieu Couture; Yvan Labiche (PST, 2005)

Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java. - Wojciech J. Dzidek; Lionel C. Briand; Yvan Labiche (MoDELS (Satellite Events), 2005)

A measurement framework for object-oriented software testability. - Samar Mouchawrab; Lionel C. Briand; Yvan Labiche (Inf. Softw. Technol., 2005)

Automated support for deriving test requirements from UML statecharts. - Lionel C. Briand; Yvan Labiche; Jim Cui (Softw. Syst. Model., 2005)

An Experimental Investigation of Formality in UML-Based Development. - Lionel C. Briand; Yvan Labiche; Massimiliano Di Penta; Han (Daphne) Yan-Bondoc (IEEE Trans. Software Eng., 2005)

Automatic Evaluation of Intrusion Detection Systems. - Frédéric Massicotte; François Gagnon; Yvan Labiche; Lionel C. Briand; Mathieu Couture (ACSAC, 2006)

Planning and Scheduling from a Class Test Order. - Yvan Labiche (COMPSAC (2), 2006)

Automated, contract-based user testing of commercial-off-the-shelf components. - Lionel C. Briand; Yvan Labiche; Michal M. Sówka (ICSE, 2006)

Traffic-aware stress testing of distributed systems based on UML models. - Vahid Garousi; Lionel C. Briand; Yvan Labiche (ICSE, 2006)

Guiding the Application of Design Patterns Based on UML Models. - Lionel C. Briand; Yvan Labiche; Alexandre Sauve (ICSM, 2006)

A Metamodeling Approach to Pattern Specification. - Maged Elaasar; Lionel C. Briand; Yvan Labiche (MoDELS, 2006)

Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models. - Vahid Garousi; Lionel C. Briand; Yvan Labiche (MoDELS, 2006)

Using genetic algorithms for early schedulability analysis and stress testing in real-time systems. - Lionel C. Briand; Yvan Labiche; Marwa Shousha (Genet. Program. Evolvable Mach., 2006)

Automated impact analysis of UML models. - Lionel C. Briand; Yvan Labiche; Leeshawn O'Sullivan; Michal M. Sówka (J. Syst. Softw., 2006)

Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria. - James H. Andrews; Lionel C. Briand; Yvan Labiche; Akbar Siami Namin (IEEE Trans. Software Eng., 2006)

The Impact of UML Documentation on Software Maintenance: An Experimental Evaluation. - Erik Arisholm; Lionel C. Briand; Siw Elisabeth Hove; Yvan Labiche (IEEE Trans. Software Eng., 2006)

Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software. - Lionel C. Briand; Yvan Labiche; Johanne Leduc (IEEE Trans. Software Eng., 2006)

Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment. - Samar Mouchawrab; Lionel C. Briand; Yvan Labiche (ESEM, 2007)

Multi-Objective Genetic Algorithm to Support Class Responsibility Assignment. - Michael Bowman; Lionel C. Briand; Yvan Labiche (ICSM, 2007)

Using Machine Learning to Support Debugging with Tarantula. - Lionel C. Briand; Yvan Labiche; Xuetao Liu (ISSRE, 2007)

Model-Driven, Network-Context Sensitive Intrusion Detection. - Frédéric Massicotte; Mathieu Couture; Lionel C. Briand; Yvan Labiche (MoDELS, 2007)

A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software. - Gregory Zoughbi; Lionel C. Briand; Yvan Labiche (MoDELS, 2007)

Toward Automatic Generation of Intrusion Detection Verification Rules. - Frédéric Massicotte; Yvan Labiche; Lionel C. Briand (ACSAC, 2008)

Concurrent Contracts for Java in JML. - Wladimir Araujo; Lionel C. Briand; Yvan Labiche (ISSRE, 2008)

The UML Is More Than Boxes and Lines. - Yvan Labiche (MoDELS (Workshops), 2008)

A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms. - Marwa Shousha; Lionel C. Briand; Yvan Labiche (MoDELS, 2008)

Using Machine Learning to Refine Black-Box Test Specifications and Test Suites. - Lionel C. Briand; Yvan Labiche; Zaheer Bawar (QSIC, 2008)

Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms. - Vahid Garousi; Lionel C. Briand; Yvan Labiche (J. Syst. Softw., 2008)

A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems. - Marwa Shousha; Lionel C. Briand; Yvan Labiche (MoDELS, 2009)

A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation. - Tao Yue 002; Lionel C. Briand; Yvan Labiche (MoDELS, 2009)

Using machine learning to refine Category-Partition test specifications and test suites. - Lionel C. Briand; Yvan Labiche; Zaheer Bawar; Nadia Traldi Spido (Inf. Softw. Technol., 2009)

Automating regression test selection based on UML designs. - Lionel C. Briand; Yvan Labiche; S. He (Inf. Softw. Technol., 2009)

Automated traceability analysis for UML model refinements. - Lionel C. Briand; Yvan Labiche; Tao Yue 002 (Inf. Softw. Technol., 2009)

A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems. - Vahid Garousi; Lionel C. Briand; Yvan Labiche (Softw. Syst. Model., 2009)

An Automated Approach to Transform Use Cases into Activity Diagrams. - Tao Yue 002; Lionel C. Briand; Yvan Labiche (ECMFA, 2010)

On the Round Trip Path Testing Strategy. - May Khalil; Yvan Labiche (ISSRE, 2010)

Specification-Based Testing of Intrusion Detection Engines Using Logical Expression Testing Criteria. - Frédéric Massicotte; Yvan Labiche (QSIC, 2010)

Improving the coverage criteria of UML state machines using data flow analysis. - Lionel C. Briand; Yvan Labiche; Q. Lin (Softw. Test. Verification Reliab., 2010)

Solving the Class Responsibility Assignment Problem in Object-Oriented Analysis with Multi-Objective Genetic Algorithms. - Michael Bowman; Lionel C. Briand; Yvan Labiche (IEEE Trans. Software Eng., 2010)

Integration testing object-oriented software systems: An experiment-driven research approach. - Yvan Labiche (CCECE, 2011)

An analysis of signature overlaps in Intrusion Detection Systems. - Frédéric Massicotte; Yvan Labiche (DSN, 2011)

Domain-Specific Model Verification with QVT. - Maged Elaasar; Lionel C. Briand; Yvan Labiche (ECMFA, 2011)

On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software. - Wladimir Araujo; Lionel C. Briand; Yvan Labiche (ESEM, 2011)

An Experimental Evaluation of the Impact of System Sequence Diagrams and System Operation Contracts on the Quality of the Domain Model. - Lionel C. Briand; Yvan Labiche; Reymes Madrazo-Rivera (ESEM, 2011)

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language. - Wladimir Araujo; Lionel C. Briand; Yvan Labiche (ICSE, 2011)

Diagram Definition: A Case Study with the UML Class Diagram. - Maged Elaasar; Yvan Labiche (MoDELS, 2011)

Automating image segmentation verification and validation by learning test oracles. - Kambiz Frounchi; Lionel C. Briand; Leo J. Grady; Yvan Labiche; Rajesh Subramanyan (Inf. Softw. Technol., 2011)

A systematic review of transformation approaches between user requirements and analysis models. - Tao Yue 002; Lionel C. Briand; Yvan Labiche (Requir. Eng., 2011)

Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile. - Gregory Zoughbi; Lionel C. Briand; Yvan Labiche (Softw. Syst. Model., 2011)

Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments. - Samar Mouchawrab; Lionel C. Briand; Yvan Labiche; Massimiliano Di Penta (IEEE Trans. Software Eng., 2011)

Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing. - Lionel C. Briand; Yvan Labiche; Yanhua Liu (ECMFA, 2012)

Model Interchange Testing: A Process and a Case Study. - Maged Elaasar; Yvan Labiche (ECMFA, 2012)

On the Verification and Validation of Signature-Based, Network Intrusion Detection Systems. - Frédéric Massicotte; Yvan Labiche (ISSRE, 2012)

A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems. - Marwa Shousha; Lionel C. Briand; Yvan Labiche (IEEE Trans. Software Eng., 2012)

Combining Static and Dynamic Analyses to Reverse-Engineer Scenario Diagrams. - Yvan Labiche; Bojana Kolbah; Hossein Mehrfard (ICSM, 2013)

Experimenting with Category Partition's 1-Way and 2-Way Test Selection Criteria. - Yvan Labiche; Faezeh Rafsanjani Sadeghi (ICST Workshops, 2013)

Coverage-Based Test Case Prioritisation: An Industrial Case Study. - Daniel Di Nardo; Nadia Alshahwan; Lionel C. Briand; Yvan Labiche (ICST, 2013)

A Multi-objective Genetic Algorithm for Generating Test Suites from Extended Finite State Machines. - Nesa Asoudeh; Yvan Labiche (SSBSE, 2013)

A Multi-objective Genetic Algorithm to Rank State-Based Test Cases. - Lionel C. Briand; Yvan Labiche; Kathy Chen (SSBSE, 2013)

Facilitating the transition from use case models to analysis models: Approach and experiments. - Tao Yue 002; Lionel C. Briand; Yvan Labiche (ACM Trans. Softw. Eng. Methodol., 2013)

UML consistency rules: a systematic mapping study. - Damiano Torre; Yvan Labiche; Marcela Genero (EASE, 2014)

Multi-objective Construction of an Entire Adequate Test Suite for an EFSM. - Nesa Asoudeh; Yvan Labiche (ISSRE, 2014)

An Orchestrated Survey of Available Algorithms and Tools for Combinatorial Testing. - Sunint Kaur Khalsa; Yvan Labiche (ISSRE, 2014)

Towards Automating Interface Control Documents Elaboration and Management. - Hassna Louadah; Roger Champagne; Yvan Labiche (ACES-MB@MoDELS, 2014)

A Comparative Study of Invariants Generated by Daikon and User-Defined Design Contracts. - Farhana Rahman; Yvan Labiche (QSIC, 2014)

Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012). - Antonia Bertolino; Yvan Labiche (Softw. Test. Verification Reliab., 2014)

On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software. - Wladimir Araujo; Lionel C. Briand; Yvan Labiche (IEEE Trans. Software Eng., 2014)

Modeling Traceability for Heterogeneous Systems. - Nasser Mustafa; Yvan Labiche (ICSOFT-EA, 2015)

An analysis and extension of Category partition testing for constrained systems. - Sunint Kaur Khalsa; Yvan Labiche (ISSRE Workshops, 2015)

Getting more in less: The power of single/error annotations in category partition. - Sunint Kaur Khalsa; Yvan Labiche (ISSRE Workshops, 2015)

UML consistency rules in technical books. - Damiano Torre; Yvan Labiche; Marcela Genero; Maged Elaasar (ISSRE Workshops, 2015)

Introduction to WUCOR 2015. - Damiano Torre; Yvan Labiche; Marcela Genero; Maged Elaasar (ACES-MB&WUCOR@MoDELS, 2015)

Automated State-based Online Testing Real-time Embedded Software with RTEdge. - Wafa Hasanain; Yvan Labiche; Serban Gheorghe (MODELSWARD, 2015)

Towards Traceability Modeling for the Engineering of Heterogeneous Systems. - Nasser Mustafa; Yvan Labiche (MODELSWARD, 2015)

On the Effect of Counters in Guard Conditions When State-Based Multi-objective Testing. - Nesa Asoudeh; Yvan Labiche (QRS Companion, 2015)

VPML: an approach to detect design patterns of MOF-based modeling languages. - Maged Elaasar; Lionel C. Briand; Yvan Labiche (Softw. Syst. Model., 2015)

A systematic review of state-based test tools. - Muhammad Shafique 003; Yvan Labiche (Int. J. Softw. Tools Technol. Transf., 2015)

Coverage-based regression test case selection, minimization and prioritization: a case study on an industrial system. - Daniel Di Nardo; Nadia Alshahwan; Lionel C. Briand; Yvan Labiche (Softw. Test. Verification Reliab., 2015)

aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models. - Tao Yue 002; Lionel C. Briand; Yvan Labiche (ACM Trans. Softw. Eng. Methodol., 2015)

The power of single and error annotations in category partition testing: an experimental evaluation. - Sunint Kaur Khalsa; Yvan Labiche; Johanna Nicoletta (EASE, 2016)

Inferring a Distributed Application Behavior Model for Anomaly Based Intrusion Detection. - Eric Totel; Mouna Hkimi; Michel Hurfin; Mourad Leslous; Yvan Labiche (EDCC, 2016)

An Extension of Category Partition Testing for Highly Constrained Systems. - Sunint Kaur Khalsa; Yvan Labiche (HASE, 2016)

A Data Extraction Process for Avionics Systemsl Interface Specifications. - Hassna Louadah; Roger Champagne; Yvan Labiche; Yann-Gaël Guéhéneuc (MODELSWARD, 2016)

1st International Workshop on UML Consistency Rules (WUCOR 2015): Post workshop report. - Damiano Torre; Yvan Labiche; Marcela Genero; Maged Elaasar; Tuhin Kanti Das; Bernhard Hoisl; Matthias Kowal (ACM SIGSOFT Softw. Eng. Notes, 2016)

How Does GUI Testing Exercise Application Logic Functionality? - Abdulaziz Alkhalid; Yvan Labiche (COMPSAC (2), 2017)

State-Based Tests Suites Automatic Generation Tool (STAGE-1). - Hoda Khalil; Yvan Labiche (COMPSAC (1), 2017)

Finding All Breadth First Full Spanning Trees in a Directed Graph. - Hoda Khalil; Yvan Labiche (COMPSAC (2), 2017)

The Need for Traceability in Heterogeneous Systems: A Systematic Literature Review. - Nasser Mustafa; Yvan Labiche (COMPSAC (1), 2017)

Employing Linked Data in Building a Trace Links Taxonomy. - Nasser Mustafa; Yvan Labiche (ICSOFT, 2017)

Using Semantic Web to Establish Traceability Links Between Heterogeneous Artifacts. - Nasser Mustafa; Yvan Labiche (ICSOFT (Selected Papers), 2017)

On FSM-Based Testing: An Empirical Study: Complete Round-Trip Versus Transition Trees. - Hoda Khalil; Yvan Labiche (ISSRE, 2017)

Traceability in Systems Engineering: An Avionics Case Study. - Nasser Mustafa; Yvan Labiche; Dave Towey (COMPSAC (2), 2018)

Life Sciences-Inspired Test Case Similarity Measures for Search-Based, FSM-Based Software Testing. - Nesa Asoudeh; Yvan Labiche (ECMFA, 2018)

UML diagram synthesis techniques: a systematic mapping study. - Damiano Torre; Yvan Labiche; Marcela Genero; Maria Teresa Baldassarre; Maged Elaasar (MiSE@ICSE, 2018)

On Graphical User Interface Verification. - Abdulaziz Alkhalid; Yvan Labiche (ICSOFT, 2018)

Towards GUI Functional Verification using Abstract Interpretation. - Abdulaziz Alkhalid; Yvan Labiche (ICSOFT, 2018)

Revisiting the Notion of GUI Testing. - Abdulaziz Alkhalid; Yvan Labiche; Sashank Nekkanti (ICSOFT, 2018)

Test Automation - Automation of What? - Yvan Labiche (ICST Workshops, 2018)

An Analysis of Complex Industrial Test Code Using Clone Analysis. - Wafa Hasanain; Yvan Labiche; Sigrid Eldh (QRS, 2018)

A systematic identification of consistency rules for UML diagrams. - Damiano Torre; Yvan Labiche; Marcela Genero; Maged Elaasar (J. Syst. Softw., 2018)

Extending Category Partition's Base Choice criterion to better support constraints. - Sunint Kaur Khalsa; Yvan Labiche (J. Softw. Evol. Process., 2018)

Mitigating Threats to Validity in Empirical Software Engineering: A Traceability Case Study. - Nasser Mustafa; Yvan Labiche; Dave Towey (COMPSAC (2), 2019)

Bug! Falha! Bachi! Fallo! Défaut! 程序错误!: What about Internationalization Testing in the Software Industry? - Ronnie E. S. Santos; J. Rafael Cordeiro; Yvan Labiche; Cleyton V. C. de Magalhães; Fabio Q. B. da Silva (ESEM, 2020)

UML Consistency Rules: a Case Study with Open-Source UML Models. - Damiano Torre; Yvan Labiche; Marcela Genero; Maged Elaasar; Claudio Menghi (FormaliSE@ICSE, 2020)

Comparing transition trees test suites effectiveness for different mutation operators. - Hoda Khalil; Yvan Labiche (A-TEST@ESEC/SIGSOFT FSE, 2020)

Predictors of Software Metric Correlation: A Non-parametric Analysis. - Daniel Afriyie; Yvan Labiche (QRS, 2021)

Interface control document modeling with Citrus (avionics systems interfaces). - Hassna Louadah; Yvan Labiche (Int. J. Softw. Tools Technol. Transf., 2022)

Analysis of mutation operators for FSM testing. - Danial Nikbin Azmoudeh; Yvan Labiche (ICSTW, 2023)

On factors that impact the relationship between code coverage and test suite effectiveness: a survey. - Maryam Barani; Yvan Labiche; Antoine Rollet (ICSTW, 2023)

Test Cost Reduction for 5G and Beyond using Machine Learning. - Maryam Havakeshian; Yvan Labiche; Shiva Nejati 001; Stéphane Desjardins; Kourosh Haghighi (ICSTW, 2023)

How consistency is handled in model-driven software engineering and UML: an expert opinion survey. - Damiano Torre; Marcela Genero; Yvan Labiche; Maged Elaasar (Softw. Qual. J., 2023)