학술논문

1 . Academic Journal
In vitro skin retention and drug permeation study of Tongluo-Qutong rubber plaster by UPLC/UV/MS/MS

저자

by Zhang, Ying; Pi, Jiaxin; Li, Wen; Zhang, Ludan; Ma, Xutong, et al.

소스

Brazilian Journal of Pharmaceutical Sciences. January 2022 58
요약보기

내보내기
E-Mail

EndNote

RefWorks
7 . Academic Journal
A novel natural lignocellulosic biosorbent of sunflower stem-pith for textile cationic dyes adsorption

저자

by Ma, Xutong; Liu, Yiruo; Zhang, Qibo; Sun, Shaolong; Zhou, Xin, et al.

소스

In Journal of Cleaner Production 10 January 2022 331
요약보기

내보내기
E-Mail

EndNote

RefWorks
7 . Conference
PSMT: Satisfiability Modulo Theories Meets Probability Distribution

저자

by Jia, Fuqi; Han, Rui; Ma, Xutong; Cui, Baoquan; Liu, Minghao, et al.

소스

2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :1756-1760 Sep, 2023
- Full Text (IEEE)
요약보기

내보내기
E-Mail

EndNote

RefWorks
7 . Conference
Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count

저자

by Ma, Xutong; Yan, Jiwei; Zhang, Hao; Yan, Jun; Zhang, Jian.

소스

2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :1429-1440 Sep, 2023
- Full Text (IEEE)
요약보기

내보내기
E-Mail

EndNote

RefWorks
7 . Conference
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers

저자

by Ma, Xutong; Yan, Jiwei; Wang, Wei; Yan, Jun; Zhang, Jian, et al.

소스

2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2021 36th IEEE/ACM International Conference on. :880-891 Nov, 2021
- Full Text (IEEE)
요약보기

내보내기
E-Mail

EndNote

RefWorks
7 . Conference
GTFuzz: Guard Token Directed Grey-Box Fuzzing

저자

by Li, Rundong; Liang, HongLiang; Liu, Liming; Ma, Xutong; Qu, Rong, et al.

소스

2020 IEEE 25th Pacific Rim International Symposium on Dependable Computing (PRDC) PRDC Dependable Computing (PRDC), 2020 IEEE 25th Pacific Rim International Symposium on. :160-170 Dec, 2020
- Full Text (IEEE)
요약보기

내보내기
E-Mail

EndNote

RefWorks
7 . Report
Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures

저자

by Zhang, Xin; Ma, Xutong; Yan, Jiwen; Cui, Baoquan; Yan, Jun, et al.

소스
- Open Access (Arxiv)
- Find it @ DONGA
요약보기

내보내기
E-Mail

EndNote

RefWorks
7 . Conference
SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs

저자

by Ma, Xutong; Yan, Jiwei; Li, Yaqi; Yan, Jun; Zhang, Jian.

소스

2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2019 34th IEEE/ACM International Conference on. :1122-1125 Nov, 2019
- Full Text (IEEE)
요약보기

내보내기
E-Mail

EndNote

RefWorks
7 . Academic Journal
Revalorization of sunflower stalk pith as feedstock for the coproduction of pectin and glucose using a two-step dilute acid pretreatment process.

저자

by Zhang, Qibo; Cheng, Lu; Ma, Xutong; Zhou, Xin; Xu, Yong.

소스

Biotechnology for Biofuels. 10/1/2021, Vol. 14 Issue 1, p1-9. 9p.
요약보기

내보내기
E-Mail

EndNote

RefWorks
7 . Conference
Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android

저자

by Pan, Linjie; Cui, Baoquan; Yan, Jiwei; Ma, Xutong; Yan, Jun, et al.

소스

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. :394-397
- Find it @ DONGA
요약보기

내보내기
E-Mail

EndNote

RefWorks

공지

DAU Library