Completely validated software: in defense of coverage criteria (panel session)