Lionel Briand

S. Nair, J. L. de la Vara, M. Sabetzadeh and L. C. Briand

An Extended Systematic Literature Review on Provision of Evidence for Safety Certification

Information and Software Technology

M. Z. Iqbal, S. Ali, T. Yue and L. C. Briand

Applying UML/MARTE on Industrial Projects: Challenges, Experiences, and Guidelines

Software and Systems Modeling

R. Behjati, S. Nejati and L. C. Briand

Architecture-Level Configuration of Large-Scale Embedded Software Systems

ACM Transactions on Software Engineering and Methodology

I. Rubab, S. Ali, L. C. Briand and Y. Le Traon

Model-Based Testing of Obligations

The 14th International Conference on Quality Software (QSIC)

S. Di Alesio, S. Nejati, L. C. Briand and A. Gotlieb

Worst-case Scheduling of Software Tasks – A Constraint Optimization Model to Support Performance Testing

The 20th International Conference on Principles and Practice of Constraint Programming (CP 2014)

H. Hemmati, A. Arcuri and L. C. Briand

Achieving Scalable Model-Based Testing Through Test Case Diversity

ACM Transactions on Software Engineering and Methodology

M. Z. Iqbal, A. Arcuri and L. C. Briand

Environment Modeling and Simulation for Automated Testing of Soft Real-Time Embedded Software

Software and Systems Modeling

T. Yue, L. C. Briand and Y. Labiche

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

ACM Transactions on Software Engineering and Methodology

S. Ali, M. Z. Iqbal, A. Arcuri and L. C. Briand

Generating Test Data From OCL Constraints With Search Techniques

IEEE Transactions on Software Engineering

R. Behjati, T. Yue, L. C. Briand and B. Selic

SimPL: a Product-Line Modeling Methodology for Families of Integrated Control Systems

Information and Software Technology

E. Rogstad, L. C. Briand and R. Torkar

Test Case Selection for Black-Box Regression Testing of Database Applications

Information and Software Technology

D. Falessi, L. C. Briand, G. Cantone, R. Capilla and P. Kruchten

The Value of Design Rationale Information

ACM Transactions on Software Engineering and Methodology

S. Ali, T. Yue and L. C. Briand

Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: a Controlled Experiment

International Conference on Software Testing, Verification and Validation (ICST)

A. Arcuri and L. C. Briand

A Hitchhiker's Guide to Statistical Tests for Assessing Randomized Algorithms in Software Engineering

Software Testing, Verification and Reliability

J. A. Dallal and L. C. Briand

A Precise Method-Method Interaction-Based Cohesion Metric for Object-Oriented Classes

ACM Transactions on Software Engineering and Methodology

S. Nejati, M. Sabetzadeh, D. Falessi, L. C. Briand and C. Thierry

A SysML-Based Approach to Traceability Management and Design Slicing in Support of Safety Certification: Framework, Tool Support, and Case Studies

Information and Software Technology

S. Ali, T. Yue and L. C. Briand

Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines?

Software and Systems Modeling

A. Arcuri and L. C. Briand

Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing

IEEE Transactions on Software Engineering

S. Ali, L. C. Briand and H. Hemmati

Modeling Robustness Behavior Using Aspect-Oriented Modeling to Support Robustness Testing of Industrial Systems

Software and Systems Modeling

M. Shousha, L. C. Briand and Y. Labiche

UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems

IEEE Transactions on Software Engineering

R. Behjati, T. Yue and L. C. Briand

A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data

Model Driven Engineering Languages and Systems, 15th International Conference, MODELS 2012

S. Ali, T. Yue, L. C. Briand and S. Walawege

A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: an Industrial Case Study

ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS)

M. Z. Iqbal, A. Arcuri and L. C. Briand

Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems

Symposium on Search Based Software Engineering (SSBSE)

M. Z. Iqbal, A. Arcuri and L. C. Briand

Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software

International Symposium on Software Testing and Analysis (ISSTA), ACM

M. Z. Iqbal, S. Ali, T. Yue and L. C. Briand

Experiences of Applying UML/MARTE on Three Industrial Projects

ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)

R. Behjati, S. Nejati, T. Yue, A. Gotlieb and L. C. Briand

Model-Based Automated and Guided Configuration of Embedded Software Systems

ECMFA 2012

S. Nejati, S. Di Alesio, M. Sabetzadeh and L. C. Briand

Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing

The ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012)

M. Delahaye, L. C. Briand, A. Gotlieb and M. Petit

MuTIL: Mutation-Based Statistical Test Inputs Generation for Automatic Fault Localization

Proceedings of the Sixth International Conference on Software Security and Reliability (SERE-12), Washington, USA

S. Di Alesio, A. Gotlieb, S. Nejati and L. C. Briand

Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques

The 4th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012)

S. Wang, A. Gotlieb, M. Liaaen and L. C. Briand

Automatic Derivation of Test Execution Plans From a Video Conferencing System Product Line Modelling

R. Behjati, T. Yue and L. C. Briand

A Model-Based Approach to the Automated Reuse of Configuration Data Based on Internal Similarities

M. Z. Iqbal, A. Arcuri and L. C. Briand

Combining Search-Based and Adaptive Random Testing for Black-Box System Testing of Real-Time Embedded Systems

T. Yue, L. C. Briand, B. Selic and Q. Gan

Experiences With Model-Based Product Line Engineering for Developing a Family of Integrated Control Systems: an Industrial Case Study

S. Ali, M. Z. Iqbal, A. Arcuri and L. C. Briand

Generating Test Data From OCL Constraints With Search Techniques

S. Mouchawrab, L. C. Briand, Y. Labiche and M. Di Penta

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

IEEE Transactions on Software Engineering

D. Falessi, M. Sabetzadeh, L. C. Briand, E. Turella, T. Coq and R. K. Panesar-Walawege

Planning for Safety Evidence Collection: a Tool-Supported Approach Based on Modeling of Standards Compliance Information

IEEE Software

A. Arcuri and L. C. Briand

Adaptive Random Testing: an Illusion of Effectiveness?

ACM International Conference on Software Testing and Analysis (ISSTA)

S. Ali, L. C. Briand, A. Arcuri and S. Walawege

An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms

ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (Models 2011)

R. K. Panesar-Walawege, T. S. Knutsen, M. Sabetzadeh and L. C. Briand

CRESCO: Construction of Evidence Repositories for Managing Standards Compliance

30th ACM International Conference on Conceptual Modeling (ER2011)

H. Hemmati, A. Arcuri and L. C. Briand

Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection

4th International Conference on Software Testing, Verification and Validation (ICST2011)

R. Behjati, T. Yue, S. Nejati, L. C. Briand and B. Selic

Extending SysML With AADL Concepts for Comprehensive System Architecture Modeling

7th European Conference on Modelling Foundations and Applications

W. Araujo, L. C. Briand and Y. Labiche

On the Effectiveness of Contracts As Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software

ACM/IEEE Int. Symposium on Empirical Software Engineering and Measurement (ESEM)

M. Sabetzadeh, S. Nejati, L. C. Briand and A. E. Mills

Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience

13th IEEE International High Assurance Systems Engineering Symposium (HASE'11)

A. Arcuri and L. C. Briand

A Hitchhiker's Guide to Statistical Tests for Assessing Randomized Algorithms in Software Engineering

S. Nejati, M. Sabetzadeh, D. Falessi, L. C. Briand and T. Coq

A SysML-Based Approach to Traceability Management and Design Slicing in Support of Safety Certification: Framework, Tool Support, and Case Studies

R. Behjati, T. Yue, S. Nejati, L. C. Briand and B. Selic

An AADL-Based SysML Profile for Architecture Level Systems Engineering: Approach, Metamodels, and Experiments

M. Z. Iqbal, A. Arcuri and L. C. Briand

Code Generation From UML/MARTE/OCL Environment Models to Support Automated System Testing of Real-Time Embedded Software

M. Vokác and J. M. Glattetre

Using a Domain-Specific Language and Custom Tools to Model a Multi-Tier Service-Oriented Application-Experiences and Challenges

Models 2005, Montego Bay, Jamaica October 2-7