Mats Carlsson
External collaborator
Publications
Simula-affiliated publications listed
2020
Proceedings, refereed
M. Collet, A. Gotlieb, N. Lazaar, M. Carlsson, D. Marijan and M. Mossige
RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots
International Conference on Principles and Practice of Constraint Programming
2019
Talks, contributed
M. Mossige, A. Gotlieb, H. Spieker, H. Meling and M. Carlsson
Time-aware Test Execution Scheduling for Cyber-Physical Systems
Gesellschaft für Informatik Software Engineering Conference 2019 (SE19), Germany
2017
Proceedings, refereed
M. Mossige, A. Gotlieb, H. Spieker, H. Meling and M. Carlsson
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems
Proceedings of Principles of Constraint Programming (CP'17)
Book Chapters
M. Carlsson, A. Gotlieb and D. Marijan
Software Product Line Test Suite Reduction with Constraint Optimization
Software Technologies
2016
Proceedings, refereed
A. Gotlieb, M. Carlsson, D. Marijan and A. Petillon
A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing
ICSOFT-EA 2016, 11th Int. Conf. on Software Engineering and Applications, Lisbon, July 2016, Awarded Best Paper
A. Gotlieb, M. Carlsson, M. Liaaen, D. Marijan and A. Petillon
Automated Regression Testing Using Constraint Programming
Twenty-Eighth Conference on Innovative Applications of Artificial Intelligence (IAAI-16), Phoenix, AZ, USA, Feb. 2016
M. Mossige, A. Gotlieb, H. Meling and M. Carlsson
Optimal Test Execution Scheduling on Multiple Machines with Resource Constraints
Submitted