Results 11 to 20 of about 337 (131)
CUTECat: Concolic Execution for Computational Law
Abstract Many legal computations, including the amount of tax owed by a citizen, whether they are eligible to social benefits, or the wages due to civil state servants, are specified by computational laws. Their application, however, is performed by expert computer programs intended to faithfully transcribe the law into computer code. Bugs in
Goutagny, Pierre +2 more
openaire +4 more sources
RTL functional test generation using factored concolic execution [PDF]
2017 IEEE International Test Conference (ITC), 2017 In this paper, we present CORT, a factored concolic execution based methodology for high-level functional test generation. Our test generation effort is visualized as the systematic unraveling of the control-flow response of the design over multiple explorations.
Sonal Pinto, Michael S. Hsiao
openaire +2 more sources
Rapid Taint Assisted Concolic Execution (TACE) [PDF]
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software EngineeringWhile fuzz testing is a popular choice for testing open-source software, it might not effectively detect bugs in programs that feature many symbols due to the significant increase in exploration of the program executions. Fuzzers can be more effective when they concentrate on a smaller and more relevant set of symbols, focusing specifically on the key ...
Ridhi Jain +4 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 ...
Vidal, Germán, Germán Vidal
openaire +4 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 execution is a practical test generation technique that explores execution paths by coupling concrete execution with symbolic reasoning. It runs programs on given inputs while capturing symbolic path representations, then mutates and solves these constraints to generate new test inputs for alternative paths.
Luo, Zhengxiong +4 more
openaire +2 more sources
The integration of machine learning into automated test generation: A systematic mapping study
Software Testing, Verification and Reliability, Volume 33, Issue 4, June 2023., 2023 Machine learning (ML) may enable effective automated test generation. We characterize research in this area, examining testing practices, researcher goals, ML techniques applied, evaluation, and challenges through a systematic mapping on a sample of 124 publications. The work‐to‐date shows great promise, but there are open challenges regarding training
Afonso Fontes, Gregory Gay
wiley +1 more source
A systematic mapping study for graphical user interface testing on mobile apps
IET Software, Volume 17, Issue 3, Page 249-267, June 2023., 2023 This paper presents a systematic mapping study to gain insight into GUI testing for mobile apps. Through bibliometric analysis, the paper identifies the GUI testing research communities, influential authors, papers and popular topic trends. Additionally, the paper identifies the common approaches and the evaluation metrics used in GUI testing for ...
Liming Nie +4 more
wiley +1 more source
ZaligVinder: A generic test framework for string solvers
Journal of Software: Evolution and Process, Volume 35, Issue 4, April 2023., 2023 The increased interest in string solving in the recent years has made it very hard to identify the right tool to address a particular user's purpose. Generally, it lacks of comparisons between the existing tools on an equal set of benchmarks, especially as a common framework to compare solvers seems to be missing.
Mitja Kulczynski +3 more
wiley +1 more source
Mutation‐inspired symbolic execution for software testing
IET Software, Volume 16, Issue 5, Page 478-492, October 2022., 2022 Abstract Software testing is a complex and costly stage during the software development lifecycle. Nowadays, there is a wide variety of solutions to reduce testing costs and improve test quality. Focussing on test case generation, Dynamic Symbolic Execution (DSE) is used to generate tests with good structural coverage.
Kevin J. Valle‐Gómez +3 more
wiley +1 more source