Prof Mark Harman appears on BBC's Click

Prof Mark Harman, Head of Software Systems Engineering Group at UCL-CS, appeared in the May 5th and 6th 2012 edition of the BBC TV programme "Click", broadcast on the BBC News Channel. In the item, Mark describes the difficulty of software testing and the problem of deadlocks in concurrent systems. The feature was a piece by Lara Lewington on "why technology appears to fail without explanation".

http://www.bbc.co.uk/mobile/iplayer/episode/b01hn98j/Click_05_05_2012