Results 91 to 100 of about 308 (122)
Research on Fuzz Testing Framework based on Concolic Execution
, 2018 Xiong Xie, Yuhang Chen
openalex +2 more sources
Automatic JUnit Generation and Quality Assessment using Concolic and Mutation Testing
, 2019 Avadhani Bindu +2 more
openalex +1 more source
A Parallel Approach to Concolic Testing with Low-cost Synchronization
, 2011 Xiao Yu +4 more
openalex +1 more source
Oasis: Concolic Execution Driven by Test Suites and Code Modifications
, 2009 Olivier Crameri +5 more
openalex +1 more source
Concolic Testing of Higher-order Functional Languages
Electronic Proceedings in Theoretical Computer Science, 2019 openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
29th International Conference on Software Engineering (ICSE'07), 2007
We present hybrid concolic testing, an algorithm that interleaves random testing with concolic execution to obtain both a deep and a wide exploration of program state space. Our algorithm generates test inputs automatically by interleaving random testing until saturation with bounded exhaustive symbolic exploration of program points.
Rupak Majumdar, Koushik Sen
openaire +1 more source
We present hybrid concolic testing, an algorithm that interleaves random testing with concolic execution to obtain both a deep and a wide exploration of program state space. Our algorithm generates test inputs automatically by interleaving random testing until saturation with bounded exhaustive symbolic exploration of program points.
Rupak Majumdar, Koushik Sen
openaire +1 more source
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 +2 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 +1 more source
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 +1 more source
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
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 +1 more source