Registered user since Fri 9 Jun 2017
Name: Daniel Kroening
Affiliation: University of Oxford
Contributions
| ICSE 2019 | Author of DeepConcolic: Testing and Debugging Deep Neural Networks within the Demonstrations-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile