- Software System Performance and Reliability
- Advanced Software Engineering Methodologies
- Distributed systems and fault tolerance
- Software Testing and Debugging Techniques
- Service-Oriented Architecture and Web Services
- Context-Aware Activity Recognition Systems
- IoT and Edge/Fog Computing
- Cloud Computing and Resource Management
- Advanced Malware Detection Techniques
- Software Engineering Research
- Adversarial Robustness in Machine Learning
- Clinical Nutrition and Gastroenterology
- Neurobiology and Insect Physiology Research
- Anomaly Detection Techniques and Applications
- Software Reliability and Analysis Research
- Green IT and Sustainability
- Advanced Sensor and Control Systems
- Advanced Computational Techniques and Applications
- Mobile Agent-Based Network Management
- Machine Learning and Data Classification
- Glycosylation and Glycoproteins Research
- Access Control and Trust
- Reproductive Biology and Fertility
- Diet and metabolism studies
- Adipose Tissue and Metabolism
Southern Medical University
2022-2025
Nanjing University
2014-2024
Chengdu Medical College
2024
Northwest Normal University
2024
Nanjing General Hospital of Nanjing Military Command
2008-2023
Soochow University
2019-2023
Second Affiliated Hospital of Soochow University
2019-2023
Nanjing Medical University
2017-2023
Northeast Normal University
2022
Anhui Medical University
2022
This paper introduces a new, fully automated modelbased approach for effective testing of Android apps. Different from existing model-based approaches that guide with static GUI model (i.e., the does not evolve its abstraction during testing, and is thus often imprecise), our dynamically optimizes by leveraging runtime information testing. capability evolution significantly improves precision, dramatically enhances effectiveness compared to approaches, which evaluation confirms.We have...
There is a dramatically increasing interest in the quality assurance for DNN-based systems software engineering community. An emerging hot topic this direction structural coverage criteria testing neural networks, which are inspired by metrics used conventional testing. In short paper, we argue that these could be misleading because of fundamental differences between networks and human written programs. Our preliminary exploration shows (1) adversarial examples pervasively distributed finely...
With the increasing adoption of Deep Neural Network (DNN) models as integral parts software systems, efficient operational testing DNNs is much in demand to ensure these models' actual performance field conditions. A challenge that often needs produce precise results with a very limited budget for labeling data collected field. Viewing practice reliability estimation through statistical sampling, we re-interpret idea behind conventional structural coverages conditioning variance reduction....
Blood-testis barrier (BTB) damage promotes spermatogenesis dysfunction, which is a critical cause of male infertility. Dyslipidemia has been correlated with infertility, but the major hazardous lipid and underlying mechanism remains unclear. In this study, we firstly discovered an elevation palmitic acid (PA) decrease inhibin B in patients severe dyszoospermia, leaded us to explore effects PA on Sertoli cells. We observed BTB by PA. penetration endoplasmic reticulum (ER) its ER structures...
Activities are the fundamental components of Android applications (apps). However, existing approaches to automated testing for apps cannot effectively manage transitions between activities, e.g., too rarely or often. Besides, some techniques need repeatedly restart from scratch and revisit every intermediate activity reach a specific one, which leads unnecessarily long wasted time. To address these problems, we propose AimDroid, practical model-based approach that aims exploration...
Android apps demand high-quality test inputs, whose generation remains an open challenge. Existing techniques fall short on exploring complex app functionalities reachable only by a long, meaningful, and effective input. Observing that such inputs can usually be decomposed into relatively independent use cases, this paper presents ComboDroid, fundamentally different testing framework. ComboDroid obtains cases for manifesting specific functionality (either manually provided or automatically...
Polycystic ovary syndrome (PCOS) is a common reproductive endocrine disorder that frequently exhibits low-grade inflammation, pro-oxidant activity, and gut dysbiosis. PCOS has become one of the leading causes female infertility worldwide. Recently, omega-3 polyunsaturated fatty acids (PUFAs) have been proven to benefit metabolic disorders in patients. However, its roles regulation endocrinal balances pathophysiology are not clear. In present study, we aimed explore how PUFAs alleviate...
Abstract Of the seven genes encoding insulin‐like peptides (ILPs) in mosquito, Anopheles gambiae , four are arrayed proximally as duplicate pairs on chromosome three. Amino acid substitutions encoded occur C peptide and not B A peptides. Except for one duplicated gene, sequence‐specific transcripts all other AgamILPs were obtained from female mosquitoes. Transcript expression of each AgamILP was determined by RT‐PCR head, thorax, abdomen life stages both sexes this mosquito. Two ubiquitously...
Abstract Elastic scaling in response to changes on demand is a main benefit of serverless computing. When bursty workloads arrive, platform launches many new containers and initializes function environments (known as cold starts), which incurs significant startup latency. To reduce starts, platforms usually pause container after it serves request, reuse this for subsequent requests. However, strategy cannot efficiently starts because the schedulers are agnostic lifecycle. For example, may...
Oocyte aging is closely related to a decline in female fertility, accompanied by increased reactive oxygen species levels and changes protein posttranslational modifications. However, the role of palmitoylation oocyte has not been investigated. In present study, new association between redox oocytes was found. We found that level palmitoyl-protein thioesterase 1 (PPT1), depalmitoylation enzyme, maternally aged mice follicular fluid (age >35 years) patients with decreased ovarian reserve...
Self-adaptive applications address environmental dynamics systematically. They can be faulty and exhibit runtime errors when are not considered adequately. It becomes more severe uncertainty exists in their sensing adaptation to environments. Existing work verifies self-adaptive applications, but does explicitly consider constraints or uncertainty. This gives rise inaccurate verification results. In this paper, we problem by proposing a novel approach verifying suffering interactions. builds...
Nowadays statistical machine learning is widely adopted in various domains such as data mining, image recognition and automated driving. However, software quality assurance for still its infancy. While recent efforts have been put into improving the of training trained models, this paper focuses on code-level bugs implementations algorithms. In explorative study we simulated program by mutating Weka several classification We observed that 8%-40% logically non-equivalent executable mutants...
Ovary ecdysteroidogenic hormone I (OEH I) is a gonadotropin in the female mosquito, Aedes aegypti. Whole-mount immunocytochemistry using OEH antisera revealed an extensive distribution of immunostained cells larvae and adults this mosquito comparable to that observed African malaria Anopheles gambiae. Medial neurosecretory were stained brains adult Ae. In An gambiae lateral more often. both species, axons from these extended out brain through neurohemal organ associated with aorta branched...
Practical software systems are subject to frequent updates for fixing their bugs or addressing new requirements. Updating a system without stopping and restarting it is desired, as this helps reduce the redeployment cost well achieving high availability. Existing techniques dynamically updating Java programs may introduce noticeable pauses during which these unable function. We in paper present Javelus, dynamic update with greatly reduced pausing time but sacrificing flexibility efficiency....
The role of interleukin-6 (IL-6) in the prediction intra-abdominal septic complications (IASCs) patients with Crohn's disease (CD) remains unclear. We assessed serum IL-6 time course and its association postoperative IASCs undergoing elective intestinal operations for CD. In total, 118 who underwent CD were prospectively evaluated. They divided into an IASC group non-IASC group. Multivariate analyses used to identify risk factors, receiver operating characteristic curve analysis was...
Abstract Background The management of male infertility continues to encounter an array challenges and constraints, necessitating in-depth exploration novel therapeutic targets enhance its efficacy. As eight-carbon medium-chain fatty acid, octanoic acid (OCA) shows promise for improving health, yet impact on spermatogenesis remains inadequately researched. Methods Mass spectrometry was performed determine the content screen a pivotal lipid component in serum patients with severe disorders....
A pair of sensing shoes for measuring foot pressure was developed. This system aims at recognizing human movement in unlimited environments. The multipressure sensor network seven sensors on one insole set up. Analysis discriminating the user's movements from distribution carried out, considering standing, walking, going upstairs, and downstairs. These actions were discriminated using characteristics extracted data sensors. classifier based SVM showed highly accurate recognition....