×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [symbolic execution slide]
50.530: Software Engineering Sun Jun SUTD. Week 10: Symbolic Execution
280 views
A System to Generate Test Data and Symbolically Execute Programs Lori A. Clarke September 1976
216 views
Guided Test Visualization: Making Sense of Errors in Concurrent Programs Saint Wesonga & Neha Rungta & Eric Mercer Brigham Young University & NASA AMES,
216 views
White Box Testing and Symbolic Execution Written by Michael Beder
227 views
Model Based Testing Texas A&M University Department of Computer Science Sameh S. Sharkawi
218 views
What has been will be again, what has been done will be done again; there is nothing new under the sun. Ecclesiastes 1:9 NOT
217 views
AUTOMATIC CONCOLIC TEST GENERATION WITH VIRTUAL PROTOTYPES FOR POST-SILICON VALIDATION Reviewer: Shin-Yann Ho Instructor: Jie-Hong Jiang
221 views