Morten Mossige
Simula Research Laboratory, University of Stavanger, ABB (Norway)
Papers
9
Total Citations
107
H-Index
6
About
Morten Mossige is a researcher specializing in software testing, constraint programming, and the verification of industrial robotic systems — with a particular focus on the complex, safety-critical software that governs modern industrial robots. Working closely with ABB Robotics, Mossige has made pioneering contributions to automated test generation for robotic paint control systems, demonstrating how constraint programming (CP) can be harnessed to systematically explore vast state spaces and produce high-quality test cases that would be impractical to design manually. His most influential work, "Testing robot controllers using constraint programming and continuous integration" (2014, 32 citations), established a rigorous framework for integrating CP-based test generation into continuous integration pipelines — a practically significant advance for industrial software development. Subsequent contributions extended this foundation to cyber-physical systems scheduling, stress testing of single-arm robots, and hardware/software co-verification for safety assurance (2022, 17 citations), reflecting growing industry concern over software-defined safety functions replacing traditional hardware safeguards. Across nearly a decade of published research, Mossige has accumulated over 100 citations, cementing his reputation as a leading voice in model-based testing and formal verification for industrial robotics — a domain where software reliability carries genuine safety consequences.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System17 citations · 2014
- 4Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems14 citations · 2017
- 5
- 6
- 7
- 8Deploying Constraint Programming for Testing ABB's Painting Robots2 citations · 2017
- 9