Results 81 to 90 of about 308 (122)
Concolic Testing on Individual Fairness of Neural Network Models [PDF]
Mao Lin Huang, Chaeeun Hong, Fang Yu
openalex +1 more source
Concolic testing of the multi-sector read operation for flash storage platform software [PDF]
, 2011 Moonzoo Kim, Yunho Kim, Yunja Choi
openalex +1 more source
Concolic Testing of Multithreaded Programs and Its Application to Testing Security Protocols
, 2006 Koushik Sen, Gul Agha
openalex +1 more source
SymEx-VP: An open source virtual prototype for OS-agnostic concolic testing of IoT firmware
, 2022 Sören Tempel +2 more
openalex +1 more source
A methodology for applying concolic testing
, 2016 Las pruebas de software, conocidas como “testing”, son el método predominante en la industria para asegurar que un programa es correcto y fiable. Como resultado de la creciente complejidad del software existen errores cada vez más difíciles de encontrar, lo que requiere técnicas de “testing” más sofisticadas.
openaire +1 more source
Concolic testing of concurrent software in the context of weak memory models
, 2014 Martin Dobiasch
openalex +2 more sources
Conagent: Agent-Based Concolic Testing to Generate Test Data for Qt Projects
Dat Nguyen Trong +4 more
openalex +1 more source