Morten Mossige

Murray, Yvonne; Sirevåg, Martin; Ribeiro, Pedro; Anisi, Alireza David; Mossige, Morten

(2022)

Safety assurance of an industrial robotic control system using hardware/software co-verification.

Science of Computer Programming

ISSN 0167-6423.

Volum 216.

DOI: 10.1016/j.scico.2021.102766

Mossige, Morten; Gotlieb, Arnaud; Spieker, Helge; Meling, Hein; Carlsson, Mats

(2017)

Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems.

Lecture Notes in Computer Science (LNCS)

ISSN 0302-9743.

Volum 10416 LNCS.

s.387-404.

DOI: 10.1007/978-3-319-66158-2_25

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2017)

Deploying Constraint Programming for Testing ABB’s Painting Robots.

The AI Magazine

ISSN 0738-4602.

Volum 38.

Hefte 2.

s.94-96.

DOI: 10.1609/aimag.v38i2.2723

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2016)

Generating Tests for Robotized Painting Using Constraint Programming. I: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence.

AAAI Press

ISBN 978-1-57735-770-4.

s.4200-4204.

DOI: 10.1109/icst.2013.71

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2014)

Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System. I: Principles and Practice of Constraint Programming.

Springer

ISBN 978-3-319-10428-7.

s.25-41.

DOI: 10.1007/978-3-319-10428-7_6

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2014)

Testing robot controllers using constraint programming and continuous integration.

Information and Software Technology

ISSN 0950-5849.

Volum 57.

s.169-185.

DOI: 10.1016/j.infsof.2014.09.009

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2014)

Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study. I: Testing Software and Systems.

Springer

ISBN 978-3-662-44856-4.

s.145-160.

DOI: 10.1007/978-3-662-44857-1_10

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2013)

Test Generation for Robotized Paint Systems using Constraint Programming in a Continuous Integration Environment. I: Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on.

IEEE

ISBN 978-1-4673-5961-0.

s.489 -490 .

DOI: 10.1109/ICST.2013.71

Mossige, Morten; Gotlieb, Arnaud; Spieker, Helge; Meling, Hein; Carlsson, Mats

(2019)

Time-aware test execution scheduling for cyber-physical systems.

Lecture Notes in Informatics

ISSN 1617-5468.

Volum P-292.

s.121-122.

DOI: 10.18420/se2019-36

Mossige, Morten; Meling, Hein; Lie, Leiv Gunnar

(2015)

Improved robotic testing systems.

Mossige, Morten; Meling, Hein; Gotlieb, Arnaud

(2014)

Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System.

Mossige, Morten; Meling, Hein; Gotlieb, Arnaud

(2014)

Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study.

Mossige, Morten

(2013)

Presentasjon av nærings phd ordingen for minister Rigmor Aaserud.

Mossige, Morten

(2013)

Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment.

Mossige, Morten

(2013)

Motivasjonsforedrag for studenter som skal begynne på forkurs for ingeniør.

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2013)

Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment.

Mossige, Morten

(2012)

Forsker på bedre testsystemer.