iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/sttt/CadarN21.xml
Cristian Cadar Martin Nowack KLEE symbolic execution engine in 2019. 867-870 2021 23 Int. J. Softw. Tools Technol. Transf. 6 https://doi.org/10.1007/s10009-020-00570-3 db/journals/sttt/sttt23.html#CadarN21