Results 101 to 110 of about 116 (111)
Some of the next articles are maybe not open access.

Control Flow Obfuscation Using Neural Network to Fight Concolic Testing

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, 2015
Haoyu Ma, Debin Gao, Chunfu Jia
exaly  

A Systematic Review of Concolic Testing with Aplication of Test Criteria

Proceedings of the 20th International Conference on Enterprise Information Systems, 2018
Lucilia Yoshie Araki, Leticia Mara Peres
openaire   +1 more source

COTIA: Concolic Testing with Intelligent Agent

2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)
Yan Tan, Xiangchen Meng, Yangdi Lyu
openaire   +1 more source

Incremental Concolic Testing of Register-Transfer Level Designs

ACM Transactions on Design Automation of Electronic Systems
Hasini Witharana   +2 more
exaly  

A Novel Method Makes Concolic System More Effective

2017
Hongliang Liang   +2 more
exaly  

Backsolver: Adapting Preceding Execution Paths to Solve Constraints for Concolic Execution

ACM Transactions on Software Engineering and Methodology
Hongsong Zhu, Limin Sun
exaly  

Concolic Testing of Quantum Programs.

CoRR
Shangzhou Xia   +3 more
openaire   +1 more source

Home - About - Disclaimer - Privacy