Search for persons
X
?
2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) ,
4
Intelligent Constraint Classification for Symbolic Executio:
, In:
?
2022 2nd International Conference on Computation, Communication and Engineering (ICCCE) ,
5
Using Delphi -Fuzzy to Construct a Multi-attribute Decision..:
, In:
?
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings ,
10
Summary-guided incremental symbolic execution:
, In:
?
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing ,
11