Experimental evaluation of verification and validation tools on Martian Rover software
scientific article; zbMATH DE number 2117715