Describir: Avoiding Cyberspace Catastrophes through Smarter Testing.