References of "Labiche, Yvan"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailUML Consistency Rules:a Case Study with Open-Source UML Models
Torre, Damiano UL; Labiche, Yvan; Genero, Marcela et al

in Proceedings of the 8th International Conference on Formal Methods in Software Engineering (2020, July)

UML models are standard artifacts used by software engineers for designing software. As software is designed, different UML diagram types (e.g., class diagrams and sequence diagrams) are produced by ... [more ▼]

UML models are standard artifacts used by software engineers for designing software. As software is designed, different UML diagram types (e.g., class diagrams and sequence diagrams) are produced by software designers. Since the various UML diagram types describe different aspects of a software system, they are not independent but strongly depend on each other, hence they must be consistent. Inconsistencies cause faults in the final software systems. It is, therefore, paramount that they get detected, analyzed, and fixed. Consistency rules are a useful tool proposed in the literature to detect inconsistencies. They categorize constraints that help in identifying inconsistencies when violated. This case study aims at collecting and analyzing UML models with OCL consistency rules proposed in the literature and at promoting the development of a reference benchmark that can be reused by the (FM-)research community. We collected 33 UML consistency rules and 206 different UML diagrams contained in 34 open-source UML models presented in the literature. We propose an FM-based encoding of the consistency rules in OCL. This encoding allows analyzing whether the consistency rules are satisfied or violated within the 34 UML models. To assess the proposed benchmark, we analyzed how the UML models, consistency rules, diagram types contained in the benchmark help in assessing the consistency of UML models, and the consistency of diagrams across the different software development phases. Our results show that the considered UML models and consistency rules allowed identifying 2731 inconsistencies and that those inconsistencies refer to different software development phases. We concluded that the considered UML models and consistency rules could be considered as an initial benchmark that can be further extended by the research community. [less ▲]

Detailed reference viewed: 169 (16 UL)
Full Text
Peer Reviewed
See detailCoverage-based regression test case selection, minimization and prioritization: a case study on an industrial system
Di Nardo, Daniel UL; Alshahwan, Nadia; Briand, Lionel UL et al

in Software Testing, Verification & Reliability (2015), 25(4), 371-396

Detailed reference viewed: 411 (50 UL)
Full Text
Peer Reviewed
See detailaToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models
Yue, Tao; Briand, Lionel UL; Labiche, Yvan

in ACM Transactions on Software Engineering & Methodology (2015), 24(3),

Detailed reference viewed: 323 (33 UL)
Full Text
Peer Reviewed
See detailOn the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object- Oriented Software
Araujo, Wladimir; Briand, Lionel UL; Labiche, Yvan

in IEEE Transactions on Software Engineering (2014), 40(10), 971-992

Detailed reference viewed: 211 (22 UL)
Full Text
Peer Reviewed
See detailVPML: an approach to detect design patterns of MOF-based modeling languages
Elaasar, Maged; Briand, Lionel UL; Labiche, Yvan

in Software & Systems Modeling (2013)

Detailed reference viewed: 306 (19 UL)
Full Text
Peer Reviewed
See detailCoverage-Based Test Case Prioritisation: An Industrial Case Study
Di Nardo, Daniel UL; Alshahwan, Nadia UL; Briand, Lionel UL et al

in IEEE International Conference on Software Testing, Verification and Validation (ICST) (2013, March)

Detailed reference viewed: 285 (25 UL)
Full Text
Peer Reviewed
See detailA Multi-Objective Genetic Algorithm to Rank State-Based Test Cases
Briand, Lionel UL; Labiche, Yvan; Chen, Kathy

in 5th Symposium on Search-Based Software Engineering (SSBSE 2013), Springer Lecture Notes in Computer Science (2013)

Detailed reference viewed: 201 (13 UL)