Export 48 results:
Search results for biblio_year:1979
Filters: 1 is biblio_type:Journal Article and 2 is biblio_year:1981 and 3 is biblio_year:2008 and 4 is biblio_year:1983 and 5 is biblio_year:2012 and 6 is biblio_type:Talks, invited and Author is Lionel Claude Briand [Reset Search]
Filters: 1 is biblio_type:Journal Article and 2 is biblio_year:1981 and 3 is biblio_year:2008 and 4 is biblio_year:1983 and 5 is biblio_year:2012 and 6 is biblio_type:Talks, invited and Author is Lionel Claude Briand [Reset Search]
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).
Simula.simula.2598.pdf (1.37 MB)
"
An Extended Systematic Literature Review on Provision of Evidence for Safety Certification." Information and Software Technology 56 (2014): 689-717.
IST2014.pdf (2.18 MB)
"
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.
dialesio2014worstcase.pdf (360.77 KB)

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.
Simula.simula.1556.pdf (2.3 MB)
"
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).
Simula.approve.88.pdf (733.96 KB)
"
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.
Simula.simula.1298.pdf (1.55 MB)

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.
Simula.simula.1474.pdf (1.57 MB)

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.
Simula.simula.1274.pdf (564.03 KB)

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.
Simula.simula.1242.pdf (418.74 KB)

Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing." IEEE Transactions on Software Engineering 38 (2012): 1088-1099.
Simula.simula.186.pdf (189.99 KB)
"
Generating Test Data From OCL Constraints With Search Techniques. Simula Research Laboratory, 2012.
Simula.simula.14.pdf (1.81 MB)

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.
Simula.simula.1260.pdf (432.32 KB)

Model-Based Automated and Guided Configuration of Embedded Software Systems In ECMFA 2012, Edited by A. Vallecillo, J. Tolvanen, E. Kindler, H. Störrle and D. Kolovos. Vol. 7349. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
Simula.simula.1280.pdf (609.56 KB)
