Robert Hierons

External collaborator

Publications

Simula-affiliated publications listed

S. Ali, P. Arcaini, X. Wang and T. Yue

Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs

IEEE International Conference on Software Testing, Verification and Validation (ICST)

A. Gotlieb, D. Marijan and H. Spieker

Testing Industrial Robotic Systems: A New Battlefield!

Software Engineering for Robotics