Useful Software Engineering Research: Leading a Double -Agent Life Lionel BriandCertus Center for Software Verification and Validation Simula Research Laboratory & University…