Publications
Found 167 scientific publications (published or accepted for publication in forums with peer review).
Simula has implemented a set of publication guidelines based on the Vancouver Convention, which are enforced for all publications available in our online database.
2012
Articles in International Journals
J. Al Dallal
and
L. Briand.
A Precise Method-Method Interaction-Based Cohesion Metric for Object-Oriented Classes,
ACM Transactions on Software Engineering and Methodology 21(2),
2012.
D. Falessi,
L. Briand,
G. Cantone,
R. Capilla,
and
P. Kruchten.
The Value of Design Rationale Information,
Accepted for publication in ACM Transactions on Software Engineering and Methodology,
2012.
H. Hemmati, A. Arcuri, and L. Briand. Achieving Scalable Model-Based Testing Through Test Case Diversity , Accepted for publication in ACM Transactions on Software Engineering and Methodology (TOSEM) 22(1), 2012.
S. Nejati,
M. Sabetzadeh,
D. Falessi,
L. Briand,
and
C. Thierry.
A SysML-Based Approach to Traceability Management and Design Slicing in Support of Safety Certification: Framework, Tool Support, and Case Studies,
Accepted for publication in Information and Software Technology,
2012.
M. Shousha,
L. Briand,
and
Y. Labiche.
UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems,
IEEE Transactions on Software Engineering 38(2),
2012.
Refereed Proceedings
R. Behjati, S. Nejati, T. Yue, A. Gotlieb, and L. Briand. Model-Based Automated and Guided Configuration of Embedded Software Systems, In: ECMFA 2012, 2012.
S. Di Alesio,
A. Gotlieb,
S. Nejati,
and
L. Briand.
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques,
In: Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012),
2012.
Technical Reports
S. Ali,
T. Yue,
and
L. Briand.
A Product Line Modeling and Configuration Methodology to Support Model-based Testing: An Industrial Case Study,
Simula Research Laboratory, Technical Report(2012-07),
2012.
R. Behjati,
S. Nejati,
A. Gotlieb,
T. Yue,
and
L. Briand.
Guided Interactive Configuration of Embedded Software Systems Using Constraint Satisfaction over Finite Domains,
Simula Research Laboratory, Technical Report (2012-05),
2012.
R. Behjati,
T. Yue,
and
L. Briand.
A Model-Based Approach to the Automated Reuse of Configuration Data Based on Internal Similarities,
Simula Research Laboratory, Technical Report (2012-09),
2012.
M. Z. Iqbal,
S. Ali,
T. Yue,
and
L. Briand.
Experiences of Applying UML/MARTE on Three Industrial Projects,
Simula Research Laboratory, Technical Report (2012-08),
2012.
M. Z. Iqbal,
A. Arcuri,
and
L. Briand.
Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software ,
Simula Research Laboratory, Technical Report (2012-01),
2012.
M. Z. Iqbal,
A. Arcuri,
and
L. Briand.
Combining Search-based and Adaptive Random Testing for Black-box System Testing of Real-time Embedded Systems,
Simula Research Laboratory, Technical Report (2012-12),
2012.
T. Yue,
L. Briand,
B. Selic,
and
Q. Gan.
Experiences with Model-based Product Line Engineering for Developing a Family of Integrated Control Systems: an Industrial Case Study,
Simula Research Laboratory, Technical Report(2012-06),
2012.
2011
Articles in International Journals
S. Ali, L. Briand, and H. Hemmati. Modeling Robustness Behavior Using Aspect-Oriented Modeling to Support Robustness Testing of Industrial Systems, Accepted for publication in the Journal of Software and Systems Modeling, Springer, 2011.
A. Arcuri
and
L. Briand.
Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing ,
Accepted for publication in IEEE Transactions on Software Engineering,
2011.
A. Arcuri, M. Z. Iqbal, and L. Briand. Random Testing: Theoretical Results and Practical Implications., Accepted for publication in IEEE Transactions on Software Engineering, 2011.
L. Briand,
D. Falessi,
S. Nejati,
M. Sabetzadeh,
and
T. Yue.
Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment,
Submitted to a journal,
2011.
D. Falessi,
M. Sabetzadeh,
L. Briand,
E. Turella,
T. Coq,
and
R. K. Panesar-Walawege.
Planning for Safety Evidence Collection: A Tool-Supported Approach Based on Modeling of Standards Compliance Information,
IEEE Software pp(99),
2011.
K. Frouchni,
L. Briand,
Y. Labiche,
L. Grady,
and
R. Subramanyan.
Automating Image Segmentation Verification and Validation by Learning Test Oracles,
Information and Software Technology (Elsevier) 53(12),
2011.
S. Mouchawrab,
L. Briand,
Y. Labiche,
and
M. Di Penta.
Assessing, Comparing, and Combining State machine-Based Testing and Structural Testing: A Series of Experiments,
IEEE Transactions on Software Engineering 37(2),
2011.
T. Yue,
L. Briand,
and
Y. Labiche.
A Systematic Review of Transformation Approaches between User Requirements and Analysis Models,
Requirements Engineering (Springer) 16(2):75-99,
2011.
T. Yue, L. Briand, and Y. Labiche. Facilitating the Transition from Use Case Models to Analysis Models: Approach and Experiments, Accepted for publication in Transactions on Software Engineering and Methodology (TOSEM), 2011.
G. Zoughbi, L. Briand, and Y. Labiche. Modeling Safety and Airworthiness (RTCA DO-178B) Information – Conceptual Model and UML Profile, Software and System Modeling (Springer) 10(3), 2011.
Refereed Proceedings
S. Ali, L. Briand, A. Arcuri, and S. Walawege. 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), ed. by Jon Whittle, Tony Clark, Thomas Kühne, pp. 108-122, ACM/IEEE, Springer-Verlag Berlin, Heidelberg, 2011.
S. Ali,
M. Z. Iqbal,
A. Arcuri,
and
L. Briand.
A Search-based OCL Constraint Solver for Model-based Test Data Generation,
In: Proceedings of the 11th International Conference On Quality Software (QSIC 2011), ed. by , pp. 41-50, IEEE Computer Society,
2011.
W. Araujo,
L. Briand,
and
Y. Labiche.
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), ed. by , pp. 10-19, IEEE Computer Society,
2011.
A. Arcuri and L. Briand. A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering, In: ACM/IEEE International Conference on Software Engineering (ICSE), ed. by Harald Gall and Nenad Medvidović , pp. 1 - 10 , IEEE, 2011.
A. Arcuri and L. Briand. Adaptive Random Testing: An Illusion of Effectiveness?, In: ACM International Conference on Software Testing and Analysis (ISSTA), ed. by Matthew Dwyer and Frank Tip, pp. 265-275, ACM, 2011.
R. Behjati, T. Yue, S. Nejati, L. Briand, and B. Selic. Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling, In: 7th European Conference on Modelling Foundations and Applications, ed. by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige, pp. 236-252, Springer, 2011.
D. Falessi,
S. Nejati,
M. Sabetzadeh,
L. Briand,
and
A. Messina.
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), ed. by Tibor Gyimóthy, Andreas Zeller, ACM,
2011.
H. Hemmati,
A. Arcuri,
and
L. Briand.
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), ed. by , pp. 327 - 336, IEEE Computer Society,
2011.
R. K. Panesar-Walawege,
M. Sabetzadeh,
and
L. Briand.
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), ed. by IEEE, pp. 30-39, IEEE, IEEE ,
2011.
R. K. Panesar-Walawege,
M. Sabetzadeh,
and
L. Briand.
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. , ed. by Springer , Springer ,
2011.
R. K. Panesar-Walawege,
M. Sabetzadeh,
and
L. Briand.
Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information,
In: 30th ACM International Conference on Conceptual Modeling (ER), ed. by Springer , vol. 6998/2011, pp. 362-378, ACM, Springer ,
2011.
R. K. Panesar-Walawege,
T. Skyberg Knutsen,
M. Sabetzadeh,
and
L. Briand.
CRESCO: Construction of Evidence Repositories for Managing Standards Compliance,
In: 30th ACM International Conference on Conceptual Modeling (ER2011), ed. by Springer , Springer ,
2011.
E. Rogstad,
L. Briand,
R. Dalberg,
M. Rynning,
and
E. Arisholm.
Industrial Experiences with Automated Regression Testing of a Legacy Database Application,
In: IEEE Int. Conference on Software Maintenance, ed. by Andrian Marcus, James R. Cordy and Paolo Tonella , pp. 362 - 371, IEEE Computer Society,
2011.
M. Sabetzadeh,
D. Falessi,
L. Briand,
S. Di Alesio,
D. McGeorge,
V. Åhjem,
and
J. Borg.
Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology,
In: 13th IEEE International High Assurance Systems Engineering Symposium (HASE'11),
2011.
M. Sabetzadeh,
S. Nejati,
L. Briand,
and
Anne-H. Evensen Mills.
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),
2011.
T. Yue,
S. Ali,
and
L. Briand.
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, ed. by Robert B. France, Jochen M. Kuester, Behzad Borbar and Richard F. Paige, pp. 115-131, Springer-Verlag Berlin, Heidelberg,
2011.
Technical Reports
S. Ali,
M. Z. Iqbal,
A. Arcuri,
and
L. Briand.
Solving OCL Constraints for Test Data Generation in Industrial Systems with Search Techniques,
Simula Research Laboratory, Technical Report(2010-16 ),
2011.
S. Ali,
T. Yue,
and
L. Briand.
Empirically Evaluating the Impact of Applying Aspect State Machines on Modeling Quality and Effort ,
Simula Research Laboratory, Technical Report (2011-06),
2011.
S. Ali,
T. Yue,
and
L. Briand.
Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines?,
Simula Research Laboratory, Technical Report(2010-11),
2011.
A. Arcuri
and
L. Briand.
A Hitchhiker’s Guide to Statistical Tests for Assessing Randomized Algorithms in Software Engineering,
Simula Research Laboratory,
2011.
R. Behjati,
T. Yue,
L. Briand,
and
B. Selic.
SimPL: A Product-Line Modeling Methodology for Families of Integrated Control Systems ,
Simula Research Laboratory, Technical Report (2011-14 (V. 3)),
2011.
R. Behjati,
T. Yue,
S. Nejati,
L. Briand,
and
B. Selic.
An AADL-Based SysML Profile for Architecture Level Systems Engineering: Approach, Metamodels, and Experiments,
Simula Research Laboratory, Technical Report (2011-03),
2011.
L. Briand,
D. Falessi,
S. Nejati,
M. Sabetzadeh,
and
T. Yue.
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering,
Simula Research Lab, Technical Report (2011-18),
2011.
M. Z. Iqbal,
A. Arcuri,
and
L. Briand.
Automated System Testing of Real-Time Embedded Systems Based on Environment Models,
Simula Research Laboratory, Technical Report (2011-19),
2011.
M. Z. Iqbal,
A. Arcuri,
and
L. Briand.
Code Generation from UML/MARTE/OCL Environment Models to Support Automated System Testing of Real-Time Embedded Software,
Simula Research Laboratory, Technical Report (2011-04), Version 2,
2011.
S. Nejati,
M. Sabetzadeh,
D. Falessi,
L. Briand,
and
T. Coq.
A SysML-Based Approach to Traceability Management and Design Slicing in Support of Safety Certification: Framework, Tool Support, and Case Studies,
Simula Research Lab, Technical Report(2011-01),
2011.
