Symstra: A Framework for Generating ObjectOriented Unit Tests using Symbolic Execution - PowerPoint PPT Presentation

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

Symstra: A Framework for Generating ObjectOriented Unit Tests using Symbolic Execution

Description:

new BST() Exploring ... different insert arguments to reach a BST with size N ... new BST() The second iteration. Symbolic Execution. Execute a method on ... – PowerPoint PPT presentation

Number of Views:69
Avg rating:3.0/5.0
Slides: 32
Provided by: Tao4
Category:

less

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