Export 199 results:
Search results for biblio_year:2013
Filters: 1 is biblio_year:1982 and 2 is biblio_year:2010 and 3 is biblio_year:0 and 4 is field_publication_state:17 and 5 is biblio_type:Technical reports and 6 is biblio_year:2009 and 7 is field_research_area:6 and Author is Lionel Briand [Reset Search]
Filters: 1 is biblio_year:1982 and 2 is biblio_year:2010 and 3 is biblio_year:0 and 4 is field_publication_state:17 and 5 is biblio_type:Technical reports and 6 is biblio_year:2009 and 7 is field_research_area:6 and Author is Lionel Briand [Reset Search]
Trustworthy Machine Learning-enabled Systems In Simula Research Laboratory, Norway., 2022.
Cost-effective Strategies for the Regression Testing of Database Applications: Case study and Lessons Learned." Journal of Systems and Software 113 (2016): 257-274.
jss_paper_rb15_proof.pdf (403.32 KB)
"
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.
"Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines." ACM Transactions on Software Engineering and Methodology (TOSEM) 25, no. 1 (2015): 1-37.
dialesio2015combining.pdf (1.31 MB)
"
Clustering Deviations for Black Box Regression Testing of Database Applications." Transaction on Reliability (2014).
ieeetransrelpaperrogstadbriand.pdf (406.49 KB)
"
Traceability and SysML Design Slices to Support Safety Inspections: a Controlled Experiment." ACM Transactions on Software Engineering and Methodology 23 (2014).
"Classification, Structuring, and Assessment of Evidence for Safety: a Systematic Literature Review In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Edited by B. Baudry, A. Orso and Y. Le Traon. IEEE, 2013.
Simula.simula.1656.pdf (819.79 KB)

A Goal-Based Approach for Qualification of New Technologies: Foundations, Tool Support, and Industrial Validation." Reliability Engineering and System Safety (RESS) (2013).
sabetzadeh2013goalbased.pdf (1.48 MB)
"
Stress Testing of Task Deadlines: A Constraint Programming Approach In The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013)., 2013.
dialesio2013stress.pdf (331.68 KB)

Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation." Information and Software Technology 55 (2013): 836-864.
"Test case selection for black-box regression testing of database applications." Information and Software Technology 55, no. 10 (2013): 1718-1795.
"Architecture-Level Configuration of Large-Scale Embedded Software Systems. Simula Research Laboratory, 2012.
Automatic Selection of Test Execution Plans from a Video Conferencing System Product Line In Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone. ACM, 2012.
Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software. Simula Research Laboratory, 2012.
Simula.simula.1144.pdf (370.67 KB)

Experiences of Applying UML/MARTE on Three Industrial Projects. Simula Research Laboratory, 2012.
An Extended Systematic Literature Review on Classification, Structuring and Assessment of Evidence for Safety Compliance. Simula Research Laboratory, 2012.
tr_2012-23.pdf (3.54 MB)

Guided Interactive Configuration of Embedded Software Systems Using Constraint Satisfaction Over Finite Domains. Simula Research Laboratory, 2012.
Simula.simula.1168.pdf (405.69 KB)

A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: an Industrial Case Study. Simula Research Laboratory, 2012.
Research-Based Innovation: a Tale of Three Projects in Model-Driven Engineering In Model Driven Engineering Languages and Systems, 15th International Conference, MODELS 2012, Edited by L. Briand. Vol. 7590. Springer Berlin Heidelberg, 2012.
researchbased.pdf (380.53 KB)

SLR on Evidence Classification, Structuring and Assessment for Safety. Extracted Data, Technical Report. Simula Research Laboratory, 2012.
SLR-Full-Extracted-Data.pdf (2.57 MB)

Automated System Testing of Real-Time Embedded Systems Based on Environment Models. Simula Research Laboratory, 2011.
Simula.simula.840.pdf (285.91 KB)

Automated Transition From Use Cases to UML State Machines to Support State-Based Testing In In Seventh European Conference on Modelling Foundations and Applications (ECMFA) 2011. Springer-Verlag Berlin, Heidelberg, 2011.
Automating Image Segmentation Verification and Validation by Learning Test Oracles." Information and Software Technology 53, no. 12 (2011): 1337-1348.
Simula.simula.684.pdf (600.95 KB)
"
Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology In The 13th IEEE International High Assurance Systems Engineering Symposium (HASE 2011)., 2011.
sabetzadeh2011combining.pdf (438.95 KB)

Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines?. Simula Research Laboratory, 2011.
Simula.approve.70.pdf (1.38 MB)
