Dr. Yvan Labiche's Home Page

Please Note:

Most of the referenced works below have an associated Technical Report that can be downloaded from the SQUALL lab web site.

(Peer Reviewed) Journals (Up, Conferences)

T. Yue, L. C. Briand and Y. Labiche, “Automated Traceability Analysis for UML Model Refinements,” (forthcoming) Information & Software Technology, 2008.

V. Garousi, L. C. Briand and Y. Labiche, “A UML-based Quantitative Framework for early Prediction of Resource Usage and Load in Distributed Real-Time Systems,” (forthcoming) Software and System Modeling, 2008.

V. Garousi, L. C. Briand and Y. Labiche, “Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models using Genetic Algorithms,” Journal of Systems and Software, vol. 81 (2), pp. 161-185, 2008.

L. C. Briand, Y. Labiche and M. Shousha, “Using Genetic Algorithms for Early Schedulability Analysis and Stress Testing in Real-Time Systems,” Genetic Programming and Evolvable Machines, vol. 7 (2), pp. 145-170, 2006.

L. C. Briand, Y. Labiche and J. Leduc, “Towards the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software,” IEEE Transactions on Software Engineering, vol. 32 (9), pp. 642-663, 2006.

L. C. Briand, Y. Labiche, L. O'Sullivan and M. Sowka, “Automated Impact Analysis of UML Models,” Journal of Systems and Software, vol. 79 (3), pp. 339-352, 2006.

E. Arisholm, L. C. Briand, S. E. Hove and Y. Labiche, “The Impact of UML Documentation on Software Maintenance: An Experimental Evaluation,” IEEE Transaction on Software Engineering, vol. 32 (6), pp. 365-381, 2006.

J. H. Andrews, L. C. Briand, Y. Labiche and A. S. Namin, “Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria,” IEEE Transactions on Software Engineering, vol. 32 (8), pp. 608-624, 2006.

S. Mouchawrab, L. C. Briand and Y. Labiche, “A Measurement Framework for Object-Oriented Software Testability,” Information and Software Technology, vol. 47 (15), pp. 979-997, 2005.

L. C. Briand, Y. Labiche and J. Cui, “Automated Support for Deriving Test Requirements from UML Statecharts,” Journal of Software and Systems Modeling, vol. 4 (4), pp. 399-423, 2005.

L. C. Briand, Y. Labiche, M. Di Penta and H.-D. Yan-Bondoc, “An Experimental Investigation of Formality in UML-based Development,” IEEE Transactions on Software Engineering, vol. 31 (10), pp. 833-849, 2005.

L. C. Briand, M. Di Penta and Y. Labiche, “Assessing and Improving State-Based Class Testing: A Series of Experiments,” IEEE Transactions of Software Engineering, vol. 30 (11), pp. 770-793, 2004.

L. C. Briand, Y. Labiche and Y. Wang, “An Investigation of Graph-Based Class Integration Test Order Strategies,” IEEE Transactions of Software Engineering, vol. 29 (7), pp. 594-607, 2003.

L. C. Briand, Y. Labiche and H. Sun, “Investigating the Use of Analysis Contracts to Improve the Testability of Object-Oriented Code,” Software - Practice and Experience, vol. 33 (7), pp. 637-672, 2003.

L. C. Briand and Y. Labiche, “A UML-Based Approach to System Testing,” Software and Systems Modeling, vol. 1 (1), pp. 10-42, 2002.

(Peer Reviewed) Conferences (Journals, Up)

M. Shousha, L. C. Briand and Y. Labiche, “A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms,” Proc. Models, 2008.

F. Massicotte, L. C. Briand and Y. Labiche, “Toward Automatic Generation of Intrusion Detection System Verification Rules,” Proc. Annual Computer Security Applications Conference, 2008.

Y. Labiche, “The UML is more than Boxes and Lines,” Proc. Educators Symposium @ Models 2008, 2008.

L. C. Briand, Y. Labiche and Z. Bawar, “Using Machine Learning to Refine Black-Box Test Specifications and Test Suites,” Proc. International Conference on Quality Software, 2008.

W. Araujo, L. C. Briand and Y. Labiche, “Concurrent Contracts for Java in JML,” Proc. IEEE International Symposium on Software Reliability Engineering, 2008.

G. Zoughbi, L. C. Briand and Y. Labiche, “A UML Profile For Developing Airworthiness-Compliant (RTCA DO-178B) Safety-Critical Software,” Proc. ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 574-588, 2007.

S. Mouchawrab, L. C. Briand and Y. Labiche, “Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment,” Proc. ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, pp. 41-50, 2007.

F. Massicotte, M. Couture, L. C. Briand and Y. Labiche, “An Object-Oriented Network-Context Sensitive Intrusion Detection System,” Proc. ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 61-75, 2007.

L. C. Briand, Y. Labiche and X. Liu, “Using Machine Learning to Support Debugging with Tarantula,” Proc. International Symposium on Software Reliability Engineering, pp. 137-146, 2007.

M. Bowman, L. C. Briand and Y. Labiche, “Multi-Objective Genetic Algorithms to Support Class Responsibility Assignment,” Proc. IEEE International Conference on Software Maintenance, pp. 124-133, 2007.

F. Massicotte, F. Gagnon, Y. Labiche, L. Briand and M. Couture, “Automatic Evaluation of Intrusion Detection Systems,” Proc. Annual Computer Security Applications Conference, 2006.

Y. Labiche, “Ways to benefit from a Class test Order,” Proc. IEEE International Computer Software and Applications Conference, 2006.

V. Garousi, L. C. Briand and Y. Labiche, “Traffic-aware Stress Testing of Distributed Systems Based on UML Models,” Proc. International Conference on Software Engineering, pp. 391-400, 2006.

V. Garousi, L. C. Briand and Y. Labiche, “Analysis and Visualization of Behavioral Dependencies among Distributed Objects based on UML Models,” Proc. ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, LNCS 4199, pp. 365-379, 2006.

M. Elaasar, L. C. Briand and Y. Labiche, “A Metamodeling Approach to Pattern Specification and Detection,” Proc. ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, LNCS 4199, pp. 484-498, 2006.

W. Dzidek, L. C. Briand and Y. Labiche, “Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java,” Proc. Satellite Events at the ACM/IEEE MoDELS 2005 Conference, Lecture Notes in Computer Science, LNCS 3844, pp. 10-19, 2006.

L. C. Briand, Y. Labiche and M. Sówka, “Automated, Contract-based User Testing of Commercial-Off-The-Shelf Components,” Proc. International Conference on Software Engineering, pp. 92-101, 2006.

L. C. Briand, Y. Labiche and A. Sauvé, “Guiding the Application of Design Patterns Based on UML Models,” Proc. IEEE International Conference on Software Maintenance, pp. 234-243, 2006.

F. Massicotte, M. Couture, L. C. Briand and Y. Labiche, “Context-Based Intrusion Detection Using Snort, Nessus and Bugtraq Databases,” Proc. Annual Conference on Privacy, Security and Trust, 2005.

Y. Labiche and G. Wainer, “Towards the Verification and Validation of DEVS Models,” Proc. Open International Conference on Modeling & Simulation, pp. 295-305, 2005.

Y. Labiche, “Incremental Class Testing from a Class Test Order,” Proc. IEEE Annual International Computer Software and Applications Conference, pp. 7-12, 2005.

V. Garousi, L. C. Briand and Y. Labiche, “Control Flow Analysis of UML 2.0 Sequence Diagrams,” Proc. European Conference on Model Driven Architecture-Foundations and Applications, pp. 160-174, 2005.

W. Dzidek, L. C. Briand and Y. Labiche, “Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging,” Proc. IEEE International Conference on Software Maintenance, pp. 687-690, 2005.

L. C. Briand, Y. Labiche and Q. Lin, “Improving State-Based Coverage Criteria Using Data Flow Information,” Proc. IEEE International Conference on Software Reliability Engineering, pp. 95-104, 2005.

L. C. Briand, Y. Labiche and J. Leduc, “Tracing Distributed Systems Executions Using AspectJ,” Proc. IEEE International Conference on Software Maintenance, pp. 81-90, 2005.

L. C. Briand, Y. Labiche and M. Shousha, “Automating Stress Testing for Real-Time Systems Using Genetic Algorithms,” Proc. ACM Genetic and Evolutionary Computation Conference, pp. 1021-1028, 2005.

J. H. Andrews, L. C. Briand and Y. Labiche, “Is Mutation an Appropriate Tool for Testing Experiments?,” Proc. IEEE International Conference on Software Engineering, pp. 402-411, 2005.

L. C. Briand, Y. Labiche, H.-D. Yan and M. Di Penta, “A controlled experiment on the impact of the object constraint language in UML-based development,” Proc. IEEE International Conference on Software Maintenance, pp. 380-389, 2004.

L. C. Briand, Y. Labiche and Y. Wang, “Using Simulation to Empirically Investigate Test Coverage Criteria,” Proc. IEEE/ACM International Conference on Software Engineering, pp. 86-95, 2004.

L. C. Briand, Y. Labiche and Y. Miao, “Towards the Reverse Engineering of UML Sequence Diagrams,” Proc. IEEE Working Conference on Reverse Engineering, pp. 57-66, 2003.

L. C. Briand, Y. Labiche and Y. Wang, “Toward a Comprehensive and Systematic Methodology for Class Integration Testing,” Proc. IEEE International Symposium on Software Reliability Engineering, pp. 14-25, 2003.

L. C. Briand, J. Cui and Y. Labiche, “Towards Automated Support for Deriving Test Data from UML Statecharts,” Proc. ACM/IEEE International Conference on the Unified Modeling Language (UML'03), pp. 249-264, 2003.

L. C. Briand, Y. Labiche and L. O'Sullivan, “Impact Analysis and Change Management of UML Models,” Proc. IEEE International Conference on Software Maintenance, pp. 256-265, 2003.

L. C. Briand, Y. Labiche and G. Soccar, “Automating Impact Analysis and Regression Test Selection Base on UML Designs,” Proc. IEEE International Conference on Software Maintenance (ICSM), pp. 252-261, 2002.

L. C. Briand, J. Feng and Y. Labiche, “Using Genetic Algorithms and Coupling Measures to Devise Optimal Integration Test Orders,” Proc. 14^th ACM International Conference on Software Engineering and Knowledge Engineering (SEKE), pp. 43-50, 2002.

L. C. Briand, Y. Labiche and H. Sun, “Investigating the Use of Analysis Contracts to Support Fault Isolation in Object Oriented Code,” Proc. ACM International Symposium on Software Testing and Analysis (ISSTA), pp. 70-80, 2002.

G. Antoniol, L. C. Briand, M. Di Penta and Y. Labiche, “A Case Study Using the Round-Trip Strategy for State-Based Class Testing,” Proc. 13^th IEEE International Symposium on Software Reliability Engineering (ISSRE'02), pp. 269-279, 2002.

L. C. Briand, Y. Labiche and Y. Wang, “Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles,” Proc. 12^th IEEE International Symposium on Software Reliability Engineering (ISSRE), pp. 287-296, 2001.

L. C. Briand and Y. Labiche, “A UML-Based Approach to System Testing,” Proc. 4^th International Conference on the Unified Modeling Language (UML), LNCS 2185, pp. 194-208, 2001.

Y. Labiche, P. Thévenod-Fosse, H. Waeselynck and M.-H. Durand, “Testing Levels for Object-Oriented Software,” Proc. IEEE International Conference on Software Engineering, pp. 136-145, 2000.

Y. Labiche, P. Thévenod-Fosse, H. Waeselynck, M.-H. Durand and P. Farail, “A Test Ordering Tool for Object-Oriented Programs,” Proc. 10th European Workshop on Dependable Computing (EWDC), pp. 57-61, 1999.

Y. Labiche, “On testing object-oriented programs,” Proc. ECOOP Workshop for Doctoral Students in Object-Oriented Systems, pp. 65-70, 1997.