haku: @keyword dynamic symbolic execution / yhteensä: 2
viitteet: 1-2 / 2
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
1.
Test-guided proofs for C programs on LLVM
2013 Saarikivi, Olli
2.
Automated dynamic test generation for sequential Java programs
2008 Kähkönen, Kari
« edellinen sivu | seuraava sivu »
INSSI