The paper "The Integration of Testing and Program Verification", by Petra van den Bos and Marieke Huisman, has been published in "A Journey from Process Algebra via Timed Automata to Model Learning. Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday".