Primary tabs

Most recent publications

S. Sen, D. Marijan, C. Ieva, A. Grime and A. Sander

Modeling and Verifying Combinatorial Interactions to Test Data Intensive Systems: Experience at the Norwegian Customs Directorate

IEEE Transactions on Reliability 66 (2017): 3-16.
Journal Article
2017
View
A. Gotlieb and D. Marijan

Using Global Constraints to Automate Regression Testing

AI Magazine 38, no. Spring (2017).
Journal Article
2017
View
S. Sen, D. Marijan and A. Gotlieb

Certus: Glimpses of a Centre for Research-Based Innovation in Software Verification and Validation

International Journal of System Assurance Engineering and Management (2015): 1-25.
Journal Article
2015
View

News

15 November 2019

Netflix takes inspiration from Certus SFI research paper

Students under supervision

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 3 results:
2017

Journal articles

A. Gotlieb and D. Marijan

Using Global Constraints to Automate Regression Testing

AI Magazine 38, no. Spring (2017).
Status: Published
S. Sen, D. Marijan, C. Ieva, A. Grime and A. Sander

Modeling and Verifying Combinatorial Interactions to Test Data Intensive Systems: Experience at the Norwegian Customs Directorate

IEEE Transactions on Reliability 66 (2017): 3-16.
Status: Published
2015

Journal articles

S. Sen, D. Marijan and A. Gotlieb

Certus: Glimpses of a Centre for Research-Based Innovation in Software Verification and Validation

International Journal of System Assurance Engineering and Management (2015): 1-25.
Status: Published