Export 68 results:
Filters: Author is Yvan Labiche [Clear All Filters]
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."
Facilitating the Transition From Use Case Models to Analysis Models: Approach and Experiments." ACM Transactions on Software Engineering and Methodology 22 (2013)."
UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems." IEEE Transactions on Software Engineering 38 (2012)."
Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: a Series of Experiments." IEEE Transactions on Software Engineering 37 (2011)."
Automating Image Segmentation Verification and Validation by Learning Test Oracles." Information and Software Technology 53, no. 12 (2011): 1337-1348."
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.
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.
A Systematic Review of Transformation Approaches Between User Requirements and Analysis Models." Requirements Engineering 16 (2011): 75-99."
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.
Automatically Deriving a UML Analysis Model from a Use Case Model. Simula Research Laboratory, 2010.
Automatically Deriving UML Sequence Diagrams from Use Cases. Simula Research Laboratory, 2010.
Facilitating the Transition From Use Case Models to Analysis Models: Approach and Experiments. Simula Research Laboratory, 2010.
Improving the Coverage Criteria of UML State Machines Using Data Flow Analysis." Software Testing, Verification and Reliability 20 (2010)."
Solving the Class Responsibility Assignment Problem in Object-Oriented Analysis With Multi-Objective Genetic Algorithms." IEEE Transactions on Software Engineering 36 (2010): 817-837."
Automated Traceability Analysis for UML Model Refinements." Information and Software Technology 51 (2009)."
Automating Image Segmentation Verification and Validation by Learning Test Oracles. Carleton University, 2009.
Automating Regression Test Selection Based on UML Designs." Information and Software Technology 51 (2009)."
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."
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.
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.
Using Machine Learning to Refine Category-Partition Test Specifications and Test Suites." Information and Software Technology 21 (2009)."
Concurrent Contracts for Java in JML In IEEE International Symposium on Software Reliability Engineering (ISSRE)., 2008.
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."
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.
Using Machine Learning to Refine Black-Box Test Specifications and Test Suites In Eigth IEEE International Conference on Quality Software., 2008.