Oregon State University

We’d like your feedback: Calendar User Survey – Event Creator Survey

Calendar

Calendars

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)
1007
1 541 737 3617
Sch Elect Engr/Comp Sci
This event appears on the following calendars: