The science of killing bugs in a black box

B. K. Aichernig

Abstract:

Reference: B. K. Aichernig. The science of killing bugs in a black box. In SBLP'12: Proceedings of the 16^th Brazilian conference on Programming Languages, pages 6-11, Berlin, Heidelberg, 2012. Springer-Verlag.