Just presented a paper at the ISoLA conference. If you want to get inspiration on future research ideas combining #mutationtesting and #formalverification check it out. [https://t.co/YCG8ZEzhhZ] [https://t.co/kpXSVpiUBH] https://t.co/anu6F7eZKc
227 followers
1,163 followers
"Forming Ensembles at Runtime: A Machine Learning Approach", Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka, Ja… https://t.co/BDq52hFLyO
829 followers
Forming Ensembles at Runtime: A Machine Learning Approach. Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka, and Jan Pacovský https://t.co/WOyf49DYsh
148 followers
"Engineering Semantic Self-composition of Services Through Tuple-Based Coordination" @ ISoLA 2020 with @giovanni_ciatto, Giovanna Di Marzo Serugendo, and @andrea_omicini https://t.co/lrrD5882zM