Results 61 to 70 of about 116 (111)
HyperPUT: generating synthetic faulty programs to challenge bug-finding tools. [PDF]
Empir Softw EngFelici R, Pozzi L, Furia CA.
europepmc +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
exaly +2 more sources
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
exaly +2 more sources
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, Kai Cong, Sandip Ray
exaly +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
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 +2 more sources