Results 31 to 40 of about 337 (131)

SEDGE: Symbolic Example Data Generation for Dataflow Programs [PDF]

, 2013
Exhaustive, automatic testing of dataflow (esp. map- reduce) programs has emerged as an important challenge. Past work demonstrated effective ways to generate small example data sets that exercise operators in the Pig platform, used to generate Hadoop ...
Kaituo Li, Li, Kaituo, Diao, Yanlei, Csallner, Christoph, Christoph Csallner, Yannis Smaragdakis, Reichenbach, Christoph, Yanlei Diao, Smaragdakis, Yannis, Christoph Reichenbach   +9 more
core   +1 more source

Dynamic analysis of programs with graphical user interface based on symbolic execution

Труды Института системного программирования РАН, 2018
In this paper, we explore the possibilities of applying dynamic symbolic execution (or concolic testing) methods to applications with graphical user interfaces.
S. P. Vartanov, A. Y. Gerasimov, M. K. Ermakov, D. O. Kutz, A. A. Novikov   +4 more
doaj   +1 more source

Concolic testing for deep neural networks [PDF]

, 2018
Concolic testing combines program execution and symbolic analysis to explore the execution paths of a software program. This paper presents the first concolic testing approach for Deep Neural Networks (DNNs).
M Wu (8842364), Y Sun (3556880), X Huang (6099809), M Kwiatkowska (21513686), D Kroening (21920225), W Ruan (11648269)   +5 more
core   +2 more sources

Deobfuscation, unpacking, and decoding of obfuscated malicious JavaScript for machine learning models detection performance improvement

CAAI Transactions on Intelligence Technology, Volume 5, Issue 3, Page 184-192, September 2020., 2020
Obfuscation is rampant in both benign and malicious JavaScript (JS) codes. It generates an obscure and undetectable code that hinders comprehension and analysis. Therefore, accurate detection of JS codes that masquerade as innocuous scripts is vital. The existing deobfuscation methods assume that a specific tool can recover an original JS code entirely.
Samuel Ndichu, Sangwook Kim, Seiichi Ozawa   +2 more
wiley   +1 more source

Survey on automated symbolic verification and its application for synthesising cyber‐physical systems

IET Cyber-Physical Systems: Theory &Applications, Volume 5, Issue 1, Page 1-24, March 2020., 2020
Dependency on the correct operation of embedded systems is rapidly growing, mainly due to their wide range of applications. Their structures are becoming more complex and currently require multi‐core processors with scalable shared memory, signal‐processing pipelines, and sophisticated software modules to meet increasing computational power ...
Lucas C. Cordeiro, Eddie B. de Lima Filho, Iury V. Bessa   +2 more
wiley   +1 more source

Building an Efficient Concolic Executor [PDF]

, 2022
Concolic execution is a powerful program analysis technique for systematically exploring execution paths. Compared to random-mutation-based fuzzing, concolic execution is especially good at exploring code paths guarded by complex and tight branch ...
Chen, Ju
core  

An SMT-Based Concolic Testing Tool for Logic Programs [PDF]

, 2020
Concolic testing combines symbolic and concrete execution to generate test cases that achieve a good program coverage. Its benefits have been demonstrated for more than 15 years in the case of imperative programs.
Payet, Etienne, Wim Vanhoof, Vidal, Germán, Fred Mesnard, Vanhoof, Wim; id_orcid, Fortz, Sophie; id_orcid, Sophie Fortz, Etienne Payet, Gilles Perrouin, Germán Vidal, Fortz, Sophie, Perrouin, Gilles, Vanhoof, Wim, Mesnard, Fred, Perrouin, Gilles; id_orcid, Mesnard, Frédéric   +15 more
core   +1 more source

Grammar-aware test case trimming for efficient hybrid fuzzing

Journal of King Saud University: Computer and Information Sciences
In recent years, hybrid fuzzing has garnered significant attention by combining the benefits of both fuzzing and concolic execution. However, existing hybrid fuzzing techniques face problems such as the performance overhead of concolic execution and low ...
Yiru Zhao, Long Gao, Qihan Wan, Lei Zhao
doaj   +1 more source

Concolic Execution for Testing Definitional Interpreters

, 2021
Definitional interpreters are difficult to test with a pre-defined test suite. This paper tries to determine the effectiveness of automatic testing of definitional interpreters, using concolic execution. First we develop a model for concolic execution of
Boon Alexaki, Philippos (author)
core  

Investigation into the effectiveness of white‐box T‐way testing

IET Software, Volume 13, Issue 6, Page 610-616, December 2019., 2019
An unduly large number of test cases are required for effective testing of programmes containing complex decision statements. In this context, modified condition/decision coverage (MC/DC) testing has been acknowledged to provide effective testing using a test suite whose size is linear in the number of the clauses present in a predicate.
Arpita Dutta, Anwesha Patel, Rajib Mall
wiley   +1 more source