Search Results - "Labiche, Yvan"

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

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

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

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; 2011, p786-795, 10p

On software testing reference ontologies.

Authors: Havakeshian, Maryam Labiche, Yvan

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

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

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

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

Improving the identification of functional system requirements when novice analysts create use case diagrams: the benefits of applying conceptual mental models.

Authors: Beimel, D. Kedmi-Shahar, E.

Source: Requirements Engineering; Dec2019, Vol. 24 Issue 4, p483-502, 20p

Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012).

Authors: Bertolino, Antonia Labiche, Yvan

Source: Software Testing: Verification & Reliability; Aug2014, Vol. 24 Issue 5, p339-340, 2p

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

A systematic review of transformation approaches between user requirements and analysis models.

Authors: Yue, Tao Briand, Lionel Labiche, Yvan

Source: Requirements Engineering; Jun2011, Vol. 16 Issue 2, p75-99, 25p, 8 Diagrams, 5 Charts

A systematic review of transformation approaches between user requirements and analysis models.

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

Source: Requirements Engineering; Jun2011, Vol. 16 Issue 2, p75-99, 25p, 8 Diagrams, 5 Charts

2012 Annual Index.

Source: IEEE Transactions on Software Engineering. Jan2013, Vol. 39 Issue 1, pN.PAG. 0p.

Subjects: Pagination, Authors, Indexes, Publishing