Testing Untestable Code