Results 51 to 60 of about 97 (91)
Some of the next articles are maybe not open access.
Challenges and Opportunities With Concolic Testing
2015 National Aerospace and Electronics Conference (NAECON), 2015Although concolic testing is increasingly being explored as a viable software verification technique, its adoption in mainstream software development and testing in the industry is not yet extensive. In this paper, we discuss challenges to widespread adoption of concolic testing in an industrial setting and highlight further opportunities where ...
Bo Chen, Sandip Ray
exaly +2 more sources
Grey-Box Concolic Testing on Binary Code
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019We present grey-box concolic testing, a novel path-based test case generation method that combines the best of both white-box and grey-box fuzzing. At a high level, our technique systematically explores execution paths of a program under test as in white-box fuzzing, a.k.a.
Sang Kil Cha, Jaeseung Choi
exaly +2 more sources
In-Situ Concolic Testing of JavaScript
2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023JavaScript (JS) has evolved into a versatile and popular programming language for not only the web, but also a wide range of server-side and client-side applications. Effective, efficient, and easy-to-use testing techniques for JS scripts are in great demand.
Li, Zhe, Xie, Fei
openaire +3 more sources
Scalable Concolic Testing of RTL Models
IEEE Transactions on Computers, 2021Simulation is widely used for validation of Register-Transfer-Level (RTL) models. While simulating with millions of random or constrained-random tests can cover majority of the functional scenarios, the number of remaining scenarios can still be huge (hundreds or thousands) in case of today's industrial designs. Hard-to-activate branches are one of the
Yangdi Lyu, Prabhat Mishra 0001
openaire +3 more sources
Concolic testing of SystemC designs
2018 19th International Symposium on Quality Electronic Design (ISQED), 2018SystemC is a system-level modelling language widely used in the semiconductor industry. SystemC validation is both necessary and important, since undetected bugs may propagate to final silicon products, which can be extremely expensive and dangerous.
Lin, Bin +6 more
openaire +3 more sources
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, 2007
Concolic testing automates test input generation by combining the concrete and symbolic (concolic) execution of the code under test. Traditional test input generation techniques use either (1) concrete execution or (2) symbolic execution that builds constraints and is followed by a generation of concrete test inputs from these constraints. In contrast,
openaire +2 more sources
Concolic testing automates test input generation by combining the concrete and symbolic (concolic) execution of the code under test. Traditional test input generation techniques use either (1) concrete execution or (2) symbolic execution that builds constraints and is followed by a generation of concrete test inputs from these constraints. In contrast,
openaire +2 more sources
Enhancing Test Cases generated by Concolic Testing
Proceedings of the 12th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference), 2019Concolic testing tools can automatically generate test cases. However, there is a scope to increase the coverage achieved. Pair-wise testing is a prominent black-box testing method. We propose to combine ideas from these two techniques to enhance the code coverage.
Arpita Dutta +2 more
openaire +2 more sources
COMPI: Concolic Testing for MPI Applications
2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2018MPI is widely used as the bedrock of HPC applications, but there are no effective systematic software testing techniques for MPI programs. In this paper we develop COMPI, the first practical concolic testing tool for MPI applications. COMPI tackles two major challenges.
Hongbo Li 0006 +4 more
openaire +2 more sources
Evaluating Initial Inputs for Concolic Testing
2015 International Symposium on Theoretical Aspects of Software Engineering, 2015Concolic testing is a powerful technique for vulnerability detection. Current concolic testing tools usually randomly select one well-formed concrete input to start their workflow, then employ different path selection methods to explore the execution space.
Weiguang Wang, Qingkai Zeng 0002
openaire +2 more sources
Automated Test Generation Using Concolic Testing
Proceedings of the 8th India Software Engineering Conference, 2015In this talk, I will talk about the recent advances and challenges in concolic testing and symbolic execution. Concolic testing, also known as directed automated random testing (DART) or dynamic symbolic execution, is an efficient way to automatically and systematically generate test inputs for programs.
openaire +2 more sources