Export 48 results:
Filters: Author is Lionel Claude Briand [Clear All Filters]
Applying UML/MARTE on Industrial Projects: Challenges, Experiences, and Guidelines." Software and Systems Modeling (2014): 1-19."
Architecture-Level Configuration of Large-Scale Embedded Software Systems." ACM Transactions on Software Engineering and Methodology 23 (2014)."
An Extended Systematic Literature Review on Provision of Evidence for Safety Certification." Information and Software Technology 56 (2014): 689-717."
Model-Based Testing of Obligations In The 14th International Conference on Quality Software (QSIC), Edited by T. H. Tse, E. Wong and B. McMillin. Allen, TX, USA: IEEE, 2014.
Worst-case Scheduling of Software Tasks – A Constraint Optimization Model to Support Performance Testing In The 20th International Conference on Principles and Practice of Constraint Programming (CP 2014)., 2014.
Achieving Scalable Model-Based Testing Through Test Case Diversity." ACM Transactions on Software Engineering and Methodology 22 (2013)."
Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: a Controlled Experiment In International Conference on Software Testing, Verification and Validation (ICST), Edited by Y. Le Traon. Luembourg: IEEE, 2013.
Environment Modeling and Simulation for Automated Testing of Soft Real-Time Embedded Software." Software and Systems Modeling (2013)."
Facilitating the Transition From Use Case Models to Analysis Models: Approach and Experiments." ACM Transactions on Software Engineering and Methodology 22 (2013)."
Generating Test Data From OCL Constraints With Search Techniques." IEEE Transactions on Software Engineering 39 (2013)."
SimPL: a Product-Line Modeling Methodology for Families of Integrated Control Systems." Information and Software Technology 55 (2013): 607-629."
Test Case Selection for Black-Box Regression Testing of Database Applications." Information and Software Technology (2013)."
The Value of Design Rationale Information." ACM Transactions on Software Engineering and Methodology 22, no. 3 (2013)."
Automatic Derivation of Test Execution Plans From a Video Conferencing System Product Line Modelling. ., 2012.
Combining Search-Based and Adaptive Random Testing for Black-Box System Testing of Real-Time Embedded Systems. Simula Research Laboratory, 2012.
Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems In Symposium on Search Based Software Engineering (SSBSE), Edited by G. Fraser, A. Susi and J. T. de Souza. Berlin Heidelberg: Springer, 2012.
Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines?" Software and Systems Modeling (2012)."
Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software In International Symposium on Software Testing and Analysis (ISSTA), ACM. New York, NY, USA: ACM, 2012.
Experiences of Applying UML/MARTE on Three Industrial Projects In ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), Edited by R. B. France, J. Kazmeier, R. Breu and C. Atkinson. Vol. 7590. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
Experiences With Model-Based Product Line Engineering for Developing a Family of Integrated Control Systems: an Industrial Case Study. Simula Research Laboratory, 2012.
Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing." IEEE Transactions on Software Engineering 38 (2012): 1088-1099."
Generating Test Data From OCL Constraints With Search Techniques. Simula Research Laboratory, 2012.
A Hitchhiker's Guide to Statistical Tests for Assessing Randomized Algorithms in Software Engineering." Software Testing, Verification and Reliability 24, no. 3 (2012): 219-250."
A Model-Based Approach to the Automated Reuse of Configuration Data Based on Internal Similarities. Simula Research Laboratory, 2012.