@article{MeyerFCLWS09, author = {Bertrand Meyer and Arno Fiva and Ilinca Ciupa and Andreas Leitner and Yi Wei and Emmanuel Stapf}, title = {Programs That Test Themselves}, journal = {IEEE Computer}, volume = {42}, number = {9}, year = {2009}, pages = {46-55}, urltopdf = {http://doi.ieeecomputersociety.org/10.1109/MC.2009.296} }