Cigital Labs Projects
Cigital Labs is proud to be involved in many cutting-edge research efforts sponsored by the leading public and private scientific funding institutions. As you'll see from this listing research projects, we're pushing the software quality and security envelopes and plan to do so for years to come.
- Air Force Research Lab
- Army Research Laboratory
- Defense Advanced Research Projects Agency
- Department of Defense
- Missile Defense Agency
- National Aeronautics & Space Administration
- Quantifying Confidence in the Correctness of Parallel/Distributed Software
- A Practical Ada Mutation Testing Tool
- A Design-for-testability Advisor for Automated Code Generation Systems
- Fortran Testability Analysis for HSCT Flight Simulation
- A Dynamic Software Safety Tool for Catastrophic Event Prediction of Ada Systems
- National Institute of Standards and Technology
- National Science Foundation
- United States Air Force
- A Software Quality Methodology that Assesses the Fault-Tolerance of Untested Inputs