ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
Applications of Symbolic Execution to Program Testing
Computer
◽
10.1109/c-m.1978.218139
◽
1978
◽
Vol 11
(4)
◽
pp. 51-60
◽
Cited By ~ 26
Author(s):
J.A. Darringer
◽
J.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
◽
Test Selection
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
◽
Warfare Agents
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
◽
Cited By ~ 5
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
◽
Software Code
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close