Search Results - "Labiche, Yvan"

Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments.

Authors: Mouchawrab, Samar Briand, Lionel C. Labiche, Yvan

Source: IEEE Transactions on Software Engineering; 02/01/2011, Vol. 37 Issue 2, p161-187, 27p

Solving the Class Responsibility Assignment Problem in Object-Oriented Analysis with Multi-Objective Genetic Algorithms.

Authors: Bowman, Michael Briand, Lionel C. Labiche, Yvan

Source: IEEE Transactions on Software Engineering; 09/01/2010, Vol. 36 Issue 6, p817-837, 21p

How consistency is handled in model-driven software engineering and UML: an expert opinion survey.

Authors: Torre, Damiano Genero, Marcela Labiche, Yvan et al.

Source: Software Quality Journal; Mar2023, Vol. 31 Issue 1, p1-54, 54p

On software testing reference ontologies.

Authors: Havakeshian, Maryam Labiche, Yvan

Source: Journal of Systems & Software. May2026, Vol. 235, pN.PAG-N.PAG. 1p.

Automated traceability analysis for UML model refinements.

Authors: Briand, Lionel C. Labiche, Yvan Yue, Tao

Source: Information & Software Technology; February 2009, Vol. 51 Issue 2, p512-527, 16p

Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms.

Authors: Garousi, Vahid Briand, Lionel C. Labiche, Yvan

Source: Journal of Systems & Software; February 2008, Vol. 81 Issue 2, p161-185, 25p

Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software.

Authors: Briand, Lionel C. Labiche, Yvan Leduc, Johanne

Source: IEEE Transactions on Software Engineering; September 2006, Vol. 32 Issue 9, p642-663, 22p

Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria.

Authors: Andrews, James H. Briand, Lionel C. Labiche, Yvan

Source: IEEE Transactions on Software Engineering; August 2006, Vol. 32 Issue 8, p608-624, 17p

A measurement framework for object-oriented software testability.

Authors: Mouchawrab, Samar Briand, Lionel C. Labiche, Yvan

Source: Information & Software Technology; December 2005, Vol. 47 Issue 15, p979-997, 19p

An Experimental Investigation of Formality in UML-Based Development.

Authors: Briand, Lionel C. Labiche, Yvan Di Penta, Massimiliano

Source: IEEE Transactions on Software Engineering; October 2005, Vol. 31 Issue 10, p833-849, 17p

An Investigation of Graph-Based Class Integration Test Order Strategies.

Authors: Briand, Lionel C. Labiche, Yvan Wang, Yihong

Source: IEEE Transactions on Software Engineering; July 2003, Vol. 29 Issue 7, p594-607, 14p

Extending Category Partition's Base Choice criterion to better support constraints.

Authors: Khalsa, Sunint Kaur Labiche, Yvan

Source: Journal of Software: Evolution & Process; Mar2018, Vol. 30 Issue 3, p1-1, 23p

Interface control document modeling with Citrus (avionics systems interfaces).

Authors: Louadah, Hassna Labiche, Yvan

Source: International Journal on Software Tools for Technology Transfer. Apr2022, Vol. 24 Issue 2, p225-245. 21p.

Subjects: Avionics, Citrus, System integration

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language.

Authors: Araujo, Wladimir Briand, Lionel C. Labiche, Yvan

Source: ICSE: International Conference on Software Engineering; May2011, p786-795, 10p

Coverage-based regression test case selection, minimization and prioritization: a case study on an industrial system.

Authors: Di Nardo, Daniel Alshahwan, Nadia Briand, Lionel et al.

Source: Software Testing: Verification & Reliability; Jun2015, Vol. 25 Issue 4, p371-396, 26p

aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models.

Authors: TAO YUE BRIAND, LIONEL C. LABICHE, YVAN

Source: ACM Transactions on Software Engineering & Methodology; May2015, Vol. 24 Issue 3, p1-52, 52p

VPML: an approach to detect design patterns of MOF-based modeling languages.

Authors: Elaasar, Maged Briand, Lionel Labiche, Yvan

Source: Software & Systems Modeling; May2015, Vol. 14 Issue 2, p735-764, 30p

On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software.

Authors: Araujo, Wladimir Briand, Lionel C. Labiche, Yvan

Source: IEEE Transactions on Software Engineering; Oct2014, Vol. 40 Issue 10, p971-992, 22p

Facilitating the Transition from Use Case Models to Analysis Models: Approach and Experiments.

Authors: TAO YUE BRIAND, LIONEL C. LABICHE, YVAN

Source: ACM Transactions on Software Engineering & Methodology; Feb2013, Vol. 22 Issue 1, p5:1-5:38, 38p

Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile.

Authors: Zoughbi, Gregory Briand, Lionel Labiche, Yvan

Source: Software & Systems Modeling; Jul2011, Vol. 10 Issue 3, p337-367, 31p, 14 Diagrams, 12 Charts