Export 198 results:
Filters: Author is Lionel Briand [Clear All Filters]
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.
Industrial Experiences With Automated Regression Testing of a Legacy Database Application In IEEE Int. Conference on Software Maintenance, Edited by J. R. C. A. Marcus and P. Tonella. IEEE Computer Society, 2011.
A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards In 22th IEEE International Symposium on Software Reliability Engineering (ISSRE 2011), Edited by IEEE. IEEE, 2011.
A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering In ACM/IEEE International Conference on Software Engineering (ICSE), Edited by H. Gall and N. Medvidovic. IEEE, 2011.
Random Testing: Theoretical Results and Practical Implications." IEEE Transactions on Software Engineering 38 (2011): 258-277."
Research-Based Innovation: a Tale of Three Projects in Model-Driven Engineering. Simula Research Laboratory, 2011.
SafeSlice: a Model Slicing and Design Safety Inspection Tool for SysML. In SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Edited by A. Z. T. Gyimóthy. ACM, 2011.
A Search-Based OCL Constraint Solver for Model-Based Test Data Generation In Proceedings of the 11th International Conference On Quality Software (QSIC 2011). IEEE Computer Society, 2011.
SimPL: a Product-Line Modeling Methodology for Families of Integrated Control Systems. Simula Research Laboratory, 2011.
A Systematic Review of Transformation Approaches Between User Requirements and Analysis Models." Requirements Engineering 16 (2011): 75-99."
Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience In The 1st Intentional Workshop on Software Certification (WoSoCER) at 22th IEEE International Symposium on Software Reliability Engineering. Springer, 2011.
Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information. P.O.Box 134, 1325 Lysaker, Norway: Simula Research Laboratory, 2011.
Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information In 30th ACM International Conference on Conceptual Modeling (ER). Vol. 6998/2011. ACM, 2011.
Achieving Scalable Model-Based Testing Through Test Case Diversity. Simula Research Laboratory, 2010.
Adaptive Random Testing: an Illusion of Effectiveness. Simula Research Laboratory, 2010.
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.
Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing In 22nd IFIP International Conference on Testing Software and Systems (ICTSS) - formerly TestCom/FATES, Edited by A. Petrenko, A. Simão and J. Maldonado. Vol. 6435. Lecture Notes in Computer Science 6435. Springer, 2010.
Characterizing the Chain of Evidence for Software Safety Cases: a Conceptual Model Based on the IEC 61508 Standard In Third IEEE International Conference on Software Testing, Verification and Validation (ICST), Edited by M. Gaudel, A. R. Cavalli and S. Ghosh. IEEE Computer Society, 2010.
Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection. Simula Research Laboratory, 2010.
An Enhanced Test Case Selection Approach for Model-Based Testing: an Industrial Case Study In 18th ACM SIGSOFT international symposium on Foundations of Software Engineering (FSE), Edited by G. Roman and A. van der Hoek. ACM, 2010.
Environment Modeling With UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies In ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), Edited by D. Petriu, N. Rouquette and Ø. Haugen. Vol. 6394. Springer Berlin / Heidelberg, 2010.
Formal Analysis of the Effectiveness and Predictability of Random Testing In ACM International Conference on Software Testing and Analysis (ISSTA), Edited by A. O. P. Tonella. ACM, 2010.
Improving the Coverage Criteria of UML State Machines Using Data Flow Analysis." Software Testing, Verification and Reliability 20 (2010)."
An Industrial Investigation of Similarity Measures for Model-Based Test Case Selection In 21st International Symposium on Software Reliability Engineering, ISSRE, Edited by M. Marathe and M. Cukier. IEEE, 2010.
Investigating the Impact of a Measurement Program on Software Quality." Information and Software Technology 52 (2010): 923-933."