In summer 2015, I had the chance to participate in an internship at the Institute for Computer Science at the University of Salzburg. Its purpose was the generation of test cases for Antescofo, a tool that allows musicians to be accompanied, developed by the IRCAM institute in Paris.