SB on Rails TONIGHT at 6:30 at Appfolio: Rubicon, a verifier for web applications.

[Andrew Mutz]

Please join us tonight at 6:30 for a talk by UCSB PhD candidate Ivan Bocic, who will be discussing the Rubicon tool:

"Rubicon is a verifier for web applications: a tool that checks for bugs in a Rails application in a way more abstract then testing. Specifications are written in an embedded domain-specific language based on RSpec. The standard Ruby interpreter is modified to perform symbolic execution, feeding the result into the Alloy Analyzer which is used as the verification engine. We will also discuss the experiments done on five real life, open source Rails applications."

Please join us to discuss all things Ruby and Rails. Pizza will be provided. Hope to see you all there!

for directions or more details, please see:

http://www.meetup.com/Santa-Barbara-on-Rails/events/105391842/

Hope to see you all there!