Software Assurance            Software Hardening            Autonomic Computing
Finding Bugs is Only the Beginning

I sometimes describe our main commercial product, CodeSonar, as a “defect detection tool.” While this is a convenient...

The Cyber Grand Challenge

Introduction

Several of us at GrammaTech, along with many talented people from UVA, recently participated in DARPA's Cyber...

Understanding DARPA's Cyber Grand Challenge: Laundromat Edition

Team TechX won second place in the DARPA Cyber Grand Challenge (CGC) last week. TechX is a collaboration between GrammaTech...