Results 71 to 80 of about 97 (91)
Some of the next articles are maybe not open access.
GuideSE: Annotations for Guiding Concolic Testing
2015 IEEE/ACM 10th International Workshop on Automation of Software Test, 2015Koushik Sen +3 more
openaire +2 more sources
SymEx-VP: An Open Source Virtual Prototype for OS-Agnostic Concolic Testing of IoT Firmware
Journal of Systems Architecture, 2022Soren Tempel +2 more
exaly
Concolic Testing for Quantum Compilers
2025 IEEE 43rd International Conference on Computer Design (ICCD)Navnil Choudhury +2 more
openaire +1 more source
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
Lecture Notes in Computer Science, 2006Gul Agha, Koushik Sen
exaly
An Improved Distributed Concolic Testing Approach
Software - Practice and Experience, 2017Durga Prasad Mohapatra +2 more
exaly
Making a Concolic Tester Achieve Increased MC/DC
Innovations in Systems and Software Engineering, 2016Arpita Dutta +2 more
exaly
An Effective Methodology for Integrating Concolic Testing With SystemC-Based Virtual Prototypes
2021Soren Tempel +2 more
exaly
FSCT: A New Fuzzy Search Strategy in Concolic Testing
Information and Software Technology, 2019Hamidreza Rashidy Kanan +2 more
exaly
Target-Directed Concolic Testing
Chinese Journal of Computers, 2011Zhan-Qi CUI +2 more
openaire +1 more source
Concolic Testing for Functional Languages
Science of Computer Programming, 2017Konstantinos Sagonas, Aggelos Giantsios
exaly