Towards Automatic Generation of Parameterized Test Cases from Abstractions - PowerPoint PPT Presentation

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

Towards Automatic Generation of Parameterized Test Cases from Abstractions

Description:

Implementation Imp conforms specification Spec, iff. for all traces t in Spec holds: all input should be accepted after t, but at ... – PowerPoint PPT presentation

Number of Views:52
Avg rating:3.0/5.0
Slides: 17
Provided by: jens169
Learn more at: http://www.win.tue.nl
Category:

less

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