Results 71 to 80 of about 116 (111)

Scalable Concolic Testing of RTL Models

IEEE Transactions on Computers, 2021
Simulation 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   +2 more sources

Concolic testing of SystemC designs

2018 19th International Symposium on Quality Electronic Design (ISQED), 2018
SystemC 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, Cong, Kai, Yang, Zhenkun, Liao, Zhigang, Zhan, Tao, Havlicek, Christopher, Xie, Fei   +6 more
openaire   +2 more sources

Concolic testing

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

Enhancing Test Cases generated by Concolic Testing

Proceedings of the 12th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference), 2019
Concolic 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, Shubham Kumar, Sangharatna Godboley   +2 more
openaire   +1 more source

COMPI: Concolic Testing for MPI Applications

2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2018
MPI 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, Sihuan Li, Zachary Benavides, Zizhong Chen, Rajiv Gupta 0001   +4 more
openaire   +1 more source

Automated Test Generation Using Concolic Testing

Proceedings of the 8th India Software Engineering Conference, 2015
In 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   +1 more source

Concolic testing: a decade later (keynote)

Proceedings of the 13th International Workshop on Dynamic Analysis, 2015
Symbolic execution for software testing has witnessed renewed interest in the recent years due to its ability to generate high-coverage test suites and find deep errors in software systems. In this talk, I will give an overview of a modern symbolic execution technique, called concolic testing, discuss its key challenges in terms of path exploration ...
openaire   +1 more source

Concolic Testing Framework for Industrial Embedded Software

2014 21st Asia-Pacific Software Engineering Conference, 2014
Recently, concolic testing has drawn a lot of attention from the research community as a practical solution of overcoming limitations of manual test case generation. CONBOL, a concolic testing framework for large-scale embedded industrial software, has shown effectiveness of discovering real defects even for commercial quality software.
Taeksu Kim, Jonghyun Park, Igor Kulida, Yoonkyu Jang   +3 more
openaire   +1 more source

Concolic Testing and Constraint Satisfaction

2011
Software testing is the most common technique used in industry to improve reliability and quality of software. Unfortunately, testing is mostly a manual process that reportedly accounts for over half of the typical cost of software development and maintenance.
openaire   +1 more source

Concolic testing for models of state-based systems

Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Testing models of modern cyber-physical systems is not straightforward due to timing constraints, numerous if not infinite possible behaviors, and complex communications between components. Software testing tools and approaches that can generate test cases to test these systems are therefore important.
Reza Ahmadi, Juergen Dingel
openaire   +1 more source