Results 1 to 10 of about 78 (72)
Theory and Practice of Logic Programming, 2020 AbstractConcolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases with the aim of maximizing code coverage. A previous approach to concolic testing in logic programming was not sound because it only dealt with positive constraints (by
Germán Vidal, Etienne Payet
exaly +9 more sources
BOOMPizer: Minimization and Prioritization of CONCOLIC Based Boosted MC/DC Test Cases
Journal of King Saud University - Computer and Information Sciences, 2022 Recent research evidence indicates that the powerful testing tools, even though generate test inputs automatically for coverage measures, but not up to satisfaction.
Arpita Dutta +2 more
exaly +3 more sources
Concolic Testing of Front-End JavaScript
Lecture Notes in Computer Science, 2023 Abstract JavaScript has become the most popular programming language for web front-end development. With such popularity, there is a great demand for thorough testing of client-side JavaScript web applications. In this paper, we present a novel approach to concolic testing of front-end JavaScript web applications.
Zhe Li, Fei Xie
exaly +2 more sources
Exploratory Review of Hybrid Fuzzing for Automated Vulnerability Detection
IEEE Access, 2021 Recently, software testing has become a significant component of information security. The most reliable technique for automated software testing is a fuzzing tool that feeds programs with random test-input and detects software vulnerabilities that are ...
Fayozbek Rustamov +3 more
doaj +1 more source
Concolic testing in logic programming [PDF]
Theory and Practice of Logic Programming, 2015 AbstractSoftware testing is one of the most popular validation techniques in the software industry. Surprisingly, we can only find a few approaches to testing in the context of logic programming. In this paper, we introduce a systematic approach for dynamic testing that combines both concrete and symbolic execution.
Mesnard, Frédéric +2 more
openaire +5 more sources
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020 12 pages, 2 Algorithms, 3 Figures, 2 Tables ...
Dongge Liu +3 more
openaire +4 more sources
SHFuzz: Selective Hybrid Fuzzing with Branch Scheduling Based on Binary Instrumentation
Applied Sciences, 2020 Hybrid fuzzing is a popular software testing technique that combines random fuzzing with concolic execution. It is widely used in the security domain known for its ability to find deeply hidden vulnerabilities and reach high code coverage. Hybrid fuzzing
Xianya Mi +4 more
doaj +1 more source
Future Internet, 2020 Fuzz testing is a simple automated software testing approach that discovers software vulnerabilities at a high level of performance by using randomly generated seeds.
Fayozbek Rustamov +2 more
doaj +1 more source
Concolic testing for deep neural networks [PDF]
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 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). More specifically, we formalise coverage criteria for DNNs that have been studied in the literature, and then develop a coherent method for ...
Youcheng Sun +5 more
openaire +7 more sources
Abstraction-driven Concolic Testing [PDF]
, 2015 25 ...
Przemyslaw Daca +2 more
openaire +2 more sources