| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marwa Shousha, Lionel C. Briand, Yvan Labiche |
A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems.  |
IEEE Trans. Software Eng.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Zoughbi, Lionel C. Briand, Yvan Labiche |
Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile.  |
Software and System Modeling  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Samar Mouchawrab, Lionel C. Briand, Yvan Labiche, Massimiliano Di Penta |
Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments.  |
IEEE Trans. Software Eng.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Yue, Lionel C. Briand, Yvan Labiche |
A systematic review of transformation approaches between user requirements and analysis models.  |
Requir. Eng.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kambiz Frounchi, Lionel C. Briand, Leo Grady, Yvan Labiche, Rajesh Subramanyan |
Automating image segmentation verification and validation by learning test oracles.  |
Information & Software Technology  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Massicotte, Yvan Labiche |
An analysis of signature overlaps in Intrusion Detection Systems.  |
DSN  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maged Elaasar, Lionel C. Briand, Yvan Labiche |
Domain-Specific Model Verification with QVT.  |
ECMFA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maged Elaasar, Yvan Labiche |
Diagram Definition: A Case Study with the UML Class Diagram.  |
MoDELS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yvan Labiche |
Integration testing object-oriented software systems: An experiment-driven research approach.  |
CCECE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wladimir Araujo, Lionel C. Briand, Yvan Labiche |
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software.  |
ESEM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, Reymes Madrazo-Rivera |
An Experimental Evaluation of the Impact of System Sequence Diagrams and System Operation Contracts on the Quality of the Domain Model.  |
ESEM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wladimir Araujo, Lionel C. Briand, Yvan Labiche |
Enabling the runtime assertion checking of concurrent contracts for the Java modeling language.  |
ICSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Bowman, Lionel C. Briand, Yvan Labiche |
Solving the Class Responsibility Assignment Problem in Object-Oriented Analysis with Multi-Objective Genetic Algorithms.  |
IEEE Trans. Software Eng.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, Q. Lin |
Improving the coverage criteria of UML state machines using data flow analysis.  |
Softw. Test., Verif. Reliab.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Yue, Lionel C. Briand, Yvan Labiche |
An Automated Approach to Transform Use Cases into Activity Diagrams.  |
ECMFA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Massicotte, Yvan Labiche |
Specification-Based Testing of Intrusion Detection Engines Using Logical Expression Testing Criteria.  |
QSIC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | May Khalil, Yvan Labiche |
On the Round Trip Path Testing Strategy.  |
ISSRE  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahid Garousi, Lionel C. Briand, Yvan Labiche |
A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems.  |
Software and System Modeling  |
2009 |
DBLP DOI BibTeX RDF |
Resource usage prediction, Load analysis, Resource overuse detection, Distributed systems, Real-time systems, UML, Load forecasting |
| 1 | Lionel C. Briand, Yvan Labiche, Zaheer Bawar, Nadia Traldi Spido |
Using machine learning to refine Category-Partition test specifications and test suites.  |
Information & Software Technology  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, S. He |
Automating regression test selection based on UML designs.  |
Information & Software Technology  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, Tao Yue |
Automated traceability analysis for UML model refinements.  |
Information & Software Technology  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Yue, Lionel C. Briand, Yvan Labiche |
A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation.  |
MoDELS  |
2009 |
DBLP DOI BibTeX RDF |
Use Case Template, Restriction Rules, Controlled Experiment, Use Case, Use Case Modeling, Analysis Model |
| 1 | Marwa Shousha, Lionel C. Briand, Yvan Labiche |
A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems.  |
MoDELS  |
2009 |
DBLP DOI BibTeX RDF |
genetic algorithms, UML, MDD, concurrent systems, data races, MARTE, model analysis |
| 1 | Vahid Garousi, Lionel C. Briand, Yvan Labiche |
Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms.  |
Journal of Systems and Software  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Massicotte, Yvan Labiche, Lionel C. Briand |
Toward Automatic Generation of Intrusion Detection Verification Rules.  |
ACSAC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marwa Shousha, Lionel C. Briand, Yvan Labiche |
A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms.  |
MoDELS  |
2008 |
DBLP DOI BibTeX RDF |
SPT, genetic algorithms, UML, MDD, deadlocks, concurrent systems, model analysis |
| 1 | Yvan Labiche |
The UML Is More Than Boxes and Lines.  |
MoDELS Workshops  |
2008 |
DBLP DOI BibTeX RDF |
well-formedness rules, UML, consistency, teaching, laboratory |
| 1 | Lionel C. Briand, Yvan Labiche, Zaheer Bawar |
Using Machine Learning to Refine Black-Box Test Specifications and Test Suites.  |
QSIC  |
2008 |
DBLP DOI BibTeX RDF |
category partition, machine learning, black-box testing |
| 1 | Wladimir Araujo, Lionel C. Briand, Yvan Labiche |
Concurrent Contracts for Java in JML.  |
ISSRE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Zoughbi, Lionel C. Briand, Yvan Labiche |
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software.  |
MoDELS  |
2007 |
DBLP DOI BibTeX RDF |
Airworthiness, RTCA DO-178B, Safety Assessment, UML, Safety, Certification, UML Profile, Safety-Critical, Certification Authority |
| 1 | Frédéric Massicotte, Mathieu Couture, Lionel C. Briand, Yvan Labiche |
Model-Driven, Network-Context Sensitive Intrusion Detection.  |
MoDELS  |
2007 |
DBLP DOI BibTeX RDF |
OCL constraints, Intrusion Detection, UML modeling |
| 1 | Michael Bowman, Lionel C. Briand, Yvan Labiche |
Multi-Objective Genetic Algorithm to Support Class Responsibility Assignment.  |
ICSM  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Samar Mouchawrab, Lionel C. Briand, Yvan Labiche |
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment.  |
ESEM  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, Xuetao Liu |
Using Machine Learning to Support Debugging with Tarantula.  |
ISSRE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Arisholm, Lionel C. Briand, Siw Elisabeth Hove, Yvan Labiche |
The Impact of UML Documentation on Software Maintenance: An Experimental Evaluation.  |
IEEE Trans. Software Eng.  |
2006 |
DBLP DOI BibTeX RDF |
UML, experiment, Maintenance |
| 1 | James H. Andrews, Lionel C. Briand, Yvan Labiche, Akbar Siami Namin |
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria.  |
IEEE Trans. Software Eng.  |
2006 |
DBLP DOI BibTeX RDF |
test coverage of code, experimental design, testing strategies, Testing and debugging |
| 1 | Lionel C. Briand, Yvan Labiche, Johanne Leduc |
Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software.  |
IEEE Trans. Software Eng.  |
2006 |
DBLP DOI BibTeX RDF |
UML, reverse engineering, distribution, OCL, AspectJ, sequence diagram, RMI |
| 1 | Lionel C. Briand, Yvan Labiche, Marwa Shousha |
Using genetic algorithms for early schedulability analysis and stress testing in real-time systems.  |
Genetic Programming and Evolvable Machines  |
2006 |
DBLP DOI BibTeX RDF |
Genetic algorithms, Schedulability theory, Software verification and validation |
| 1 | Lionel C. Briand, Yvan Labiche, L. O'Sullivan, Michal M. Sówka |
Automated impact analysis of UML models.  |
Journal of Systems and Software  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yvan Labiche |
Planning and Scheduling from a Class Test Order.  |
COMPSAC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Massicotte, François Gagnon, Yvan Labiche, Lionel C. Briand, Mathieu Couture |
Automatic Evaluation of Intrusion Detection Systems.  |
ACSAC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Maged Elaasar, Lionel C. Briand, Yvan Labiche |
A Metamodeling Approach to Pattern Specification.  |
MoDELS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahid Garousi, Lionel C. Briand, Yvan Labiche |
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models.  |
MoDELS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, Alexandre Sauve |
Guiding the Application of Design Patterns Based on UML Models.  |
ICSM  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, Michal M. Sówka |
Automated, contract-based user testing of commercial-off-the-shelf components.  |
ICSE  |
2006 |
DBLP DOI BibTeX RDF |
UML, component, COTS, adequacy criteria |
| 1 | Vahid Garousi, Lionel C. Briand, Yvan Labiche |
Traffic-aware stress testing of distributed systems based on UML models.  |
ICSE  |
2006 |
DBLP DOI BibTeX RDF |
distributed systems, UML, model-based testing, network traffic, stress testing |
| 1 | Lionel C. Briand, Yvan Labiche, Jim Cui |
Automated support for deriving test requirements from UML statecharts.  |
Software and System Modeling  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, Massimiliano Di Penta, Han (Daphne) Yan-Bondoc |
An Experimental Investigation of Formality in UML-Based Development.  |
IEEE Trans. Software Eng.  |
2005 |
DBLP DOI BibTeX RDF |
Comprehension of software models, software engineering experimentation, UML, OCL |
| 1 | Samar Mouchawrab, Lionel C. Briand, Yvan Labiche |
A measurement framework for object-oriented software testability.  |
Information & Software Technology  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, Marwa Shousha |
Stress testing real-time systems with genetic algorithms.  |
GECCO  |
2005 |
DBLP DOI BibTeX RDF |
genetic algorithms, schedulability theory |
| 1 | Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche |
Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java.  |
MoDELS Satellite Events  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Massicotte, Mathieu Couture, Yvan Labiche |
Context-Based Intrusion Detection Using Snort, Nessus and Bugtraq Databases.  |
PST  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Vahid Garousi, Lionel C. Briand, Yvan Labiche |
Control Flow Analysis of UML 2.0 Sequence Diagrams.  |
ECMDA-FA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yvan Labiche |
Incremental Class Testing from a Class Test Order.  |
COMPSAC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, Johanne Leduc |
Tracing Distributed Systems Executions Using AspectJ.  |
ICSM  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Wojciech J. Dzidek, Yvan Labiche |
Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging.  |
ICSM  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, Q. Lin |
Improving Statechart Testing Criteria Using Data Flow Information.  |
ISSRE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Andrews, Lionel C. Briand, Yvan Labiche |
Is mutation an appropriate tool for testing experiments?  |
ICSE  |
2005 |
DBLP DOI BibTeX RDF |
hand-seeded faults, mutants, real faults |
| 1 | Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche |
Assessing and Improving State-Based Class Testing: A Series of Experiments.  |
IEEE Trans. Software Eng.  |
2004 |
DBLP DOI BibTeX RDF |
testing experimentation, category partition, UML statecharts, State-based testing |
| 1 | Lionel C. Briand, Yvan Labiche |
Empirical studies of software testing techniques: challenges, practical strategies, and future research.  |
ACM SIGSOFT Software Engineering Notes  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, H.-D. Yan, Massimiliano Di Penta |
A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development.  |
ICSM  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, Yihong Wang |
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart.  |
ICSE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, Yihong Wang |
An Investigation of Graph-Based Class Integration Test Order Strategies.  |
IEEE Trans. Software Eng.  |
2003 |
DBLP DOI BibTeX RDF |
integration order, experimentation, Integration testing, object-oriented software engineering |
| 1 | Lionel C. Briand, Yvan Labiche, Hong Sun |
Investigating the use of analysis contracts to improve the testability of object-oriented code.  |
Softw., Pract. Exper.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Jim Cui, Yvan Labiche |
Towards Automated Support for Deriving Test Data from UML Statecharts.  |
UML  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, Y. Miao |
Towards the Reverse Engineering of UML Sequence Diagrams.  |
WCRE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, L. O'Sullivan |
Impact Analysis and Change Management of UML Models.  |
ICSM  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, Yihong Wang |
A Comprehensive and Systematic Methodology for Client-Server Class Integration Testing.  |
ISSRE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche |
A UML-Based Approach to System Testing.  |
Software and System Modeling  |
2002 |
DBLP DOI BibTeX RDF |
Testing of object-oriented systems, UML, Testability, Sequence Diagrams, System testing, Use Cases |
| 1 | Lionel C. Briand, Yvan Labiche, Hong Sun |
Investigating the use of analysis contracts to support fault isolation in object oriented code.  |
ISSTA  |
2002 |
DBLP DOI BibTeX RDF |
contracts, testability, object-oriented analysis, object-oriented testing |
| 1 | Lionel C. Briand, Yvan Labiche, G. Soccar |
Automating Impact Analysis and Regression Test Selection Based on UML Designs. (PDF / PS)  |
ICSM  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Jie Feng, Yvan Labiche |
Using genetic algorithms and coupling measures to devise optimal integration test orders.  |
SEKE  |
2002 |
DBLP DOI BibTeX RDF |
integration order, genetic algorithms, integration testing, object-oriented software engineering |
| 1 | Giuliano Antoniol, Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche |
A Case Study Using the Round-Trip Strategy for State-Based Class Testing.  |
ISSRE  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche |
A UML-Based Approach to System Testing.  |
UML  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel C. Briand, Yvan Labiche, Yihong Wang |
Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles.  |
ISSRE  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand |
Testing levels for object-oriented software.  |
ICSE  |
2000 |
DBLP DOI BibTeX RDF |
abstract classes, object-oriented oftware, test order, tool, polymorphism, integration strategy |