Oregon State University

Can’t find an event? We’re busy migrating to a new event calendar. Try looking new calendar



Event Details

Colloquium: Secure and Robust Software Through Testing and Verification

Tuesday, March 10, 2015 10:00 AM - 11:00 AM

Rene Just, Postdoctoral Research Associate
Programming Languages and Software Engineering Group
University of Washington

Hardly any area exists in our everyday life that is not affected by software, yet software remains buggy. These software bugs not only affect correctness and robustness but also cause severe security vulnerabilities. Software verification can provide strong guarantees about important (security) properties of a program, but full verification of software correctness is prohibitively expensive for most applications. Software testing is the predominant approach for assuring software correctness and robustness, but software testing is not complete and can only increase confidence.

Additional information: http://eecs.oregonstate.edu/colloquium-series

Kelley Engineering Center (campus map)
1 541 737 3617
Sch Elect Engr/Comp Sci
This event appears on the following calendars: