Publications
Found 164 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
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.
2011
Articles in International Journals
J. Al Dallal
and
L. Briand.
A Precise Method-Method Interaction-Based Cohesion Metric for Object-Oriented Classes,
Accepted for publication in ACM Transactions on Software Engineering and Methodology,
2011.
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,
Accepted for publication in Information and Software Technology (Elsevier),
2011.
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), 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.
M. Shousha,
L. Briand,
and
Y. Labiche.
UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems,
Accepted for publication in IEEE Transactions on Software Engineering,
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 (ISBN: 978-3-642-24484-1 ), 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 (ISBN: 978-0-7695-4468-7),
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 (ISBN: 978-1-4577-2203-5),
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 -, pp. 1 - 10 , IEEE (ISBN: 978-1-4503-0445-0 ), 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 (ISBN: 978-1-4503-0562-4), 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 (ISBN: 978-3-642-21469-1), 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 (ISBN: 978-1-4503-0443-6),
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 (ISBN: 978-1-61284-174-8 ),
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 , ACM, Springer (ISBN: --),
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, IEEE, IEEE (ISBN: --),
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 (ISBN: --),
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 (ISBN: --),
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 (ISBN: 978-1-4577-0663-9 ),
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 (ISBN: 978-3-642-21469-1 ),
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. 2)),
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.
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),
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.
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.
R. K. Panesar-Walawege,
M. Sabetzadeh,
and
L. Briand.
Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information ,
Simula Research Laboratory, Technical Report(2011-10), P.O.Box 134, 1325 Lysaker, Norway,
2011.
T. Yue,
S. Ali,
and
L. Briand.
Automated Transition from Use Cases to UML State Machines to Support State-based Testing,
Simula Research Laboratory, Technical Report(2011-05),
2011.
Conference Reference
R. K. Panesar-Walawege,
M. Sabetzadeh,
and
L. Briand.
A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards,
In: International Symposium on Software Reliability Engineering (ISSRE 2011),
2011.
2010
Articles in International Journals
J. Al Dallal
and
L. Briand.
An Object-Oriented High-Level Design-Based Class Cohesion Metric,
Information and Software Technology (Elsevier) 52 (12),
2010.
S. Ali,
L. Briand,
H. Hemmati,
and
R. K. Panesar-Walawege.
A Systematic Review of the Application and Empirical Investigation of Search-based Test-Case Generation,
IEEE Transactions on Software Engineering 36(6):742-762 ,
2010.
E. Arisholm,
L. C. Briand,
and
E. B. Johannessen.
A Systematic and Comprehensive Investigation of Methods to Build and Evaluate Fault Prediction Models,
Journal of Systems and Software 83(1):2-17,
2010.
M. Bowman,
L. Briand,
and
Y. Labiche.
Solving the Class Responsibility Assignment Problem in Object-oriented Analysis with Multi-Objective Genetic Algorithms ,
IEEE Transactions on Software Engineering 36(6):817-837 ,
2010.
L. Briand,
Y. Labiche,
and
Q. Lin.
Improving the Coverage Criteria of UML State Machines Using Data Flow Analysis,
Software Testing, Validation, and Reliability (Wiley) 20 (3),
2010.
D. Falessi,
L. Briand,
G. Cantone,
R. Capilla,
and
P. Kruchten.
The Value of Design Rationale Information,
Submitted to a journal,
2010.
H. Sahraoui,
L. Briand,
Y. Gueheneuc,
and
O. Beaurepaire.
Investigating the Impact of a Measurement Program on Software Quality,
Information and Software Technology 52(9):923-933,
2010.
