default search action
Xiaoguang Mao
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j42]Deheng Yang, Kui Liu, Yan Lei
, Li Li, Huan Xie, Chunyan Liu, Zhenyu Wang, Xiaoguang Mao, Tegawendé F. Bissyandé:
Demystifying API misuses in deep learning applications. Empir. Softw. Eng. 29(2): 45 (2024) - [j41]Zhuo Zhang, Ya Li, Jianxin Xue
Improving fault localization with pre-training. Frontiers Comput. Sci. 18(1): 181205 (2024) - [j40]Zhuo Zhang, Jianxin Xue
ContextAug: model-domain failing test augmentation with contextual information. Frontiers Comput. Sci. 18(2): 182202 (2024) - [j39]Zhuo Zhang, Ya Li, Lei Xia, Jianxin Xue
An effective fault localization approach for Verilog based on enhanced contexts. Frontiers Comput. Sci. 18(5): 185108 (2024) - [j38]Haoran Liu
Cut to the Chase: An Error-Oriented Approach to Detect Error-Handling Bugs. Proc. ACM Softw. Eng. 1(FSE): 1796-1818 (2024) - [j37]Jiang Wu
Knowledge-Augmented Mutation-Based Bug Localization for Hardware Design Code. ACM Trans. Archit. Code Optim. 21(3): 45:1-45:26 (2024) - [j36]Jiang Wu
Time-Aware Spectrum-Based Bug Localization for Hardware Design Code with Data Purification. ACM Trans. Archit. Code Optim. 21(3): 64:1-64:25 (2024) - [j35]Deheng Yang
Strider: Signal Value Transition-Guided Defect Repair for HDL Programming Assignments. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(5): 1594-1607 (2024) - [j34]Shangwen Wang
Fusing Code Searchers. IEEE Trans. Software Eng. 50(7): 1852-1866 (2024) - [c74]Shezheng Song, Shan Zhao, Chengyu Wang, Tianwei Yan, Shasha Li, Xiaoguang Mao, Meng Wang:
A Dual-Way Enhanced Framework from Text Matching Point of View for Multimodal Entity Linking. AAAI 2024: 19008-19016 - [c73]Kangchen Zhu, Zhiliang Tian, Jingyu Wei, Ruifeng Luo, Yiping Song, Xiaoguang Mao:
StyleFlow: Disentangle Latent Representations via Normalizing Flow for Unsupervised Text Style Transfer. LREC/COLING 2024: 15384-15397 - [c72]Mingyang Geng
Large Language Models are Few-Shot Summarizers: Multi-Intent Comment Generation via In-Context Learning. ICSE 2024: 39:1-39:13 - [c71]Rulin Xu
Accelerating Static Null Pointer Dereference Detection with Parallel Computing. Internetware 2024 - [c70]Bo Lin
One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair. ISSTA 2024: 1554-1566 - [c69]Shezheng Song, Shasha Li, Jie Yu, Shan Zhao, Xiaopeng Li, Jun Ma, Xiaodong Liu, Zhuo Li, Xiaoguang Mao:
DIM: Dynamic Integration of Multimodal Entity Linking with Large Language Model. PRCV (5) 2024: 187-200 - [i18]Yihao Qin, Shangwen Wang, Yiling Lou, Jinhao Dong, Kaixin Wang, Xiaoling Li, Xiaoguang Mao:
AgentFL: Scaling LLM-based Fault Localization to Project-Level Context. CoRR abs/2403.16362 (2024) - [i17]Shezheng Song, Shasha Li, Shan Zhao, Xiaopeng Li, Chengyu Wang, Jie Yu, Jun Ma, Tianwei Yan, Bin Ji, Xiaoguang Mao:
DWE+: Dual-Way Matching Enhanced Framework for Multimodal Entity Linking. CoRR abs/2404.04818 (2024) - [i16]Shezheng Song, Shasha Li, Shan Zhao, Chengyu Wang, Xiaopeng Li, Jie Yu, Qian Wan, Jun Ma, Tianwei Yan, Wentao Ma, Xiaoguang Mao:
PTA: Enhancing Multimodal Sentiment Analysis through Pipelined Prediction and Translation-based Alignment. CoRR abs/2406.00017 (2024) - [i15]Shezheng Song, Shasha Li, Jie Yu, Shan Zhao, Xiaopeng Li, Jun Ma, Xiaodong Liu, Zhuo Li, Xiaoguang Mao:
DIM: Dynamic Integration of Multimodal Entity Linking with Large Language Model. CoRR abs/2407.12019 (2024) - 2023
- [j33]Shangwen Wang
Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network. Proc. ACM Program. Lang. 7(OOPSLA2): 486-515 (2023) - [j32]Deheng Yang
Seeing the Whole Elephant: Systematically Understanding and Uncovering Evaluation Biases in Automated Program Repair. ACM Trans. Softw. Eng. Methodol. 32(3): 65:1-65:37 (2023) - [j31]Zhuo Zhang
Influential Global and Local Contexts Guided Trace Representation for Fault Localization. ACM Trans. Softw. Eng. Methodol. 32(3): 78:1-78:27 (2023) - [j30]Shangwen Wang
Pre-implementation Method Name Prediction for Object-oriented Programming. ACM Trans. Softw. Eng. Methodol. 32(6): 157:1-157:35 (2023) - [j29]Bo Lin
Predictive Comment Updating With Heuristics and AST-Path-Based Neural Learning: A Two-Phase Approach. IEEE Trans. Software Eng. 49(4): 1640-1660 (2023) - [j28]Zhuo Zhang
Context-Aware Neural Fault Localization. IEEE Trans. Software Eng. 49(7): 3939-3954 (2023) - [c68]Huan Xie, Maojin Li, Yan Lei, Jian Hu, Shanshan Li, Xiaoguang Mao, Yue Yu:
On the Reliability of Coverage Data for Fault Localization. APSEC 2023: 61-70 - [c67]Rulin Xu, Xiaoguang Mao, Luohui Chen:
P-DATA: A Task-Level Parallel Framework for Dependency-Aware Value Flow Taint Analysis. APSEC 2023: 249-258 - [c66]Jiang Wu
Mantra: Mutation Testing of Hardware Design Code Based on Real Bugs. DAC 2023: 1-6 - [c65]Jianjun Xu
Validating the Redundancy Assumption for HDL from Code Clone's Perspective. ISPD 2023: 247-255 - [c64]Jifeng Xuan, Qi Xin, Liqian Chen, Xiaoguang Mao:
Potential Solutions to Challenges in C Program Repair: A Practical Perspective. ASE 2023: 1963-1968 - [c63]Shangwen Wang
Natural Language to Code: How Far Are We? ESEC/SIGSOFT FSE 2023: 375-387 - [c62]Bo Lin
CCT5: A Code-Change-Oriented Pre-trained Model. ESEC/SIGSOFT FSE 2023: 1509-1521 - [i14]Mingyang Geng, Shangwen Wang, Dezun Dong, Haotian Wang, Ge Li, Zhi Jin, Xiaoguang Mao, Xiangke Liao:
An Empirical Study on Using Large Language Models for Multi-Intent Comment Generation. CoRR abs/2304.11384 (2023) - [i13]Bo Lin, Shangwen Wang, Zhongxin Liu, Yepang Liu, Xin Xia, Xiaoguang Mao:
CCT5: A Code-Change-Oriented Pre-Trained Model. CoRR abs/2305.10785 (2023) - [i12]Shezheng Song, Shan Zhao, Chengyu Wang, Tianwei Yan, Shasha Li, Xiaoguang Mao, Meng Wang:
A Dual-way Enhanced Framework from Text Matching Point of View for Multimodal Entity Linking. CoRR abs/2312.11816 (2023) - [i11]Kang Yang, Xinjun Mao, Shangwen Wang, Tanghaoran Zhang, Bo Lin, Yanlin Wang, Yihao Qin, Zhang Zhang, Xiaoguang Mao:
Enhancing Code Intelligence Tasks with ChatGPT. CoRR abs/2312.15202 (2023) - 2022
- [j27]Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi
Automated regression unit test generation for program merges. Sci. China Inf. Sci. 65(9): 1-2 (2022) - [j26]Bo Lin
Context-Aware Code Change Embedding for Better Patch Correctness Assessment. ACM Trans. Softw. Eng. Methodol. 31(3): 51:1-51:29 (2022) - [c61]Jiang Wu
Fault Localization for Hardware Design Code with Time-Aware Program Spectrum. ICCD 2022: 537-544 - [c60]Huan Xie
A Universal Data Augmentation Approach for Fault Localization. ICSE 2022: 48-60 - [c59]Zhuo Zhang, Yan Lei, Xiaoguang Mao, Meng Yan
Improving Fault Localization Using Model-domain Synthesized Failing Test Generation. ICSME 2022: 199-210 - [c58]Yihao Qin, Shangwen Wang, Kui Liu, Bo Lin, Hongjun Wu, Li Li, Xiaoguang Mao, Tegawendé F. Bissyandé:
Peeler: Learning to Effectively Predict Flakiness without Running Tests. ICSME 2022: 257-268 - [c57]Zhuo Zhang, Yan Lei
Reentrancy Vulnerability Detection and Localization: A Deep Learning Based Two-phase Approach. ASE 2022: 83:1-83:13 - [c56]Deheng Yang
TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair. ASE 2022: 107:1-107:13 - [i10]Kangchen Zhu, Zhiliang Tian, Ruifeng Luo, Xiaoguang Mao:
StyleFlow: Disentangle Latent Representations via Normalizing Flow for Unsupervised Text Style Transfer. CoRR abs/2212.09670 (2022) - 2021
- [j25]Haoran Liu, Yue Yu
How to cherry pick the bug report for better summarization? Empir. Softw. Eng. 26(6): 119 (2021) - [j24]Deheng Yang, Kui Liu
Where were the repair ingredients for Defects4j bugs? Empir. Softw. Eng. 26(6): 122 (2021) - [j23]Deheng Yang, Yuhua Qi, Xiaoguang Mao, Yan Lei:
Evaluating the usage of fault localization in automated program repair: an empirical study. Frontiers Comput. Sci. 15(1): 151202 (2021) - [j22]Zhuo Zhang, Yan Lei, Xiaoguang Mao, Meng Yan
A study of effectiveness of deep learning in locating real faults. Inf. Softw. Technol. 131: 106486 (2021) - [j21]Zhuo Zhang, Yan Lei
Improving deep-learning-based fault localization with resampling. J. Softw. Evol. Process. 33(3) (2021) - [c55]Tun Li, Wanwei Liu, Liqian Chen, Xiaoguang Mao:
On Enhancing Application-Ability Training in Discrete Mathematics. FIE 2021: 1-5 - [c54]Hongjun Wu, Zhuo Zhang, Shangwen Wang
Peculiar: Smart Contract Vulnerability Detection Based on Crucial Data Flow Graph and Pre-training Techniques. ISSRE 2021: 378-389 - [c53]Bo Lin, Shangwen Wang
Automated Comment Update: How Far are We? ICPC 2021: 36-46 - [c52]Shangwen Wang
Lightweight global and local contexts guided method name recommendation with prior knowledge. ESEC/SIGSOFT FSE 2021: 741-753 - [c51]Deheng Yang, Yan Lei, Xiaoguang Mao, David Lo
Is the Ground Truth Really Accurate? Dataset Purification for Automated Program Repair. SANER 2021: 96-107 - [c50]Yihao Qin, Shangwen Wang
On the Impact of Flaky Tests in Automated Program Repair. SANER 2021: 295-306 - [i9]Shangwen Wang, Kui Liu, Bo Lin, Li Li, Jacques Klein, Xiaoguang Mao, Tegawendé F. Bissyandé:
Beep: Fine-grained Fix Localization by Learning to Predict Buggy Code Elements. CoRR abs/2111.07739 (2021) - 2020
- [c49]Bo Lin, Shangwen Wang
Understanding the Non-Repairability Factors of Automated Program Repair Techniques. APSEC 2020: 71-80 - [c48]Kui Liu
On the efficiency of test suite based program repair: A Systematic Assessment of 16 Automated Repair Systems for Java Programs. ICSE 2020: 615-627 - [c47]Tao Ji, Liqian Chen, Xin Yi
Understanding Merge Conflicts and Resolutions in Git Rebases. ISSRE 2020: 70-80 - [c46]Haoran Liu, Yue Yu, Shanshan Li, Yong Guo, Deze Wang, Xiaoguang Mao:
BugSum: Deep Context Understanding for Bug Report Summarization. ICPC 2020: 94-105 - [c45]Shangwen Wang
Automated Patch Correctness Assessment: How Far are We? ASE 2020: 968-980 - [i8]Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang:
Automated Regression Unit Test Generation for Program Merges. CoRR abs/2003.00154 (2020) - [i7]Kui Liu, Shangwen Wang, Anil Koyuncu, Kisub Kim, Tegawendé F. Bissyandé, Dongsun Kim, Peng Wu, Jacques Klein, Xiaoguang Mao, Yves Le Traon:
On the Efficiency of Test Suite based Program Repair: A Systematic Assessment of 16 Automated Repair Systems for Java Programs. CoRR abs/2008.00914 (2020) - [i6]Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang:
Evolutionary Conflict Checking. CoRR abs/2009.10340 (2020)
2010 – 2019
- 2019
- [j20]Shangwen Wang
Dissection on Java Organs in GitHub Repositories. IEEE Access 7: 62561-62576 (2019) - [j19]Zhuo Zhang, Yan Lei, Jianjun Xu, Xiaoguang Mao, Xi Chang
TFIDF-FL: Localizing Faults Using Term Frequency-Inverse Document Frequency and Deep Learning. IEICE Trans. Inf. Syst. 102-D(9): 1860-1864 (2019) - [j18]Xin Yi
Efficient automated repair of high floating-point errors in numerical libraries. Proc. ACM Program. Lang. 3(POPL): 56:1-56:29 (2019) - [c44]Shangwen Wang
Attention Please: Consider Mockito when Evaluating Newly Proposed Automated Program Repair Techniques. EASE 2019: 260-266 - [c43]Shangwen Wang
How Different Is It Between Machine-Generated and Developer-Provided Patches? : An Empirical Study on the Correct Patches Generated by Automated Program Repair Techniques. ESEM 2019: 1-12 - [c42]Shangwen Wang
Multi-Location Program Repair Strategies Learned from Successful Experience (S). SEKE 2019: 713-777 - [c41]Zhuo Zhang, Yan Lei, Xiaoguang Mao, Panpan Li:
CNN-FL: An Effective Approach for Localizing Faults using Convolutional Neural Networks. SANER 2019: 445-455 - [i5]Shangwen Wang, Ming Wen, Liqian Chen, Xin Yi, Xiaoguang Mao:
How Different Is It Between Machine-Generated and Developer-Provided Patches? An Empirical Study on The Correct Patches Generated by Automated Program Repair Techniques. CoRR abs/1906.03447 (2019) - 2018
- [j17]Shangwen Wang
An Initial Step Towards Organ Transplantation Based on GitHub Repository. IEEE Access 6: 59268-59281 (2018) - [j16]Yan Lei, Chengnian Sun, Xiaoguang Mao, Zhendong Su
How test suites impact fault localisation starting from the size. IET Softw. 12(3): 190-205 (2018) - [c40]Tao Ji, Jinkun Pan, Liqian Chen, Xiaoguang Mao:
Identifying Supplementary Bug-fix Commits. COMPSAC (1) 2018: 184-193 - [c39]Anbang Guo, Xiaoguang Mao, Deheng Yang, Shangwen Wang
An Empirical Study on the Effect of Dynamic Slicing on Automated Program Repair Efficiency. ICSME 2018: 554-558 - [c38]Shangwen Wang
A Hybrid Approach for Tag Hierarchy Construction. ICSR 2018: 59-75 - [c37]Deheng Yang, Yuhua Qi, Xiaoguang Mao:
Evaluating the Strategies of Statement Selection in Automated Program Repair. SATE 2018: 33-48 - [i4]Shangwen Wang, Xiaoguang Mao, Yue Yu:
An Initial Step Towards Organ Transplantation Based on GitHub Repository. CoRR abs/1810.04825 (2018) - [i3]Shangwen Wang, Xiaoguang Mao, Nan Niu, Xin Yi, Anbang Guo:
Multi-Location Program Repair: Roads Ahead. CoRR abs/1810.12556 (2018) - [i2]Shangwen Wang, Ming Wen, Deheng Yang, Xiaoguang Mao:
Attention Please: Consider Mockito when Evaluating Newly Released Automated Program Repair Techniques. CoRR abs/1812.05370 (2018) - 2017
- [j15]Zhuo Zhang, Yan Lei, Qingping Tan, Xiaoguang Mao, Ping Zeng, Xi Chang
Deep Learning-Based Fault Localization with Contextual Information. IEICE Trans. Inf. Syst. 100-D(12): 3027-3031 (2017) - [j14]Binbin Liu, Wanwei Liu, Xiaoguang Mao, Wei Dong:
无人驾驶汽车决策系统的规则正确性验证 (Correctness Verification of Rules for Unmanned Vehicles' Decision System). 计算机科学 44(4): 72-74 (2017) - [c36]Xin Yi
Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies. APSEC 2017: 11-20 - [c35]Yan Lei, Xiaoguang Mao, Min Zhang, Jingan Ren, Yinhua Jiang:
Toward Understanding Information Models of Fault Localization: Elaborate is Not Always Better. COMPSAC (1) 2017: 57-66 - [c34]Jinkun Pan, Xiaoguang Mao:
Detecting DOM-Sourced Cross-Site Scripting in Browser Extensions. ICSME 2017: 24-34 - [c33]Deheng Yang, Yuhua Qi, Xiaoguang Mao:
An Empirical Study on the Usage of Fault Localization in Automated Program Repair. ICSME 2017: 504-508 - [c32]Xin Yi
Automated Repair of High Inaccuracies in Numerical Programs. ICSME 2017: 514-518 - 2016
- [c31]Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi:
Automated Program Repair by Using Similar Code Containing Fix Ingredients. COMPSAC 2016: 197-202 - [c30]Weishi Li, Xiaoguang Mao, Jianjun Qiao:
Using Test Cases Grouping and Iteration Repair to Fix Multi-points Bug. ICMIP 2016: 89-94 - [c29]Ang Li, Yan Lei, Xiaoguang Mao:
Towards More Accurate Fault Localization: An Approach Based on Feature Selection Using Branching Execution Probability. QRS 2016: 431-438 - [c28]Jinkun Pan, Xiaoguang Mao:
DomXssMicro: A Micro Benchmark for Evaluating DOM-Based Cross-Site Scripting Detection. Trustcom/BigDataSE/ISPA 2016: 208-215 - 2015
- [j13]Ang Li, Xiaoguang Mao, Yan Lei, Tao Ji:
Fault Localization Using Failure-Related Contexts for Automatic Program Repair. IEICE Trans. Inf. Syst. 98-D(4): 955-959 (2015) - [j12]Chengsong Wang, Xiaoguang Mao, Yan Lei, Peng Zhang:
Optimization Methods for Nop-Shadows Typestate Analysis. IEICE Trans. Inf. Syst. 98-D(6): 1213-1227 (2015) - [j11]Ang Li, Xiaoguang Mao, Yan Lei:
面向自动修复并融合失效场景的缺陷定位方法 (Fault Localization Using Failure-related Contexts for Automatic Program Repair). 计算机科学 42(12): 102-104 (2015) - [c27]Zizhan Luo, Xiaoguang Mao, Ang Li:
An Exploratory Research of GitHub Based on Graph Model. FCST 2015: 96-103 - [c26]Qiang Wang, Yan Lei, Simon Bliudze, Xiaoguang Mao:
Automatic Fault Localization for BIP. SETTA 2015: 277-283 - 2014
- [j10]Zhuo Zhang, Xiaoguang Mao, Yan Lei, Peng Zhang:
Enriching Contextual Information for Fault Localization. IEICE Trans. Inf. Syst. 97-D(6): 1652-1655 (2014) - [j9]Xiaoguang Mao, Xianping Tao:
Editorial: Internetware of the Age. Int. J. Softw. Informatics 8(1): 19-20 (2014) - [j8]Wanwei Liu
Counterexample-Preserving Reduction for Symbolic Model Checking. J. Appl. Math. 2014: 702165:1-702165:13 (2014) - [j7]Xiaoguang Mao, Yan Lei, Ziying Dai, Yuhua Qi, Chengsong Wang:
Slice-based statistical fault localization. J. Syst. Softw. 89: 51-62 (2014) - [j6]Ziying Dai, Xiaoguang Mao, Liqian Chen, Yan Lei:
Automatic recovery from resource exhaustion exceptions by collecting leaked resources. J. Zhejiang Univ. Sci. C 15(8): 622-635 (2014) - [c25]Jinkun Pan, Xiaoguang Mao:
An Empirical Study on Interaction Factors Influencing Bug Reopenings. APSEC (2) 2014: 39-42 - [c24]Yuhua Qi
The strength of random search on automated program repair. ICSE 2014: 254-265 - [c23]Weishi Li, Xiaoguang Mao:
Alleviating the Impact of Coincidental Correctness on the Effectiveness of SFL by Clustering Test Cases. TASE 2014: 66-69 - [c22]Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang
Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. TASE 2014: 82-89 - 2013
- [j5]Ziying Dai, Xiaoguang Mao:
Light-weight resource leak testing based on finalisers. IET Softw. 7(6): 308-316 (2013) - [j4]Ziying Dai, Xiaoguang Mao, Yan Lei, Xiaomin Wan, Kerong Ben:
Resco: Automatic Collection of Leaked Resources. IEICE Trans. Inf. Syst. 96-D(1): 28-39 (2013) - [j3]Rui Wang
Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives. J. Appl. Math. 2013: 462532:1-462532:12 (2013) - [c21]Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, Yudong Qi, Chengsong Wang:
Empirical Effectiveness Evaluation of Spectra-Based Fault Localization on Automated Program Repair. COMPSAC 2013: 828-829 - [c20]Yuhua Qi
Efficient Automated Program Repair through Fault-Recorded Testing Prioritization. ICSM 2013: 180-189 - [c19]Wanwei Liu, Rui Wang
Counterexample-Preserving Reduction for Symbolic Model Checking. ICTAC 2013: 249-266 - [c18]Ziying Dai, Xiaoguang Mao, Liqian Chen, Yan Lei, Yi Zhang:
Finding related events for specification mining. ISSRE (Supplemental Proceedings) 2013: 1-2 - [c17]Yuhua Qi, Xiaoguang Mao, Yan Lei, Chengsong Wang:
Using automated program repair for evaluating the effectiveness of fault localization techniques. ISSTA 2013: 191-201 - [c16]Tun Li, Wanwei Liu, Xiaoguang Mao, Huiping Zhou:
Introduction to programming: science or art? ITiCSE 2013: 324 - [c15]Yan Lei, Xiaoguang Mao, Tsong Yueh Chen
Backward-Slice-Based Statistical Fault Localization without Test Oracles. QSIC 2013: 212-221 - [c14]Chengsong Wang, Zhenbang Chen, Xiaoguang Mao:
Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations. RV 2013: 269-284 - [c13]Ziying Dai, Xiaoguang Mao, Yan Lei, Liqian Chen:
Leveraging specifications of subcomponents to mine precise specifications of composite components. WCRE 2013: 162-171 - [e1]Hong Mei, Jian Lv, Xiaoguang Mao:
Proceedings of the 5th Asia-Pacific Symposium on Internetware, Internetware 2013, Changsha, China, October 23-24, 2013. ACM 2013, ISBN 978-1-4503-2369-7 [contents] - [i1]Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao:
Counterexample-Preserving Reduction for Symbolic Model Checking. CoRR abs/1301.3299 (2013) - 2012
- [j2]Yuhua Qi, Xiaoguang Mao
More efficient automatic repair of large-scale programs using weak recompilation. Sci. China Inf. Sci. 55(12): 2785-2799 (2012) - [j1]Yan Lei, Xiaoguang Mao, Ziying Dai, Dengping Wei:
Effective Fault Localization Approach Using Feedback. IEICE Trans. Inf. Syst. 95-D(9): 2247-2257 (2012) - [c12]Ziying Dai, Xiaoguang Mao
Light-Weight Test Oracles for Resource Leaks Based on Finalizers. APSEC Workshops 2012: 73-79 - [c11]Yan Lei, Xiaoguang Mao
Effective Statistical Fault Localization Using Program Slices. COMPSAC 2012: 1-10 - [c10]Yuhua Qi, Xiaoguang Mao
Making automatic repair for large-scale programs more efficient using weak recompilation. ICSM 2012: 254-263 - [c9]Xiaomin Wan, Xiaoguang Mao
Mining and checking web services behavior. INDIN 2012: 1004-1009 - [c8]Jie Chen, Xiaoguang Mao
Bodhi: Detecting Buffer Overflows with a Game. SERE (Companion) 2012: 168-173 - 2011
- [c7]Yan Lei, Xiaoguang Mao
Iterative Feedback-Based Fault Localization Approach. EUROMICRO-SEAA 2011: 349-356 - [c6]Xiaoguang Mao
The 2nd International Workshop on Software Trustworthiness (SoTrust2011). ICSR 2011: 240-241 - 2010
- [c5]Gang Lu, Huaimin Wang, Xiaoguang Mao
Using ELECTRE TRI Outranking Method to Evaluate Trustworthy Software. ATC 2010: 219-227 - [c4]Ziying Dai, Xiaoguang Mao, Dianlin Wang, Donghong Liu, Jie Zhang:
Checking Compliance to Coding Standards for x86 Executables. UIC/ATC Workshops 2010: 449-455
2000 – 2009
- 2009
- [c3]Tengfei He, Xiaoguang Mao
Research on Parallelization of Aspect-Oriented Program. DASC 2009: 478-482 - 2004
- [c2]Xiaoguang Mao, John May:
Reliability specification for component-based software. IASTED Conf. on Software Engineering and Applications 2004: 275-281 - 2003
- [c1]Xiaoguang Mao
A General Model for Component-Based Software Reliability. EUROMICRO 2003: 395-398
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: