SEI Insights

Authors

Arie Gurfinkel

Software Engineering Institute

Posts by Arie

 Verifying Evolving Software

 Regression Verification for Real-time Embedded Software Systems

 Regression Verification of Real-time Embedded Software


Other Publications

Visit the SEI Digital Library for other publications by Arie