Applications of Symbolic Execution to Program Testing

Computer ◽

10.1109/c-m.1978.218139 ◽

1978 ◽

Vol 11 (4) ◽

pp. 51-60 ◽

Author(s):

J.A. Darringer ◽

J.C. King

Keyword(s):

Symbolic Execution ◽

Program Testing

Download Full-text

Symbolic execution and program testing

Communications of the ACM ◽

10.1145/360248.360252 ◽

1976 ◽

Vol 19 (7) ◽

pp. 385-394 ◽

Cited By ~ 1416

Author(s):

James C. King

Keyword(s):

Symbolic Execution ◽

Program Testing

Download Full-text

A BRIEF SURVEY ON SYMBOLIC EXECUTION TEST-SELECTION TECHNIQUES

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v6si8.8185 ◽

2018 ◽

Vol 06 (08) ◽

pp. 81-85

Author(s):

K.K. Nivethithaa ◽

V. Krishnapriya

Keyword(s):

Symbolic Execution ◽

Download Full-text

Directed dynamic symbolic execution of programs to confirm errors in programs

Программирование ◽

10.31857/s013234740001213-9 ◽

2018 ◽

pp. 31-42

Author(s):

A. Gerasimov ◽

Keyword(s):

Symbolic Execution ◽

Dynamic Symbolic Execution

Download Full-text

Domestic Preparedness Program: Testing of the Scentoscreen Gas Chromatograph Instrument Against Chemical Warfare Agents Summary Report

10.21236/ada416869 ◽

2003 ◽

Author(s):

John M. Baranoski ◽

Terri L. Longworth ◽

Kwok Y. Ong

Keyword(s):

Chemical Warfare Agents ◽

Chemical Warfare ◽

Summary Report ◽

Gas Chromatograph ◽

Program Testing ◽

Download Full-text

Efficient Instrumentation of GPGPU Applications Using Information Flow Analysis and Symbolic Execution

Proceedings of Workshop on General Purpose Processing Using GPUs - GPGPU-7 ◽

10.1145/2588768.2576782 ◽

2014 ◽

Author(s):

Naila Farooqui ◽

Karsten Schwan ◽

Sudhakar Yalamanchili

Keyword(s):

Information Flow ◽

Symbolic Execution ◽

Flow Analysis ◽

Information Flow Analysis

Download Full-text

Summary-guided incremental symbolic execution

Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings ◽

10.1145/3377812.3390895 ◽

2020 ◽

Author(s):

Qiuping Yi ◽

Junye Wen ◽

Guowei Yang

Keyword(s):

Symbolic Execution

Download Full-text

Multiplex symbolic execution

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering ◽

10.1145/3324884.3416645 ◽

2020 ◽

Author(s):

Yufeng Zhang ◽

Zhenbang Chen ◽

Ziqi Shuai ◽

Tianqi Zhang ◽

Kenli Li ◽

...

Keyword(s):

Symbolic Execution

Download Full-text

Exploiting Symbolic Execution to Accelerate Deterministic Databases

2020 IEEE 40th International Conference on Distributed Computing Systems (ICDCS) ◽

10.1109/icdcs47774.2020.00040 ◽

2020 ◽

Author(s):

Shady Issa ◽

Miguel Viegas ◽

Pedro Raminhas ◽

Nuno Machado ◽

Miguel Matos ◽

...

Keyword(s):

Symbolic Execution

Download Full-text

Machine learning steered symbolic execution framework for complex software code

Formal Aspects of Computing ◽

10.1007/s00165-021-00538-3 ◽

2021 ◽

Author(s):

Lei Bu ◽

Yongjuan Liang ◽

Zhunyi Xie ◽

Hong Qian ◽

Yi-Qi Hu ◽

...

Keyword(s):

Machine Learning ◽

Symbolic Execution ◽

Download Full-text

Running symbolic execution forever

Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis ◽

10.1145/3395363.3397360 ◽

2020 ◽

Author(s):

Frank Busse ◽

Martin Nowack ◽

Cristian Cadar

Keyword(s):

Symbolic Execution

Download Full-text