Results 1 to 10 of about 116 (111)
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.
Swadhin Kumar Barisal +2 more
exaly +3 more sources
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
Fred Mesnard +2 more
openaire +6 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.
Fred Mesnard +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 +2 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 +6 more sources
Abstraction-driven Concolic Testing [PDF]
, 2015 25 ...
Przemyslaw Daca +2 more
openaire +2 more sources
Automated concolic testing of smartphone apps [PDF]
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 2012 We present an algorithm and a system for generating input events to exercise smartphone apps. Our approach is based on concolic testing and generates sequences of events automatically and systematically. It alleviates the path-explosion problem by checking a condition on program executions that identifies subsumption between different event sequences ...
Anand, Saswat +3 more
openaire +1 more source