scholarly journals Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution

2015 ◽  
Author(s):  
Marcelo Medeiros Eler ◽  
Vinicius Durelli ◽  
André Takeshi Endo
Keyword(s):  
Test Data ◽  
Symbolic Execution ◽  
Test Data Generation ◽  
Data Generation

Unit Test Data Generation for C Using Rule-Directed Symbolic Execution

2019 ◽  
Vol 34 (3) ◽  
pp. 670-689 ◽  
Author(s):  
Ming-Zhe Zhang ◽  
Yun-Zhan Gong ◽  
Ya-Wen Wang ◽  
Da-Hai Jin
Keyword(s):  
Test Data ◽  
Symbolic Execution ◽  
Test Data Generation ◽  
Data Generation ◽  
Unit Test

Lazy symbolic execution for test data generation

IET Software ◽  
2011 ◽  
Vol 5 (2) ◽  
pp. 132 ◽  
Author(s):  
M.X. Lin ◽  
Y.L. Chen ◽  
K. Yu ◽  
G.S. Wu
Keyword(s):  
Test Data ◽  
Symbolic Execution ◽  
Test Data Generation ◽  
Data Generation
Sign in / Sign up

Export Citation Format

Share Document