Export 48 results:
Filters: Author is Lionel Claude Briand [Clear All Filters]
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing In The ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012)., 2012.
nejati2012modeling.pdf (566.74 KB)
A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data In Model Driven Engineering Languages and Systems, 15th International Conference, MODELS 2012, Edited by R. France, J. Kazmeier, C. Atkinson and R. Breu. Vol. 7590. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
Simula.simula.1468.pdf (616.33 KB)
"Modeling Robustness Behavior Using Aspect-Oriented Modeling to Support Robustness Testing of Industrial Systems." Software and Systems Modeling 11 (2012): 633-670.
MuTIL: Mutation-Based Statistical Test Inputs Generation for Automatic Fault Localization In Proceedings of the Sixth International Conference on Software Security and Reliability (SERE-12), Washington, USA. .: ., 2012.
"A Precise Method-Method Interaction-Based Cohesion Metric for Object-Oriented Classes." ACM Transactions on Software Engineering and Methodology 21 (2012).
Simula.approve.50.pdf (699.64 KB)
A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: an Industrial Case Study In ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS). Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
"A SysML-Based Approach to Traceability Management and Design Slicing in Support of Safety Certification: Framework, Tool Support, and Case Studies." Information and Software Technology 54 (2012): 569-590.
Simula.simula.1122.pdf (1.06 MB)
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques In The 4th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012)., 2012.
dialesio2012testing.pdf (285.38 KB)
"UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems." IEEE Transactions on Software Engineering 38 (2012).
Simula.approve.46.pdf (1.09 MB)
An AADL-Based SysML Profile for Architecture Level Systems Engineering: Approach, Metamodels, and Experiments. Simula Research Laboratory, 2011.
Simula.simula.380.pdf (1.12 MB)
Adaptive Random Testing: an Illusion of Effectiveness? In ACM International Conference on Software Testing and Analysis (ISSTA), Edited by M. Dwyer and F. Tip. New York, NY, USA: ACM, 2011.
"Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: a Series of Experiments." IEEE Transactions on Software Engineering 37 (2011).
Simula.SE.403.pdf (5.72 MB)
Code Generation From UML/MARTE/OCL Environment Models to Support Automated System Testing of Real-Time Embedded Software. Simula Research Laboratory, 2011.
Simula.simula.368.pdf (1.88 MB)
CRESCO: Construction of Evidence Repositories for Managing Standards Compliance In 30th ACM International Conference on Conceptual Modeling (ER2011). Berlin Heidelberg: Springer, 2011.
Simula.simula.1120.pdf (597.82 KB)
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.
Simula.simula.672.pdf (385.61 KB)
Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection In 4th International Conference on Software Testing, Verification and Validation (ICST2011). Berlin: IEEE Computer Society, 2011.
Simula.simula.8.pdf (758.94 KB)
Extending SysML With AADL Concepts for Comprehensive System Architecture Modeling In 7th European Conference on Modelling Foundations and Applications. Berlin Heidelberg: Springer, 2011.
Simula.simula.434.pdf (493.51 KB)
A Hitchhiker's Guide to Statistical Tests for Assessing Randomized Algorithms in Software Engineering. Simula Research Laboratory, 2011.
Simula.simula.670.pdf (592.78 KB)
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms In ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (Models 2011), Edited by J. Whittle, T. Clark and T. Kühne. .: ACM/IEEE, 2011.
"Planning for Safety Evidence Collection: a Tool-Supported Approach Based on Modeling of Standards Compliance Information." IEEE Software pp (2011).
Simula.simula.182.pdf (630.37 KB)
A SysML-Based Approach to Traceability Management and Design Slicing in Support of Safety Certification: Framework, Tool Support, and Case Studies. Simula Research Laboratory, 2011.
Simula.simula.193.pdf (1.35 MB)
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience In 13th IEEE International High Assurance Systems Engineering Symposium (HASE'11). Boca Raton, FL: IEEE, 2011.
Simula.simula.804.pdf (609.5 KB)
Using a Domain-Specific Language and Custom Tools to Model a Multi-Tier Service-Oriented Application-Experiences and Challenges In Models 2005, Montego Bay, Jamaica October 2-7. LNCS 3713. Heidelberg: Springer-Verlag GmbH, 2005.
Vokac.2005.3.pdf (235.51 KB)