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