certus-sfi.no - The Certus Centre for Software Validation and Verification

Example domain paragraphs

Recently, Netflix created and deployed a tool which schedules the execution of test cases on a variety of devices. For that, they took inspiration from our Certus research paper “Reinforcement Learning for Automatic Test Case Continue reading

Yongqi Dong, a researcher at University of Waterloo visited Certus on June 17/18, and gave a talk on applied machine learning in shared mobility. Abstract: In this presentation, I will share my exploration in ML and Continue reading

This year SER&IP (Software Engineering Research and Industrial Practice) workshop is joining forces with CESI (Conducting Empirical Studies in Industry) workshop, organized on May 28 at ICSE (International Conference on Software Engineering) 2019 in Montreal. Continue reading

Links to certus-sfi.no (1)