Folgen
Jialun CAO
Jialun CAO
HKUST
Bestätigte E-Mail-Adresse bei connect.ust.hk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A study on prompt design, advantages and limitations of chatgpt for deep learning program repair
J Cao, M Li, M Wen, S Cheung
arXiv preprint arXiv:2304.08191, 2023
792023
Deepfd: Automated fault diagnosis and localization for deep learning programs
J Cao, M Li, X Chen, M Wen, Y Tian, B Wu, SC Cheung
Proceedings of the 44th international conference on software engineering …, 2022
432022
SemMT: a semantic-based testing approach for machine translation systems
J Cao, M Li, Y Li, M Wen, SC Cheung, H Chen
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (2), 1-36, 2022
332022
Flashregex: Deducing anti-redos regexes from examples
Y Li, Z Xu, J Cao, H Chen, T Ge, SC Cheung, H Zhao
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
282020
TransRegex: multi-modal regular expression synthesis by generate-and-repair
Y Li, S Li, Z Xu, J Cao, Z Chen, Y Hu, H Chen, SC Cheung
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
242021
Enchanting program specification synthesis by large language models using static analysis and program verification
C Wen, J Cao, J Su, Z Xu, S Qin, M He, H Li, SC Cheung, C Tian
International Conference on Computer Aided Verification, 302-328, 2024
202024
{ReDoSHunter}: A combined static and dynamic approach for regular expression {DoS} detection
Y Li, Z Chen, J Cao, Z Xu, Q Peng, H Chen, L Chen, SC Cheung
30th USENIX Security Symposium (USENIX Security 21), 3847-3864, 2021
202021
Comet: Coverage-guided model generation for deep learning library testing
M Li, J Cao, Y Tian, TO Li, M Wen, SC Cheung
ACM Transactions on Software Engineering and Methodology 32 (5), 1-34, 2023
192023
Concerned with Data Contamination? Assessing Countermeasures in Code Language Model
J Cao, W Zhang, SC Cheung
arXiv preprint arXiv:2403.16898, 2024
142024
{RegexScalpel}: Regular Expression Denial of Service ({{{{{ReDoS}}}}}) Defense by {Localize-and-Fix}
Y Li, Y Sun, Z Xu, J Cao, Y Li, R Li, H Chen, SC Cheung, Y Liu, Y Xiao
31st USENIX Security Symposium (USENIX Security 22), 4183-4200, 2022
122022
Learning k-Occurrence Regular Expressions with Interleaving
Y Li, X Zhang, J Cao, H Chen, C Gao
International Conference on Database Systems for Advanced Applications, 70-85, 2019
82019
FlashSchema: achieving high quality XML schemas with powerful inference algorithms and large-scale schema data
Y Li, J Cao, H Chen, T Ge, Z Xu, Q Peng
2020 IEEE 36th International Conference on Data Engineering (ICDE), 1962-1965, 2020
62020
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing
C Xu, S Chen, J Wu, SC Cheung, V Terragni, H Zhu, J Cao
Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024
42024
A learning-based framework for automatic parameterized verification
Y Li, J Cao, J Pang
2019 IEEE 37th International Conference on Computer Design (ICCD), 450-459, 2019
42019
Towards Understanding the Effectiveness of Large Language Models on Directed Test Input Generation
Z Jiang, M Wen, J Cao, X Shi, H Jin
Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024
32024
DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation
Q Zhu, J Cao, Y Lu, H Lin, X Han, L Sun, SC Cheung
arXiv preprint arXiv:2408.13204, 2024
32024
CRUXEval-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution
R Xu, J Cao, Y Lu, H Lin, X Han, B He, SC Cheung, L Sun
arXiv preprint arXiv:2408.13001, 2024
32024
Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems
X Du, X Chen, J Cao, M Wen, SC Cheung, H Jin
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
32023
Memo: Coverage-guided model generation for deep learning library testing
M Li, J Cao, Y Tian, TO Li, M Wen, SC Cheung
ArXiv, abs/2208.01508, 2022
22022
L-CMP: An automatic learning-based parameterized verification tool
J Cao, Y Li, J Pang
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
22018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20