Export 68 results:
Search results for biblio_year:2013
Filters: 1 is field_publication_state:17 and 2 is biblio_type:Technical reports and 3 is biblio_year:2009 and Author is Yvan Labiche  [Reset Search]
2015
T. Yue, L. Briand and Y. Labiche. "aToucan: an Automated Framework to Derive UML Analysis Models From Use Case Models." ACM Transactions on Software Engineering and Methodology 24, no. 3 (2015): 1-52.
2013
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 22 (2013).
2012
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 38 (2012).PDF icon Simula.approve.46.pdf (1.09 MB)
2011
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 37 (2011).PDF icon Simula.SE.403.pdf (5.72 MB)
K. Frouchni, L. Briand, Y. Labiche, L. Grady and R. Subramanyan. "Automating Image Segmentation Verification and Validation by Learning Test Oracles." Information and Software Technology 53, no. 12 (2011): 1337-1348.PDF icon Simula.simula.684.pdf (600.95 KB)
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 In ACM/IEEE Int. Symposium on Empirical Software Engineering and Measurement (ESEM). Banff, AB: IEEE Computer Society, 2011.PDF icon Simula.simula.672.pdf (385.61 KB)
W. Araujo, L. Briand and Y. Labiche. Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language In ACM/IEEE Int. Conference on Software Engineering (ICSE), Edited by H. G. R. Taylor and N. Medvidovic. ACM New York, NY, USA, 2011.
T. Yue, L. Briand and Y. Labiche. "A Systematic Review of Transformation Approaches Between User Requirements and Analysis Models." Requirements Engineering 16 (2011): 75-99.
2010
T. Yue, L. Briand and Y. Labiche. An Automated Approach to Transform Use Cases Into Activity Diagrams In 6th European Conference on Modelling Foundations and Applications (ECMFA 2010), Edited by K. e. T. al.. Vol. 6138. Springer, 2010.
T. Yue, L. C. Briand and Y. Labiche. Automatically Deriving a UML Analysis Model from a Use Case Model. Simula Research Laboratory, 2010.
T. Yue, L. C. Briand and Y. Labiche. Automatically Deriving UML Sequence Diagrams from Use Cases. Simula Research Laboratory, 2010.
T. Yue, L. C. Briand and Y. Labiche. Facilitating the Transition From Use Case Models to Analysis Models: Approach and Experiments. Simula Research Laboratory, 2010.
L. Briand, Y. Labiche and Q. Lin. "Improving the Coverage Criteria of UML State Machines Using Data Flow Analysis." Software Testing, Verification and Reliability 20 (2010).PDF icon Simula.SE.407.pdf (490.02 KB)
M. Bowman, L. Briand and Y. Labiche. "Solving the Class Responsibility Assignment Problem in Object-Oriented Analysis With Multi-Objective Genetic Algorithms." IEEE Transactions on Software Engineering 36 (2010): 817-837.PDF icon Simula.SE.635.pdf (329.26 KB)
2009
L. Briand, Y. Labiche and T. Yue. "Automated Traceability Analysis for UML Model Refinements." Information and Software Technology 51 (2009).PDF icon Simula.SE.243.pdf (2.69 MB)
K. Frounchi, L. Briand, L. Grady and Y. Labiche. Automating Image Segmentation Verification and Validation by Learning Test Oracles. Carleton University, 2009.PDF icon Simula.SE.639.pdf (1.94 MB)
L. Briand, Y. Labiche and S. He. "Automating Regression Test Selection Based on UML Designs." Information and Software Technology 51 (2009).PDF icon Simula.SE.303.pdf (596.41 KB)
V. Garousi, L. Briand and Y. Labiche. "A UML-Based Quantitative Framework for Early Prediction of Resource Usage and Load in Distributed Real-Time Systems." Software and Systems Modeling Volume 8 (2009): 275-302.PDF icon Simula.SE.277.pdf (766.51 KB)
M. Shousha, L. Briand and Y. Labiche. A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems In ACM/IEEE MODELS 2009, Edited by A. Schürr and B. Selic. Springer-Verlag Berlin, Heidelberg, 2009.PDF icon Simula.SE.645.pdf (546.85 KB)
T. Yue, L. Briand and Y. Labiche. A Use Case Modeling Approach to Facilitate the Transition Towards Analysis Models: Concepts and Empirical Evaluation In IEEE/ACM MODELS 2009 Proceedings, Edited by A. Schürr and B. Selic. Springer-Verlag Berlin, Heidelberg, 2009.
L. Briand, Y. Labiche, Z. Bawar and N. Spido. "Using Machine Learning to Refine Category-Partition Test Specifications and Test Suites." Information and Software Technology 21 (2009).PDF icon Simula.SE.641.pdf (1.33 MB)
2008
W. Araujo, L. Briand and Y. Labiche. Concurrent Contracts for Java in JML In IEEE International Symposium on Software Reliability Engineering (ISSRE)., 2008.PDF icon Simula.SE.283.pdf (74.45 KB)
V. Garousi, L. 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 81 (2008): 161-185.
M. Shousha, L. Briand and Y. Labiche. A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms In ACM/IEEE 11th International Conference in Model Driven Engineering Languages and Systems (MODELS 2008)., 2008.PDF icon Simula.SE.279.pdf (293 KB)
L. Briand, Y. Labiche and Z. Bawar. Using Machine Learning to Refine Black-Box Test Specifications and Test Suites In Eigth IEEE International Conference on Quality Software., 2008.PDF icon Simula.SE.251.pdf (159.7 KB)

Pages