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!