- Software Testing and Debugging Techniques
- Software Engineering Research
- Model-Driven Software Engineering Techniques
- Advanced Malware Detection Techniques
- Software System Performance and Reliability
- Advanced Software Engineering Methodologies
- Software Reliability and Analysis Research
- Service-Oriented Architecture and Web Services
- Formal Methods in Verification
- Advanced Data Storage Technologies
- Chinese history and philosophy
- Advanced Computational Techniques and Applications
- Web Data Mining and Analysis
- Adversarial Robustness in Machine Learning
- Geological and Geochemical Analysis
- Collaboration in agile enterprises
- Security and Verification in Computing
- Topic Modeling
- Education and Work Dynamics
- Real-Time Systems Scheduling
- Geological and Geophysical Studies
- Business Process Modeling and Analysis
- Forgiveness and Related Behaviors
- Teaching and Learning Programming
- Political Economy and Marxism
Nanjing University
2016-2025
National University of Defense Technology
2025
Nanjing University of Science and Technology
2005-2024
Xi'an University of Science and Technology
2020
University of Utah
2019
Dalian Medical University
2018
Chongqing Medical University
2018
Second Affiliated Hospital of Chongqing Medical University
2018
Central China Normal University
2015-2018
Hebei University of Science and Technology
2018
Abstract: This paper gives a synthetic view on the Jurassic tectonics of North China, with an attempt to propose framework for stepwise tectonic evolution history. sedimentation, deformation and magmatism in China have been divided into three stages. The earliest is marked by period quiescence (in 205–190 Ma) regional uplift, which are considered be continuation “Indosinian movement” characterized continent‐continent collision between South blocks. Early Middle 190–170 was predominated weak...
Serverless computing has gained attention due to its fine-grained provisioning, large-scale multi-tenancy, and on-demand scaling. However, it also forces applications externalize state in remote storage, adding substantial overheads. To fix this "data shipping problem" we built Shredder, a low-latency multi-tenant cloud store that allows small units of computation be performed directly within storage nodes. Storage tenants provide Shredder with JavaScript functions (or WebAssembly programs),...
Graphical User Interface (GUI) testing is widely used to test mobile apps. As apps are frequently updated and need repeated testing, reduce the cost, their cases often coded as scripts enable automated execution using harnesses/tools. When those evolve, many of scripts, however, may become broken due changes made app GUIs. While it desirable that get repaired, doing manually can be preventively expensive if number tests repairing large. We propose in this paper a novel approach named <sc...
GUI testing is an essential part of regression for Android apps. For to remain effective, it important that obsolete test scripts get repaired after the app has evolved. In this paper, we propose a novel approach named GUIDER automated repair The key novelty lies in utilization both structural and visual information widgets on GUIs better understand what base version become updated version. A supporting tool been implemented approach. Experiments conducted popular messaging social media...
As the scale and complexity of Android applications continue to grow in response increasing market user demands, quality assurance challenges become more significant. While previous studies have demonstrated superiority Reinforcement Learning (RL) GUI testing, its effectiveness remains limited, particularly large, complex apps. This limitation arises from ineffectiveness Tabular RL learning knowledge within large state-action space App Under Test (AUT) suboptimal utilization acquired when...
Large-scale Android apps that provide complex functions are gradually becoming the mainstream in app markets. They tend to display many GUI widgets on a single page, which, unfortunately, can cause more redundant test actions—actions with similar functions—to automatic testing approaches. The effectiveness of existing approaches is still limited, suggesting necessity reducing effort actions. In this paper, we first identify three types structures actions and then propose novel approach,...
Graphical User Interface (GUI) testing is one of the primary approaches for mobile apps. Test scripts serve as main carrier GUI testing, yet they are prone to obsolescence when GUIs change with apps' evolution. Existing repair based on layouts or images prove effective changes between base and updated versions minor, however, may struggle substantial changes. In this paper, a novel approach named COSER introduced solution repairing broken scripts, which capable addressing larger compared...
Persona as a user archetype is widely used in interactive design process. created with qualitative methods such observation and interview. This approach has met some criticisms for its reliability. We propose to combine the quantitative methods. use cluster analysis group users into subgroups. select subgroups of that have similar goals. abstract information obtained from observations illustrate steps this through case study. Finally, we discuss few key points creation outline future...
Code summarization aims to generate short functional descriptions for source code facilitate comprehension. While Information Retrieval (IR) approaches that leverage similar snippets and corresponding summaries have led the early research, Deep Learning (DL) use neural models capture statistical properties between are now mainstream. Although some preliminary studies suggest IR more effective in cases, it is currently unclear how existing can be general, where why IR/DL perform better,...
PDF HTML阅读 XML下载 导出引用 引用提醒 基于MDA的设计模式建模与模型转换 DOI: 作者: 作者单位: 作者简介: 通讯作者: 中图分类号: 基金项目: Supported by the National Natural Science Foundation of China under Grant No.60425204 (国家自然科学基金); Basic Research Program No.2002CB312001 (国家重大基础研究发展计划(973)); High-Tech and Development Plan No.2007AA010302 (国家高技术研究发展计划(863)); Jiangsu Province No.BK2007714 (江苏省自然科学基金) MDA Based Design Patterns Modeling Model Transformation Author: Affiliation: Fund Project: 摘要 | 图/表 访问统计 参考文献 相似文献 引证文献 资源附件 文章评论 摘要:MDA(model...
PDF HTML阅读 XML下载 导出引用 引用提醒 基于MDE的异构模型转换:从MARTE模型到FIACRE模型 DOI: 作者: 作者单位: 作者简介: 通讯作者: 中图分类号: 基金项目: Supported by the National Natural Science Foundation of China under Grant No.60425204 (国家自然科学基金); Basic Research Program No.2002CB312001 (国家重点基础研究发展计划(973)); High-Tech and Development Plan No.2007AA010302 (国家高技术研究发展计划(863)); Jiangsu Province No.BK2007714 (江苏省自然科学基金) MDE-Based Mode Transformation: From MARTE Model to FIACRE Author: Affiliation: Fund Project: 摘要 | 图/表 访问统计 参考文献 相似文献 引证文献 资源附件 文章评论...
State Machine Diagram (SMD) is one of the SysML behavior diagrams, but it a kind semi-formal model language. As consequence, models can not be verified conveniently and efficiently, especially in real-time embedded system (RTES) field as there are no descriptions time probability SMD. To address these problems, we extend SMD with elements extracted from MARTE propose transformation algorithm based on MDE. With algorithm, transform extended to timed automata (TA) then analyze verify result...
Application program interface (API) mapping is the key to success of code migration. Leveraging API documentation map APIs has been explored by previous studies, and recently, code-based learning approaches have become mainstream approach shown better results. However, often require a large amount training data (e.g., projects implemented using multiple languages or datasets), which are not widely available. In contrast, usually available, but we observed that much information in...
Mode transformation is the key to model-based software engineering. When model applied industrial developments, its scalability becomes an important issue, since be transformed may have a large size. To test performance of transformations, this paper proposes randomized approach generating models as inputs. First, discusses basic requirements and constraints for input generation transformation. Then, presents our algorithm. It can generate having size randomly correctly within reasonable...
Code summarization refers to the procedure of creating short descriptions that outline semantics source code snippets. Existing approaches can be broadly classified into Information Retrieval (IR)-based and Deep Learning (DL)-based approaches. However, their effectiveness, especially strengths weaknesses, remain largely understudied. evaluations use different benchmarks metrics, making performance comparisons these susceptible bias potentially yielding misleading results. For example,...
Neural code intelligence models are cutting-edge automated understanding technologies that have achieved remarkable performance in various software engineering tasks. However, the lack of deep learning models' interpretability hinders application based real-world scenarios, particularly security-critical domains. Previous studies use program simplification to understand neural models, but they overlooked fact most significant difference between source and natural language is code's...
Graphical User Interface (GUI) testing has been the focus of mobile app testing. Manual test cases, containing valuable human knowledge about apps under test, are often coded as scripts to enable automated and repeated execution for cost reduction. Unfortunately, many may become broken due changes made during updates. Broken expected be updated reuse; however, maintenance can high if large numbers require manual repair. We propose an approach named METER repairing automatically when updated....