Fourteen years ago, CyLab associate research professor Corina Pasareanu and two of her colleagues published a paper outlining three automated techniques for checking software for bugs and vulnerabilities. At the time, software failures cost the United States about $60 billion every year, and today that cost is nearly $1 trillion worldwide.