Personensuche
X
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
2
TracerX: Pruning Dynamic Symbolic Execution with Deletion a..:
, In:
?
International Workshop on OpenCL ,
9
Extending DPC++ with Support for Huawei Ascend AI Chipset:
, In:
?
Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis ,
10
Toward optimal mc/dc test case generation:
, In:
?
NODYCON Conference Proceedings Series; Advances in Nonlinear Dynamics ,
13