Personensuche
X
?
2021 IEEE 8th International Conference on Space Mission Challenges for Information Technology (SMC-IT) ,
1
Towards a Systems Programming Language Designed for Hierarc..:
, In:
?
2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) ,
2
MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test ..:
, In:
?
2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) ,
3
A Practical, Principled Measure of Fuzzer Appeal: A Prelimi..:
, In:
?
Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education ,
4
Syntax-based Improvements to Plagiarism Detectors and their..:
, In:
?
Proceedings of the 46th International Symposium on Computer Architecture ,
5
Bouncer : static program analysis in hardware:
, In:
?
Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education ,
6
Evaluating Test Suite Effectiveness and Assessing Student C..:
, In:
?
Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization ,
7
A parallel abstract interpreter for JavaScript:
, In:
?
Proceedings of the 37th International Conference on Software Engineering - Volume 1 ,
8
Automated data structure generation : refuting common wi..:
, In:
?
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering ,
9
Fuzzing the rust typechecker using CLP:
, In:
?
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering ,
10
JSAI: a static analysis platform for JavaScript:
, In:
?
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering ,
11