Personensuche
X
?
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3 ,
7
Simulator Independent Coverage for RTL Hardware Languages:
, In:
?
Proceedings of the International Conference on Computer-Aided Design ,
11
RFUZZ : coverage-directed fuzz testing of RTL on FPGAs:
, In:
?
Proceedings of the 40th International Conference on Software Engineering ,
12
Efficient sampling of SAT solutions for testing:
, In:
?
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) ,
13