Results 71 to 80 of about 308 (122)
Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling [PDF]
, 2016 Pingfan Kong
openalex +1 more source
CRESTIVE-DX: Design and Implementation of Distrusted Concolic Testing Tool for Embedded Software
, 2020 Hyerin Leem +3 more
openalex +1 more source
Micro-scale Concolic Testing Framework for Automated Test Data Generation Based on Path Coverage [PDF]
Fangqing Liu, Han Huang, Yi Xiang
openalex +1 more source
An SMT-Based Concolic Testing Tool for Logic Programs [PDF]
, 2020 Sophie Fortz +5 more
openalex +1 more source
State Merging for Concolic Testing of Event-Driven Applications
Maarten Vandercammen, Coen De Roover
openalex +2 more sources
Prioritising Server Bugs via Inter-process Concolic Testing [PDF]
, 2020 Maarten Vandercammen +4 more
openalex +1 more source
HyperPUT: generating synthetic faulty programs to challenge bug-finding tools. [PDF]
Empir Softw EngFelici R, Pozzi L, Furia CA.
europepmc +1 more source
Incremental Concolic Testing of Register-Transfer Level Designs [PDF]
Hasini Witharana +2 more
openalex +1 more source