Results 41 to 50 of about 97 (91)

Selective Concolic Testing

Abstract The principled combination of symbolic execution and random testing lacks a formal foundation, especially in deciding which inputs to symbolize. We propose selective concolic testing, a cost-aware framework that formulates this choice as an optimized policy problem of a MDP (Markov Decision Process).
Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Jun Sun, Weijiang Hong, Yufeng Zhang, Ji Wang, Yang Liu   +7 more
openaire   +1 more source

Concolic Testing Heap-Manipulating Programs

, 2019
Concolic testing is a test generation technique which works effectively by integrating random testing generation and symbolic execution. Existing concolic testing engines focus on numeric programs. Heap-manipulating programs make extensive use of complex heap objects like trees and lists.
PHAM, Long H., LOC LE, Quang, PHAN, Quoc-Sang, SUN, Jun   +3 more
openaire   +3 more sources

Concolic Testing of JavaScript using Sparkplug

CoRR
JavaScript is prevalent in web and server apps, handling sensitive data. JS testing methods lag behind other languages. Insitu concolic testing for JS is effective but slow and complex. Our method enhances tracing with V8 Sparkplug baseline compiler and remill libraries for assembly to LLVM IR conversion.
Zhe Li, Fei Xie
openaire   +2 more sources

Influence-Guided Concolic Testing of Transformer Robustness

CoRR
Accepted at the 26th International Conference on Software Quality, Reliability, and ...
Chih-Duo Hong, Yu Wang, Yao-Chen Chang, Fang Yu   +3 more
openaire   +2 more sources

Concolic Execution and Test Case Generation in Prolog [PDF]

, 2015
Symbolic execution extends concrete execution by allowing symbolic input data and then exploring all feasible execution paths. It has been defined and used in the context of many different programming languages and paradigms. A symbolic execution engine is at the heart of many program analysis and transformation techniques, like partial evaluation ...
openaire   +3 more sources

Java-HCT: An approach to increase MC/DC using Hybrid Concolic Testing for Java programs

Annals of computer science and information systems, 2016
Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra   +2 more
doaj   +1 more source

Heuristics for concolic software testing

, 2020
Yazılım testi, yazılım geliştirme sürecinin ayrılmaz bir parçasıdır. Konkolik test üzerinde sistematik testin daha büyük yazılımlara uygulanabilmesi amacıyla on yıllarca süren çalışmaların sonucu geliştirilmiş bir birim test yaratma tekniğidir. Ancak kısıt çözümü gibi darboğazlar konkolik testçilerin büyük projelerde kullanılmasına engel teşkil ...
openaire   +1 more source

A Methodology for Applying Concolic Testing

, 2016
Concolic testing is a technique that combines concrete and symbolic execution in order to generate inputs that explore different execution paths leading to better testing coverage. Concolic testing tools can find runtime errors fully automatically using available type specifications.
openaire   +1 more source

Scaling Concolic Testing for the Environment-Intensive Program

IEICE Transactions on Information and Systems, 2015
LEI, Xue, HUANG, Wei, FAN, Wenqing, YANG, Yixian   +3 more
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Hybrid Concolic Testing

29th International Conference on Software Engineering (ICSE'07), 2007
We present hybrid concolic testing, an algorithm that interleaves random testing with concolic execution to obtain both a deep and a wide exploration of program state space. Our algorithm generates test inputs automatically by interleaving random testing until saturation with bounded exhaustive symbolic exploration of program points.
Rupak Majumdar, Koushik Sen
exaly   +3 more sources