Search for persons
X
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
1
KLEEF: Symbolic Execution Engine (Competition Contribution):
, In:
?
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
2
UnitTestBot: Automated Unit Test Generation for C Code in I..:
, In:
?
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
3