Primary tabs

Most recent publications

A. Gotlieb, D. Marijan and H. Spieker

Testing Industrial Robotic Systems: A New Battlefield!

In Software Engineering for Robotics, 465p. Edited by A. Cavalcanti, B. Dongol, R. Hierons, J. Timmis, J. Woodcock ed. Springer Nature, 2021.
Book Chapter
2021
View
D. Marijan and A. Gotlieb

Industry-Academia research collaboration in software engineering: The Certus model

Information and Software Technology 132 (2021).
Journal Article
2021
View
M. Carlsson, A. Gotlieb and D. Marijan

Software Product Line Test Suite Reduction with Constraint Optimization

In Software Technologies, 68-87. Vol. 743. Springer International Publishing, 2017.
Book Chapter
2017
View
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

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 6 results:
2021

Journal articles

D. Marijan and A. Gotlieb

Industry-Academia research collaboration in software engineering: The Certus model

Information and Software Technology 132 (2021).
Status: Published

Book chapters

A. Gotlieb, D. Marijan and H. Spieker

Testing Industrial Robotic Systems: A New Battlefield!

In Software Engineering for Robotics, 465p. Edited by A. Cavalcanti, B. Dongol, R. Hierons, J. Timmis, J. Woodcock ed. Springer Nature, 2021.
Status: Accepted
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

Book chapters

M. Carlsson, A. Gotlieb and D. Marijan

Software Product Line Test Suite Reduction with Constraint Optimization

In Software Technologies, 68-87. Vol. 743. Springer International Publishing, 2017.
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