Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-41528-4_22 ◽

2016 ◽

pp. 405-425 ◽

Author(s):

Peter Müller ◽

Malte Schwerhoff ◽

Alexander J. Summers

Keyword(s):

Symbolic Execution ◽

Automatic Verification

Download Full-text

AUTOMATIC VERIFICATION OF CONTROL ALGORITHMS IN CYBERPHYSICAL SYSTEMS ON SOFTWARE SIMULATORS

Автометрия ◽

10.15372/aut20190211 ◽

2019 ◽

Keyword(s):

Automatic Verification ◽

Control Algorithms ◽

Cyberphysical Systems

Download Full-text

Modelling Method of Web Navigation for Automatic Verification and Test Generation using State Machine Diagrams

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss.136.423 ◽

2016 ◽

Vol 136 (3) ◽

pp. 423-433

Author(s):

Tomoyuki Yokogawa ◽

Yoichiro Sato ◽

Kazutami Arimoto

Keyword(s):

Test Generation ◽

State Machine ◽

Automatic Verification ◽

Web Navigation ◽

Modelling Method

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

DESIGN AND ANALYSIS OF AUTOMATIC VERIFICATION OF REFACTORED LEGACY CODE IN SOFTWARE SYSTEMS

10.21506/j.ponte.2016.12.54 ◽

2016 ◽

Vol 72 (12) ◽

Author(s):

Srinivas Malladi ◽

G. Ramakrishna

Keyword(s):

Automatic Verification ◽

Software Systems ◽

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