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.