View by Category

Symbolic Execution and Model Checking for Testing - PowerPoint PPT Presentation

The presentation will start after a short
(15 second) video ad from one of our sponsors.

Hot tip: Video ads won’t appear to registered users who are logged in. And it’s free to register and free to log in!
About This Presentation

Symbolic Execution and Model Checking for Testing


Perot Systems/NASA Ames Research Center and SEVEN Networks. Thanks ... Reports errors as traces and simulates them on system models. Java PathFinder (JPF) ... – PowerPoint PPT presentation

Number of Views:423
Avg rating:3.0/5.0
Date added: 16 November 2009
Slides: 35
Added by: Username withheld or not provided
Learn more at:


Write a Comment
User Comments (0)
Transcript and Presenter's Notes