Name
Affiliation
Papers
YVAN LABICHE
Carleton University, Department of Systems and Computer Engineering, Software Quality Engineering Laboratory, 1125 Colonel By Drive, Ottawa, ON, Canada K1S5B6
124
Collaborators
Citations 
PageRank 
99
2874
143.30
Referers 
Referees 
References 
4183
2157
1868
Search Limit
1001000
Title
Citations
PageRank
Year
Bug! Falha! Bachi! Fallo! Défaut! 程序错误!: What about Internationalization Testing in the Software Industry?00.342020
UML Consistency Rules: a Case Study with Open-Source UML Models00.342020
Comparing transition trees test suites effectiveness for different mutation operators00.342020
Mitigating Threats to Validity in Empirical Software Engineering: A Traceability Case Study00.342019
Towards GUI Functional Verification using Abstract Interpretation.00.342018
UML diagram synthesis techniques: a systematic mapping study.10.372018
Extending Category Partition's Base Choice criterion to better support constraints.00.342018
Life Sciences-Inspired Test Case Similarity Measures for Search-Based, FSM-Based Software Testing.00.342018
Revisiting the Notion of GUI Testing.00.342018
A systematic identification of consistency rules for UML diagrams.30.382018
Traceability in Systems Engineering: An Avionics Case Study.00.342018
An Analysis of Complex Industrial Test Code Using Clone Analysis20.372018
How Does GUI Testing Exercise Application Logic Functionality?00.342017
Using Semantic Web to Establish Traceability Links Between Heterogeneous Artifacts.00.342017
State-Based Tests Suites Automatic Generation Tool (STAGE-1)20.372017
The Need for Traceability in Heterogeneous Systems: A Systematic Literature Review10.412017
The Power Of Single And Error Annotations In Category Partition Testing: An Experimental Evaluation10.362016
An Extension of Category Partition Testing for Highly Constrained Systems10.342016
Coverage‐based regression test case selection, minimization and prioritization: a case study on an industrial system190.622015
A systematic review of state-based test tools210.702015
Modeling traceability for heterogeneous systems10.342015
VPML: an approach to detect design patterns of MOF-based modeling languages40.402015
Automated state-based online testing real-time embedded software with RTEdge20.362015
UML consistency rules in technical books.10.352015
Introduction to WUCOR 2015.10.362015
An analysis and extension of Category partition testing for constrained systems.00.342015
Towards traceability modeling for the engineering of heterogeneous systems10.352015
Getting more in less: The power of single/error annotations in category partition.00.342015
An Orchestrated Survey of Available Algorithms and Tools for Combinatorial Testing150.622014
UML consistency rules: a systematic mapping study160.802014
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software40.392014
Towards Automating Interface Control Documents Elaboration and Management.00.342014
Facilitating the transition from use case models to analysis models: Approach and experiments541.632013
A Multi-objective Genetic Algorithm to Rank State-Based Test Cases.30.362013
Experimenting with Category Partition's 1-Way and 2-Way Test Selection Criteria60.592013
Coverage-Based Test Case Prioritisation: An Industrial Case Study180.722013
Combining Static and Dynamic Analyses to Reverse-Engineer Scenario Diagrams70.492013
Model interchange testing: a process and a case study00.342012
Combining UML sequence and state machine diagrams for data-flow based integration testing60.432012
A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems130.682012
An Experimental Evaluation of the Impact of System Sequence Diagrams and System Operation Contracts on the Quality of the Domain Model20.382011
Integration testing object-oriented software systems: An experiment-driven research approach00.342011
Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile221.372011
A systematic review of transformation approaches between user requirements and analysis models642.512011
Diagram definition: a case study with the UML class diagram30.452011
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software40.422011
Automating image segmentation verification and validation by learning test oracles130.712011
Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments401.052011
An analysis of signature overlaps in Intrusion Detection Systems30.432011
Domain-specific model verification with QVT90.482011
  • 1
  • 2