Replication Package for Article: Past-Sensitive Pointer Analysis for Symbolic Execution

Artifact Digital Object Group ◽

10.1145/3410246 ◽

2020 ◽

Author(s):

David Trabish ◽

Timotej Kapus ◽

Noam Rinetzky ◽

Cristian Cadar

Keyword(s):

Symbolic Execution ◽

Pointer Analysis

Download Full-text

Past-sensitive pointer analysis for symbolic execution

Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ◽

10.1145/3368089.3409698 ◽

2020 ◽

Author(s):

David Trabish ◽

Timotej Kapus ◽

Noam Rinetzky ◽

Cristian Cadar

Keyword(s):

Symbolic Execution ◽

Pointer Analysis

Download Full-text

Pointer Analysis

10.1561/9781680830217 ◽

2015 ◽

Author(s):

Yannis Smaragdakis ◽

George Balatsouras

Keyword(s):

Pointer Analysis

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

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