Attended TAROT summer school on software testing, verification, and validation. It was held in King's College London!

Attended TAROT summer school on software testing, verification, and validation. Held at King's College London, the summer school featured talks from Andreas Zeller on Language-based fuzzing, John Hughes on Property-based Testing, Justyna Petke on Combinatorial Interaction Testing and Genetic Improvement of Software. In addition, there were talks on Reliable Data-centric Systems by Manuel Rigger, Automata Learning and Testing with Bernhard Aichernig, and Testing Cyber-Physical Systems with Shiva Nejati. Truly enlightnening and inspiring. Looking forward to apply what I learned in my research!