Registered user since Fri 9 Jun 2017
Name: Daniel Kroening
Affiliation: University of Oxford
Contributions
| ICSE 2019 | DeepConcolic: Testing and Debugging Deep Neural Networks Structural Test Coverage Criteria for Deep Neural Networks | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2019-profile
View general profile
View general profile