29 out 2008 ano - Cadar, C., Dunbar, D. & Engler, D. (2008) Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs, in Proceedings of the 8th USENIX conference on Operating systems design and implementation

Adicionado na linha do tempo:

13 out 2017

0

0

346

rd

r

Data: