FAll 2014 SEI Research Review Verifying Evolving Software

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 28, 2014
Accession Number
ADA613884

Entities

People

  • Arie Gurfinkel

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Compilers
  • Computer Programming
  • Computer Programs
  • Department Of Defense
  • Engineering
  • Guarantees
  • Information Operations
  • Machine Languages
  • Maintenance Costs
  • Materials
  • Optimization
  • Software Development
  • United States
  • Universities
  • Verification