Results 21 to 30 of about 211,276 (289)
Mutation‐inspired symbolic execution for software testing
IET Software, 2022 Software testing is a complex and costly stage during the software development lifecycle. Nowadays, there is a wide variety of solutions to reduce testing costs and improve test quality. Focussing on test case generation, Dynamic Symbolic Execution (DSE)
Kevin J. Valle‐Gómez +3 more
doaj +1 more source
Metrics for code obfuscation based on symbolic execution and N-scope complexity
网络与信息安全学报, 2022 Code obfuscation has been well developed as mitigated endogenous security technology, to effectively resist MATE attacks (e.g.reverse engineering).And it also has important value for the reasonable metrics of code obfuscation effect.Since symbolic ...
Yuqiang XIAO, Yunfei GUO, Yawen WANG
doaj +3 more sources
CSEFuzz: Fuzz Testing Based on Symbolic Execution
IEEE Access, 2020 Fuzz testing has been successful in finding defects of various software packages. These defects include file parsing, image processing, Internet browsers, and network protocols.
Zhangwei Xie +4 more
doaj +1 more source
Symbolic Execution for JavaScript [PDF]
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018 We present a framework for trustworthy symbolic execution of JavaScripts programs, whose aim is to assist developers in the testing of their code: the developer writes symbolic tests for which the framework provides concrete counter-models. We create the framework following a new, general methodology for designing compositional program analyses for ...
Faustino Fragoso Femenin Dos Santos, J +4 more
openaire +2 more sources
Speculative Symbolic Execution [PDF]
2012 IEEE 23rd International Symposium on Software Reliability Engineering, 2012 14 pages, 15 ...
Zhang, Yufeng, Chen, Zhenbang, Wang, Ji
openaire +2 more sources
Noninterference via Symbolic Execution [PDF]
, 2012 Noninterference is a high-level security property that guarantees the absence of illicit information flow at runtime. Noninterference can be enforced statically using information flow type systems; however, these are criticized for being overly conservative and rejecting secure programs.
Milushev D., Beck W., Clarke D.
openaire +3 more sources
Directed Grey-box Fuzzing Test Technology Combining Mixed Symbolic Execution [PDF]
Jisuanji gongcheng, 2020 Directed Gray-box Fuzzing(DGF) test is a kind of fuzzing test technique which can quickly generate test cases to reach a given target area of the program and find vulnerabilities,but the existing DGF technique often fail to pass the checking statements ...
DAI Wei, LU Yuliang, ZHU Kailong
doaj +1 more source
Program Complexity Analysis Method Combining Evolutionary Algorithm with Symbolic Execution [PDF]
Jisuanji kexue, 2021 The worst case execution path is an important indicator of program complexity,which helps to discover possible complexity vulnerabilities in the system.In recent years,the application of symbolic execution in program complexity analysis has made great ...
ZHOU Sheng-yi, ZENG Hong-wei
doaj +1 more source
Self-composition by Symbolic Execution [PDF]
, 2013 This work is licensed under a CC-BY Creative Commons Attribution 3.0 Unported license (http://creativecommons.org/licenses/by/3.0/)urn: urn:nbn:de:0030-drops-42770urn: urn:nbn:de:0030-drops-42770Self-composition is a logical formulation of non ...
Phan, Q-S
core +1 more source
Opaque Predicate Construction Algorithm Without Size Constraints [PDF]
Jisuanji kexue, 2023 Combined with opaque predicate,control flow obfuscation enables semantics-preserving transformations,which can achieve the purpose of code protection.However,existing opaque predicate is easily attacked by symbolic execution and has the problem of small ...
WANG Yufang, LE Deguang, Jack TAN, XIAO Le, GONG Shengrong
doaj +1 more source