Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution

2014 Eighth International Conference on Software Security and Reliability ◽

10.1109/sere.2014.23 ◽

2014 ◽

Cited By ~ 9

Author(s):

Ting Su ◽

Geguang Pu ◽

Bin Fang ◽

Jifeng He ◽

Jun Yan ◽

...

Keyword(s):

Test Data ◽

Symbolic Execution ◽

Test Data Generation ◽

Data Generation ◽

Dynamic Symbolic Execution

Download Full-text

On how characteristics that hinder test data generation using symbolic execution combine: An analysis of the SF100 benchmark

2016 35th International Conference of the Chilean Computer Science Society (SCCC) ◽

10.1109/sccc.2016.7836011 ◽

2016 ◽

Author(s):

Marcelo Medeiros Eler ◽

Andre Takeshi Endo ◽

Vinicius H. S. Durelli ◽

Danilo Medeiros Eler

Keyword(s):

Test Data ◽

Symbolic Execution ◽

Test Data Generation ◽

Data Generation

Download Full-text

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

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering ◽

10.18293/seke2015-170 ◽

2015 ◽

Cited By ~ 1

Author(s):

Marcelo Medeiros Eler ◽

Vinicius Durelli ◽

André Takeshi Endo

Keyword(s):

Test Data ◽

Symbolic Execution ◽

Test Data Generation ◽

Data Generation

Download Full-text

Path-oriented test data generation using symbolic execution and constraint solving techniques

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. ◽

10.1109/sefm.2004.1347528 ◽

2004 ◽

Cited By ~ 10

Author(s):

Jian Zhang ◽

Chen Xu ◽

Xiaoliang Wang

Keyword(s):

Test Data ◽

Symbolic Execution ◽

Constraint Solving ◽

Test Data Generation ◽

Data Generation

Download Full-text

A test data generation method based on the symbolic execution of the dangerous path

Proceedings of the 2016 3rd International Conference on Materials Engineering, Manufacturing Technology and Control ◽

10.2991/icmemtc-16.2016.104 ◽

2016 ◽

Author(s):

Yongdang Meng

Keyword(s):

Test Data ◽

Symbolic Execution ◽

Test Data Generation ◽

Data Generation

Download Full-text

Test data generation for programming exercises with symbolic execution in Java PathFinder

10.1145/1315803.1315819 ◽

2006 ◽

Cited By ~ 4

Author(s):

Petri Ihantola

Keyword(s):

Test Data ◽

Symbolic Execution ◽

Test Data Generation ◽

Data Generation

Download Full-text

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

Journal of Computer Science and Technology ◽

10.1007/s11390-019-1935-7 ◽

2019 ◽

Vol 34 (3) ◽

pp. 670-689 ◽

Cited By ~ 2

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

Download Full-text

ATGen: automatic test data generation using constraint logic programming and symbolic execution

Software Testing Verification and Reliability ◽

10.1002/stvr.225 ◽

2001 ◽

Vol 11 (2) ◽

pp. 81-96 ◽

Cited By ~ 41

Author(s):

Christophe Meudec

Keyword(s):

Logic Programming ◽

Test Data ◽

Symbolic Execution ◽

Constraint Logic Programming ◽

Test Data Generation ◽

Data Generation ◽

Automatic Test ◽

Automatic Test Data Generation

Download Full-text

SYMBOLIC EXECUTION FOR DYNAMIC, EVOLUTIONARY TEST DATA GENERATION

Proceedings of the 11th International Conference on Enterprise Information ◽

10.5220/0001992701440150 ◽

2009 ◽

Author(s):

Anastasis A. Sofokleous ◽

Andreas S. Andreou ◽

Antonis Kourras

Keyword(s):

Test Data ◽

Symbolic Execution ◽

Test Data Generation ◽

Data Generation

Download Full-text

Lazy symbolic execution for test data generation

IET Software ◽

10.1049/iet-sen.2010.0029 ◽

2011 ◽

Vol 5 (2) ◽

pp. 132 ◽

Cited By ~ 5

Author(s):

M.X. Lin ◽

Y.L. Chen ◽

K. Yu ◽

G.S. Wu

Keyword(s):

Test Data ◽

Symbolic Execution ◽

Test Data Generation ◽

Data Generation

Download Full-text

Applying Slicing-based Testability Transformation to Improve Test Data Generation with Symbolic Execution

International Journal of Performability Engineering ◽

10.23940/ijpe.21.07.p3.589599 ◽

2021 ◽

Vol 17 (7) ◽

pp. 589

Author(s):

Chien Hsin-Yu ◽

Huang Chin-Yu ◽

Fang Chih-Chiang

Keyword(s):

Test Data ◽

Symbolic Execution ◽

Test Data Generation ◽

Data Generation

Download Full-text