Publications
Found 91 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.
2013
Articles in International Journals
G. Fraser and A. Arcuri. Handling Test Length Bloat, Accepted for publication in Software Testing, Verification and Reliability, 2013.
Technical Reports
T. Yue,
L. Briand,
and
Y. Labiche.
Automatically Deriving a UML Analysis Model from a Use Case Model,
Simula Research Laboratory, Technical Report(2010-15 (Version 2)),
2013.
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.
S. Ali, L. Briand, and H. Hemmati. Modeling Robustness Behavior Using Aspect-Oriented Modeling to Support Robustness Testing of Industrial Systems, the Journal of Software and Systems Modeling (SOSYM), Springer, 11(4):633-670, 2012.
S. Ali, T. Yue, and L. Briand. Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines?, Springer Software and System Modeling (SOSYM)(DOI 10.1007/s10270-012-0293-5), 2012.
A. Arcuri
and
L. Briand.
Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing ,
IEEE Transactions on Software Engineering, 38(5):1088-1099,
2012.
D. Falessi,
L. Briand,
G. Cantone,
R. Capilla,
and
P. Kruchten.
The Value of Design Rationale Information,
ACM Transactions on Software Engineering and Methodology,
2012.
H. Hemmati, A. Arcuri, and L. Briand. Achieving Scalable Model-Based Testing Through Test Case Diversity , ACM Transactions on Software Engineering and Methodology (TOSEM), 22(1), 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
G. Fraser and A. Arcuri. Sound Empirical Evidence in Software Testing, In: ACM/IEEE International Conference on Software Engineering (ICSE), ed. by Martin Glinz Gail Murphy Mauro Pezzè , ACM/IEEE, 2012.
Technical Reports
S. Ali,
M. Z. Iqbal,
A. Arcuri,
and
L. Briand.
Generating Test Data from OCL Constraints with Search Techniques,
Simula Research Laboratory, Technical Report(2010-16 ),
2012.
2011
PhD Theses
H. Hemmati.
Similarity-Based Test Case Selection: Toward Scalable and Practical Model-Based Testing,
PhD Thesis, Simula Research Laboratory and Informatic Department, University of Oslo. (ISBN: ISSN: 1501-7710),
2011.
Articles in International Journals
A. Arcuri. It Really Does Matter How You Normalise the Branch Distance in Search Based Software Testing, Software Testing, Verification and Reliability, 2011.
A. Arcuri. Evolutionary Repair of Faulty Software, Applied Soft Computing, 11(4):3494–3514, 2011.
L. Briand,
D. Falessi,
S. Nejati,
M. Sabetzadeh,
and
T. Yue.
Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment,
a journal,
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.
D. White, A. Arcuri, and J. Clark. Evolutionary Improvement of Programs, IEEE Transactions on Evolutionary Computation, 15(4):515 - 538 , 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.
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 (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.
A. Arcuri and G. Fraser. On Parameter Tuning in Search Based Software Engineering , In: nternational Symposium on Search Based Software Engineering (SSBSE), ed. by Myra B. Cohen and Mel Ó Cinnéide, pp. 33-47, Springer (ISBN: 10.1007/978-3-642-23716-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.
G. Fraser and A. Arcuri. It is Not the Length that Matters, It is How You Control It, In: IEEE International Conference on Software Testing, Verification and Validation (ICST), ed. by Harman, M. Korel B. , pp. 150 - 159 , IEEE (ISBN: 978-1-61284-174-8 ), 2011.
G. Fraser and A. Arcuri. Evolutionary Generation of Whole Test Suites, In: International Conference On Quality Software (QSIC), ed. by Robert M. Hierons and Mercedes G. Merayo, pp. 31 - 40 , IEEE (ISBN: 978-1-4577-0754-4 ), 2011.
G. Fraser and A. Arcuri. EvoSuite: Automatic Test Suite Generation for Object-Oriented Software. , In: ACM Symposium on the Foundations of Software Engineering (FSE), ed. by Andreas Zeller, pp. 416--419, 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. Sharma, M. Gligoric, A. Arcuri, G. Fraser, and D. Marinov. Testing Container Classes: Random or Systematic? , In: Fundamental Approaches to Software Engineering (FASE), ed. by Dimitra Giannakopoulou and Fernando Orejas, pp. 262-277, Springer (ISBN: 10.1007/978-3-642-19811-3_19), 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,
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. 4)),
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.
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.
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.
2010
Edited Books
D. Falessi, H. Zhang, T. Hall, M. Höst, M. Niazi, and A. Mishra. 11th International Conference on Product Focused Software Development and Process Improvement (PROFES2010) - Second Proceeding: Short Papers, Doctoral Symposium and Workshops, Universitalia ©. (ISBN: 978-88-6507-067-3), 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.
A. Arcuri. Runtime Analysis of Search Algorithms in Software Testing, journal, 2010.
A. Arcuri. A Theoretical and Empirical Analysis of the Role of Test Sequence Length in Software Testing for Structural Coverage., IEEE Transactions on Software Engineering, 38(3):497 - 519, 2010.
A. Arcuri and X. Yao. Co-evolutionary Automatic Programming for Software Development, Information Sciences(online), 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.
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.
Refereed Proceedings
A. Arcuri. Longer is Better: On the Role of Test Sequence Length in Software Testing, In: Third IEEE International Conference on Software Testing, Verification and Validation (ICST), ed. by Marie-Claude Gaudel and Ana Rosa Cavalli and Sudipto Ghosh, IEEE Computer Society (ISBN: 978-0-7695-3990-4), 2010.
