Verification Based on Run-Time, Field-Data, and Beyond - PowerPoint PPT Presentation

1 / 36
} ?>
View by Category
About This Presentation
Title:

Verification Based on Run-Time, Field-Data, and Beyond

Description:

checking properties on execution data at run-time. Test and Verification Techniques based on Field-Data ... Automatic Navigability Testing System (ANTS) [Rod02] ... – PowerPoint PPT presentation

Number of Views:38
Avg rating:3.0/5.0
Slides: 37
Provided by: leonardo5
Learn more at: http://www.cl.cam.ac.uk
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com