| 2023 | ICST | Analysis of mutation operators for FSM testing. | Danial Nikbin Azmoudeh, Yvan Labiche |
| 2023 | ICST | On factors that impact the relationship between code coverage and test suite effectiveness: a survey. | Maryam Barani, Yvan Labiche, Antoine Rollet |
| 2023 | ICST | Test Cost Reduction for 5G and Beyond using Machine Learning. | Maryam Havakeshian, Yvan Labiche, Shiva Nejati, Stphane Desjardins, Kourosh Haghighi |
| 2021 | QRS | Predictors of Software Metric Correlation: A Non-parametric Analysis. | Daniel Afriyie, Yvan Labiche |
| 2020 | ESEM | Bug! Falha! Bachi! Fallo! Dfaut! 程序错误!: What about Internationalization Testing in the Software Industry? | Ronnie E. S. Santos, J. Rafael Cordeiro, Yvan Labiche, Cleyton V. C. de Magalhes, Fabio Q. B. da Silva |
| 2020 | ICSE | UML Consistency Rules: a Case Study with Open-Source UML Models. | Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar, Claudio Menghi |
| 2019 | COMPSAC | Mitigating Threats to Validity in Empirical Software Engineering: A Traceability Case Study. | Nasser Mustafa, Yvan Labiche, Dave Towey |
| 2018 | COMPSAC | Traceability in Systems Engineering: An Avionics Case Study. | Nasser Mustafa, Yvan Labiche, Dave Towey |
| 2018 | ICSE | UML diagram synthesis techniques: a systematic mapping study. | Damiano Torre, Yvan Labiche, Marcela Genero, Maria Teresa Baldassarre, Maged Elaasar |
| 2018 | ICSoft | On Graphical User Interface Verification. | Abdulaziz Alkhalid, Yvan Labiche |
| 2018 | ICSoft | Towards GUI Functional Verification using Abstract Interpretation. | Abdulaziz Alkhalid, Yvan Labiche |
| 2018 | ICSoft | Revisiting the Notion of GUI Testing. | Abdulaziz Alkhalid, Yvan Labiche, Sashank Nekkanti |
| 2018 | ICST | Test Automation - Automation of What? | Yvan Labiche |
| 2018 | QRS | An Analysis of Complex Industrial Test Code Using Clone Analysis. | Wafa Hasanain, Yvan Labiche, Sigrid Eldh |
| 2017 | COMPSAC | How Does GUI Testing Exercise Application Logic Functionality? | Abdulaziz Alkhalid, Yvan Labiche |
| 2017 | COMPSAC | State-Based Tests Suites Automatic Generation Tool (STAGE-1). | Hoda Khalil, Yvan Labiche |
| 2017 | COMPSAC | Finding All Breadth First Full Spanning Trees in a Directed Graph. | Hoda Khalil, Yvan Labiche |
| 2017 | COMPSAC | The Need for Traceability in Heterogeneous Systems: A Systematic Literature Review. | Nasser Mustafa, Yvan Labiche |
| 2017 | ICSoft | Employing Linked Data in Building a Trace Links Taxonomy. | Nasser Mustafa, Yvan Labiche |
| 2017 | ICSoft | Using Semantic Web to Establish Traceability Links Between Heterogeneous Artifacts. | Nasser Mustafa, Yvan Labiche |
| 2017 | ISSRE | On FSM-Based Testing: An Empirical Study: Complete Round-Trip Versus Transition Trees. | Hoda Khalil, Yvan Labiche |
| 2016 | EASE | The power of single and error annotations in category partition testing: an experimental evaluation. | Sunint Kaur Khalsa, Yvan Labiche, Johanna Nicoletta |
| 2016 | EDCC | Inferring a Distributed Application Behavior Model for Anomaly Based Intrusion Detection. | Eric Totel, Mouna Hkimi, Michel Hurfin, Mourad Leslous, Yvan Labiche |
| 2016 | MODELSWARD | A Data Extraction Process for Avionics Systemsl Interface Specifications. | Hassna Louadah, Roger Champagne, Yvan Labiche, Yann-Gal Guhneuc |
| 2015 | ICSoft | Modeling Traceability for Heterogeneous Systems. | Nasser Mustafa, Yvan Labiche |
| 2015 | ISSRE | An analysis and extension of Category partition testing for constrained systems. | Sunint Kaur Khalsa, Yvan Labiche |
| 2015 | ISSRE | Getting more in less: The power of single/error annotations in category partition. | Sunint Kaur Khalsa, Yvan Labiche |
| 2015 | ISSRE | UML consistency rules in technical books. | Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar |
| 2015 | MODELS | Introduction to WUCOR 2015. | Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar |
| 2015 | MODELSWARD | Automated State-based Online Testing Real-time Embedded Software with RTEdge. | Wafa Hasanain, Yvan Labiche, Serban Gheorghe |
| 2015 | MODELSWARD | Towards Traceability Modeling for the Engineering of Heterogeneous Systems. | Nasser Mustafa, Yvan Labiche |
| 2015 | QRS | On the Effect of Counters in Guard Conditions When State-Based Multi-objective Testing. | Nesa Asoudeh, Yvan Labiche |
| 2014 | EASE | UML consistency rules: a systematic mapping study. | Damiano Torre, Yvan Labiche, Marcela Genero |
| 2014 | ISSRE | Multi-objective Construction of an Entire Adequate Test Suite for an EFSM. | Nesa Asoudeh, Yvan Labiche |
| 2014 | ISSRE | An Orchestrated Survey of Available Algorithms and Tools for Combinatorial Testing. | Sunint Kaur Khalsa, Yvan Labiche |
| 2014 | MODELS | Towards Automating Interface Control Documents Elaboration and Management. | Hassna Louadah, Roger Champagne, Yvan Labiche |
| 2013 | ICST | Experimenting with Category Partition's 1-Way and 2-Way Test Selection Criteria. | Yvan Labiche, Faezeh Rafsanjani Sadeghi |
| 2013 | ICST | Coverage-Based Test Case Prioritisation: An Industrial Case Study. | Daniel Di Nardo, Nadia Alshahwan, Lionel C. Briand, Yvan Labiche |
| 2013 | SSBSE | A Multi-objective Genetic Algorithm for Generating Test Suites from Extended Finite State Machines. | Nesa Asoudeh, Yvan Labiche |
| 2013 | SSBSE | A Multi-objective Genetic Algorithm to Rank State-Based Test Cases. | Lionel C. Briand, Yvan Labiche, Kathy Chen |
| 2012 | ISSRE | On the Verification and Validation of Signature-Based, Network Intrusion Detection Systems. | Frdric Massicotte, Yvan Labiche |
| 2011 | DSN | An analysis of signature overlaps in Intrusion Detection Systems. | Frdric Massicotte, Yvan Labiche |
| 2011 | ESEM | 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 |
| 2011 | ESEM | 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 |
| 2011 | ICSE | Enabling the runtime assertion checking of concurrent contracts for the Java modeling language. | Wladimir Araujo, Lionel C. Briand, Yvan Labiche |
| 2011 | MODELS | Diagram Definition: A Case Study with the UML Class Diagram. | Maged Elaasar, Yvan Labiche |
| 2010 | ISSRE | On the Round Trip Path Testing Strategy. | May Khalil, Yvan Labiche |
| 2009 | MODELS | A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems. | Marwa Shousha, Lionel C. Briand, Yvan Labiche |
| 2009 | MODELS | A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation. | Tao Yue, Lionel C. Briand, Yvan Labiche |
| 2008 | ACSAC | Toward Automatic Generation of Intrusion Detection Verification Rules. | Frdric Massicotte, Yvan Labiche, Lionel C. Briand |
| 2008 | ISSRE | Concurrent Contracts for Java in JML. | Wladimir Araujo, Lionel C. Briand, Yvan Labiche |
| 2008 | MODELS | The UML Is More Than Boxes and Lines. | Yvan Labiche |
| 2008 | MODELS | A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms. | Marwa Shousha, Lionel C. Briand, Yvan Labiche |
| 2007 | ESEM | Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment. | Samar Mouchawrab, Lionel C. Briand, Yvan Labiche |
| 2007 | ISSRE | Using Machine Learning to Support Debugging with Tarantula. | Lionel C. Briand, Yvan Labiche, Xuetao Liu |
| 2007 | MODELS | Model-Driven, Network-Context Sensitive Intrusion Detection. | Frdric Massicotte, Mathieu Couture, Lionel C. Briand, Yvan Labiche |
| 2007 | MODELS | A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software. | Gregory Zoughbi, Lionel C. Briand, Yvan Labiche |
| 2006 | ACSAC | Automatic Evaluation of Intrusion Detection Systems. | Frdric Massicotte, Franois Gagnon, Yvan Labiche, Lionel C. Briand, Mathieu Couture |
| 2006 | COMPSAC | Planning and Scheduling from a Class Test Order. | Yvan Labiche |
| 2006 | ICSE | Automated, contract-based user testing of commercial-off-the-shelf components. | Lionel C. Briand, Yvan Labiche, Michal M. Swka |
| 2006 | ICSE | Traffic-aware stress testing of distributed systems based on UML models. | Vahid Garousi, Lionel C. Briand, Yvan Labiche |
| 2006 | MODELS | A Metamodeling Approach to Pattern Specification. | Maged Elaasar, Lionel C. Briand, Yvan Labiche |
| 2006 | MODELS | Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models. | Vahid Garousi, Lionel C. Briand, Yvan Labiche |
| 2005 | COMPSAC | Incremental Class Testing from a Class Test Order. | Yvan Labiche |
| 2005 | GECCO | Stress testing real-time systems with genetic algorithms. | Lionel C. Briand, Yvan Labiche, Marwa Shousha |
| 2005 | ICSE | Is mutation an appropriate tool for testing experiments? | James H. Andrews, Lionel C. Briand, Yvan Labiche |
| 2005 | ISSRE | Improving Statechart Testing Criteria Using Data Flow Information. | Lionel C. Briand, Yvan Labiche, Q. Lin |
| 2005 | PST | Context-Based Intrusion Detection Using Snort, Nessus and Bugtraq Databases. | Frdric Massicotte, Mathieu Couture, Yvan Labiche |
| 2004 | ICSE | Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart. | Lionel C. Briand, Yvan Labiche, Yihong Wang |
| 2003 | ISSRE | A Comprehensive and Systematic Methodology for Client-Server Class Integration Testing. | Lionel C. Briand, Yvan Labiche, Yihong Wang |
| 2002 | ISSRE | A Case Study Using the Round-Trip Strategy for State-Based Class Testing. | Giuliano Antoniol, Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche |
| 2002 | ISSTA | Investigating the use of analysis contracts to support fault isolation in object oriented code. | Lionel C. Briand, Yvan Labiche, Hong Sun |
| 2002 | SEKE | Using genetic algorithms and coupling measures to devise optimal integration test orders. | Lionel C. Briand, Jie Feng, Yvan Labiche |
| 2001 | ISSRE | Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles. | Lionel C. Briand, Yvan Labiche, Yihong Wang |
| 2000 | ICSE | Testing levels for object-oriented software. | Yvan Labiche, Pascale Thvenod-Fosse, Hlne Waeselynck, M.-H. Durand |