Silver bullets for little monsters: making software more trustworthy | IEEE Journals & Magazine | IEEE Xplore