Ask HN: Is there a theory of unit testing?
Unit testing seems to be very popular in industry, but I have not come across any theoretical work on the subject.  Is there anyone in academia working on it?  In general they seem to prefer type systems.