Software Engineering

Maximising software quality and reliability by researching software development and improving software testing.

The research field of software engineering focuses on maximizing the quality of software: The elegance, stability, testability, efficiency, and the security of the software system. Many systems fail on one or more requirements when it comes to either of the quality criteria. The overall goal of the research in this field at Simula is to provide excellent solutions that will improve the testability and security of these systems. 

At Simula, the research groups within software engineering focus on the development of tools and methodologies for the validation and verification of large-scale systems, thereby aiming to ensure greater systems stability.

The Certus Centre for Software Validation and Verification

The Certus Centre formally started operations 1 October 2011 with status as a Centre for Research-based Innovation. Certus is financially supported by the Research Council of Norway, and the main areas of expertise are variability testing, modelling highly configurable systems, and testing data-intensive systems.

Manual testing of large-scale data systems is expensive and inefficient, and the failures of these systems are costlier still. Developing automated testing for large-scale software systems significantly improve their robustness, thereby reducing the cost and the risk of failure, both of which can have wide-spread societal impact.

Go to...

Contact Person

Find publication

Export 7859 results:
2022

Journal articles

the European Research Consortium for Informatics and Mathematics News (2022).
Status: Accepted

Proceedings, refereed

In Artificial Intelligence in Software Testing @ 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 2022.
Status: Published
In 35th Canadian Conference on Artificial Intelligence, 2022.
Status: Accepted
In 29th IEEE International Conference onSoftware Analysis, Evolution and Reengineering. IEEE, 2022.
Status: Accepted
In Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 36. AAAI, 2022.
Status: Published
In Applications Pratiques de l'Intelligence Artificielle (APIA), Saint-Etienne, France, 29-30 Juin 2022, 2022.
Status: Accepted
In 44th International Conference on Software Engineering Companion (ICSE ’22 Companion), Doctoral Symposium. Association for Computing Machinery, 2022.
Status: Published
In 11th International Conference on Software Engineering and Applications (SEA 2022), 2022.
Status: Accepted
In 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 22), 2022.
Status: Accepted