المؤلفون: Gao, Tianchang, Chen, Junjie, Wang, Dong, Guo, Yile, Zhao, Yingquan, Wang, Zan

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2408.08515

المؤلفون: ZHAO, Yingquan, WANG, Zan, LIU, Shuang, SUN, Jun, CHEN, Junjie, CHEN, Xiang

المصدر: Research Collection School Of Computing and Information Systems

مصطلحات موضوعية: Computer bugs, Concurrency bug detection, Concurrent computing, Constraint solving, Coverage criteria, Instruction sets, Message systems, Programming, Sun, Systematics, Thread-safe class, Numerical Analysis and Scientific Computing, Software Engineering

وصف الملف: application/pdf

Relation: https://ink.library.smu.edu.sg/sis_research/6940; https://ink.library.smu.edu.sg/context/sis_research/article/7943/viewcontent/PatternConstraint_av.pdf

الاتاحة: https://ink.library.smu.edu.sg/sis_research/6940
https://doi.org/10.1109/TSE.2022.3144480
https://ink.library.smu.edu.sg/context/sis_research/article/7943/viewcontent/PatternConstraint_av.pdf

المؤلفون: WANG, Haoyu, WANG, Zan, LIU, Shuang, SUN, Jun, ZHAO, Yingquan, WAN, Yan, NGUYEN, Duy Tai

المصدر: Research Collection School Of Computing and Information Systems

مصطلحات موضوعية: Coverage criteria, fuzzing, smart contract security, Databases and Information Systems, Software Engineering

Relation: https://ink.library.smu.edu.sg/sis_research/8752

الاتاحة: https://ink.library.smu.edu.sg/sis_research/8752
https://doi.org/10.1002/smr.2557

المؤلفون: Wang, Haoyu, Chen, Junjie, Xie, Chuyue, Liu, Shuang, Wang, Zan, Shen, Qingchao, Zhao, Yingquan

المساهمون: National Natural Science Foundation of China, Nanjing University of Aeronautics and Astronautics

المصدر: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)

الاتاحة: http://dx.doi.org/10.1109/ase56229.2023.00120
http://xplorestaging.ieee.org/ielx7/10298258/10298286/10298562.pdf?arnumber=10298562

المؤلفون: Gao, Tianchang, Chen, Junjie, Zhao, Yingquan, Zhang, Yuqun, Zhang, Lingming

المساهمون: National Natural Science Foundation of China

المصدر: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis

الاتاحة: http://dx.doi.org/10.1145/3597926.3598075
https://dl.acm.org/doi/pdf/10.1145/3597926.3598075

المؤلفون: Wu, Mingyuan, Ouyang, Yicheng, Lu, Minghai, Chen, Junjie, Zhao, Yingquan, Cui, Heming, Yang, Guowei, Zhang, Yuqun

المساهمون: Guangdong Provincial Key Laboratory, National Natural Science Foundation of China

المصدر: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

الاتاحة: http://dx.doi.org/10.1145/3611643.3616277
https://dl.acm.org/doi/pdf/10.1145/3611643.3616277

المؤلفون: Zhao, Yingquan, Chen, Junjie, Fu, Ruifeng, Ye, Haojie, Wang, Zan

المساهمون: National Natural Science Foundation of China

المصدر: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis

الاتاحة: http://dx.doi.org/10.1145/3597926.3598077
https://dl.acm.org/doi/pdf/10.1145/3597926.3598077

المؤلفون: WANG, Zan, ZHAO, Yingquan, LIU, Shuang, SUN, Jun, CHEN, Xiang, LIN, Huarui

المصدر: Research Collection School Of Computing and Information Systems

مصطلحات موضوعية: Software Engineering

وصف الملف: application/pdf

Relation: https://ink.library.smu.edu.sg/sis_research/4964; https://ink.library.smu.edu.sg/context/sis_research/article/5967/viewcontent/map.pdf

الاتاحة: https://ink.library.smu.edu.sg/sis_research/4964
https://doi.org/10.1109/ASE.2019.00073
https://ink.library.smu.edu.sg/context/sis_research/article/5967/viewcontent/map.pdf

المؤلفون: ZHAO, Yingquan, ZHONG, Hanting, XU, Shenglin, HOU, Mingcai, HU, Xiumian, ZHANG, Lei, GAO, Yuan, ZHANG, Laiming, LIU, Yu, CAO, Haiyang, MU, Caineng, CAI, Pengcheng

المصدر: Acta Geologica Sinica - English Edition ; volume 93, issue S3, page 83-85 ; ISSN 1000-9515 1755-6724

الاتاحة: http://dx.doi.org/10.1111/1755-6724.14253
https://onlinelibrary.wiley.com/doi/pdf/10.1111/1755-6724.14253
https://onlinelibrary.wiley.com/doi/full-xml/10.1111/1755-6724.14253

المؤلفون: Zhao, Yingquan, Wang, Zan, Chen, Junjie, Liu, Mengdi, Wu, Mingyuan, Zhang, Yuqun, Zhang, Lingming

المساهمون: National Natural Science Foundation of China - State Grid Corporation Joint Fund for Smart Grid, National Natural Science Foundation of China

المصدر: Proceedings of the 44th International Conference on Software Engineering

الاتاحة: http://dx.doi.org/10.1145/3510003.3510059
https://dl.acm.org/doi/pdf/10.1145/3510003.3510059

المؤلفون: Zhang, Liuping, Zhao, Yingquan, Jin, Zhijun, Bai, Guoping, Yang, Lei

المصدر: Energy Exploration & Exploitation, 2009 Feb 01. 27(1), 47-68.

URL الوصول: https://www.jstor.org/stable/26160737

المؤلفون: Wang, Zan, Zhang, Dongdi, Liu, Shuang, Sun, Jun, Zhao, Yingquan

المصدر: 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)

الاتاحة: http://dx.doi.org/10.1109/iceccs.2019.00021
http://xplorestaging.ieee.org/ielx7/8871108/8882742/08882777.pdf?arnumber=8882777

المؤلفون: Chen, Xiang, Zhao, Yingquan, Cui, Zhanqi, Meng, Guozhu, Liu, Yang, Wang, Zan

المساهمون: National Natural Science Foundation of China, Nantong Application Research Plan, Beijing Municipal Education Commission, Beijing Information Science and Technology University

المصدر: IEEE Transactions on Reliability ; volume 69, issue 1, page 70-87 ; ISSN 0018-9529 1558-1721

الاتاحة: http://dx.doi.org/10.1109/tr.2019.2924932
http://xplorestaging.ieee.org/ielx7/24/9023405/08809906.pdf?arnumber=8809906

المؤلفون: Ni, Chao, Chen, Xiang, Xia, Xin, Gu, Qing, Zhao, Yingquan

المساهمون: China Scholarship Council, National Natural Science Foundation of China

المصدر: Journal of Software: Evolution and Process ; volume 31, issue 12 ; ISSN 2047-7473 2047-7481

الاتاحة: http://dx.doi.org/10.1002/smr.2203
https://onlinelibrary.wiley.com/doi/pdf/10.1002/smr.2203
https://onlinelibrary.wiley.com/doi/full-xml/10.1002/smr.2203

المؤلفون: Chen, Xiang, Zhang, Dun, Zhao, Yingquan, Cui, Zhanqi, Ni, Chao

المساهمون: National Natural Science Foundation of China, Nanjing University, Beijing Municipal Education Commission

المصدر: Information and Software Technology ; volume 106, page 161-181 ; ISSN 0950-5849

الاتاحة: http://dx.doi.org/10.1016/j.infsof.2018.10.003
https://api.elsevier.com/content/article/PII:S0950584918302076?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0950584918302076?httpAccept=text/plain

المؤلفون: Chen, Xiang, Zhao, Yingquan, Wang, Qiuping, Yuan, Zhidan

المساهمون: National Natural Science Foundation of China, Nanjing University

المصدر: Information and Software Technology ; volume 93, page 1-13 ; ISSN 0950-5849

الاتاحة: http://dx.doi.org/10.1016/j.infsof.2017.08.004
https://api.elsevier.com/content/article/PII:S0950584917304627?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0950584917304627?httpAccept=text/plain

المؤلفون: Zhao, Yingquan, Zhang, Liuping, Hu, Jingjing, Liao, Taiping

المصدر: 2013 International Conference on Computational and Information Sciences ; page 963-965

الاتاحة: http://dx.doi.org/10.1109/iccis.2013.259
http://xplorestaging.ieee.org/ielx7/6642226/6642914/06643175.pdf?arnumber=6643175

المؤلفون: Zhang, Liuping, Bai, Guoping, Zhao, Yingquan

المساهمون: China Sci-Tech Project of National Importance, Strategic Priority Research Program of the Chinese Academy of Sciences

المصدر: Marine and Petroleum Geology ; volume 57, page 385-402 ; ISSN 0264-8172

الاتاحة: http://dx.doi.org/10.1016/j.marpetgeo.2014.06.009
https://api.elsevier.com/content/article/PII:S0264817214002165?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0264817214002165?httpAccept=text/plain

المؤلفون: Zhang, Liuping, Bai, Guoping, Zhao, Yingquan

المصدر: Mathematical Geosciences ; volume 44, issue 8, page 929-944 ; ISSN 1874-8961 1874-8953

الاتاحة: http://dx.doi.org/10.1007/s11004-012-9419-0
http://link.springer.com/content/pdf/10.1007/s11004-012-9419-0.pdf
http://link.springer.com/article/10.1007/s11004-012-9419-0/fulltext.html
http://link.springer.com/content/pdf/10.1007/s11004-012-9419-0

المؤلفون: ZHONG, Hanting, XU, Shenglin, HOU, Mingcai, ZHANG, Lei, LIU, Yu, CAO, Haiyang, MU, Caineng, CAI, Pengcheng, ZHAO, Yingquan, HU, Xiumian, GAO, Yuan, ZHANG, Laiming

المصدر: Acta Geologica Sinica (English Edition); May2019 Supplement S3, Vol. 93, p83-85, 3p

مصطلحات موضوعية: PALEOGEOGRAPHY, BIG data