Seminar meeting, October 25,2010
Jan Bosch, Towards Compositional Software Engineering, keynote presentation at the 2010 Automated
Software Engineering Conference,
Antwerp, Belgium. September 2010.
Michael Ernst: How Tests and Proofs Impede One Another: The
Need for Always-On Static and Dynamic Feedback,
keynote presentation at the 4th International Conference on Tests And Proofs (TAP), (Málaga,
Spain), July 2010
From Splash 2010:
Onwards! film