KimHao Nguyen
Title
Cited by
Cited by
Year
Artifact for "GenTree: Using Decision Trees to Learn Interactions for Configurable Software"
KH Nguyen, TV Nguyen
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
12021
GenTree: Using decision trees to learn interactions for configurable software
KH Nguyen, TV Nguyen
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
12021
Using Symbolic Execution to Analyze Linux KBuild Makefiles
TV Nguyen, KH Nguyen
2020 IEEE International Conference on Software Maintenance and Evolution …, 2020
12020
Dynaplex: analyzing program complexity using dynamically inferred recurrence relations
D Ishimwe, KH Nguyen, N THANHVU
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-23, 2021
2021
Using Symbolic States to Infer Numerical Invariants
T Nguyen, KH Nguyen, M Dwyer
IEEE Transactions on Software Engineering, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–5