Results 1 to 10 of about 308 (122)
Legion: Best-First Concolic Testing (Competition Contribution) [PDF]
Fundamental Approaches to Software Engineering23rd International Conference, 2020 Legion is a grey-box coverage-based concolic tool that aims to balance the complementary nature of fuzzing and symbolic execution to achieve the best of both worlds. It proposes a variation of Monte Carlo tree search (MCTS) that formulates program exploration as sequential decision-making under uncertainty guided by the best-first search strategy.
Liu D, Ernst G, Murray T, Rubinstein B.
europepmc +4 more sources
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
openalex +7 more sources
GeneMiner: A Classification Approach for Detection of XSS Attacks on Web Services. [PDF]
Comput Intell Neurosci, 2022 According to OWASP 2021, cross‐site scripting (XSS) attacks are increasing through specially crafted XML documents. The attacker injects a malicious payload with a new pattern and combination of scripts, functions, and tags that deceits the existing security mechanisms in web services.
Gupta C, Singh RK, Mohapatra AK.
europepmc +2 more sources
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
openalex +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.
Swadhin Kumar Barisal +5 more
doaj +2 more sources
Boosting concolic testing via interpolation [PDF]
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, 2013 Concolic testing has been very successful in automatically generating test inputs for programs. However one of its major limitations is path-explosion that limits the generation of high coverage inputs. Since its inception several ideas have been proposed to attack this problem from various angles: defining search heuristics that increase coverage ...
Joxan Jaffar +2 more
openalex +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
openalex +8 more sources
Concolic Testing of Front-end JavaScript [PDF]
, 2023 AbstractJavaScript 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
openalex +2 more sources
Testing Concolic Execution Through Consistency Checks
Journal of Systems and Software, 2023 Symbolic execution is a well-known software testing technique that evaluates how a program runs when considering a symbolic input, i.e., an input that can initially assume any concrete value admissible for its data type. The dynamic twist of this technique is dubbed concolic execution and has been demonstrated to be a practical technique for testing ...
Emilio Coppa, Alessio Izzillo
openalex +2 more sources
Sound and Complete Concolic Testing for Higher-order Functions [PDF]
Programming Languages and Systems30th European Symposium on Programming, 2021 You S, Findler R, Dimoulas C.
europepmc +3 more sources