Detecting Interpreter Bugs via Filling Function Calls in Skeletal Program Enumeration
Xia, Xinmeng, Feng, Yang
Published in 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE) (09.10.2023)
Published in 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE) (09.10.2023)
Get full text
Conference Proceeding
DyFuzz: Skeleton-based Fuzzing for Python Libraries
Xia, Xinmeng, Feng, Yang
Published in 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS) (22.10.2023)
Published in 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS) (22.10.2023)
Get full text
Conference Proceeding
Understanding Bugs in Rust Compilers
Xia, Xinmeng, Feng, Yang, Shi, Qingkai
Published in 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS) (22.10.2023)
Published in 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS) (22.10.2023)
Get full text
Conference Proceeding
Centrifugal equipment for animal husbandry and veterinary laboratory
SUN NA, LIU CHENGJUN, LIU XIAO, WANG SUHONG, HAO ZHANZHONG, XIA XINMENG
Year of Publication 19.07.2024
Get full text
Year of Publication 19.07.2024
Patent
Suckling pig nutritional feed containing Chinese herbal medicine components
FAN SHUJIN, WANG LI, WANG JUNHAI, LIU CHENGJUN, LI HAIYUAN, ZHAO DAQIANG, XIA XINMENG
Year of Publication 24.07.2020
Get full text
Year of Publication 24.07.2020
Patent
Preparation method of probiotic polysaccharide compound preparation
GE CHANGCHENG, HOU GUOSHENG, LIU CHENGJUN, QU YUE, XIA XINMENG, WANG HAILI
Year of Publication 04.08.2017
Get full text
Year of Publication 04.08.2017
Patent