A5060673251- Nerve Injury and Rehabilitation
- Peripheral Nerve Disorders
- Software Testing and Debugging Techniques
- Advanced Malware Detection Techniques
- Software System Performance and Reliability
- Orthopedic Surgery and Rehabilitation
- Software Engineering Research
- Software Reliability and Analysis Research
- Spine and Intervertebral Disc Pathology
- Nerve injury and regeneration
- Spinal Cord Injury Research
- Advanced Software Engineering Methodologies
- Spinal Fractures and Fixation Techniques
- Neurofibromatosis and Schwannoma Cases
- Reconstructive Surgery and Microvascular Techniques
- Formal Methods in Verification
- Scoliosis diagnosis and treatment
- Musculoskeletal pain and rehabilitation
- Orthopaedic implants and arthroplasty
- Generative Adversarial Networks and Image Synthesis
- Cervical and Thoracic Myelopathy
- Recommender Systems and Techniques
- Vascular Malformations and Hemangiomas
- Digital and Cyber Forensics
- Total Knee Arthroplasty Outcomes
Huashan Hospital
2010-2024
Fudan University
2012-2024
Shandong Provincial QianFoShan Hospital
2024
Shandong First Medical University
2024
SUNY Downstate Health Sciences University
2023
Qingdao Women and Children's Hospital
2016-2022
Shanghai Institute of Hematology
2012-2022
Qingdao University
2016-2022
Peking University
2022
Peking University Third Hospital
2022
Android testing tools generate sequences of input events to exercise the state space app-under-test. Existing search-based techniques systematically evolve a population event so as achieve certain objectives such maximal code coverage. The hope is that mutation fit leads generation even fitter sequences. However, evolution may be ineffective. Our key insight pertinent app states which contributed original sequence's fitness not reached by mutated sequence. path through truncated at point mutation.
Android apps are omnipresent, and frequently suffer from crashes --- leading to poor user experience economic loss. Past work focused on automated test generation detect in apps. However, repair of has not been studied. In this paper, we propose the first approach automatically apps, specifically a technique for fixing Unlike most test-based approaches, do need test-suite; instead single failing is meticulously analyzed crash locations reasons behind these crashes. Our hinges careful...
Software model checking as well runtime verification are techniques which widely used for temporal properties of software systems. Even though they property techniques, their common usage in practice is "bug finding", that is, finding violations properties. Motivated by this observation and leveraging the recent progress fuzzing, we build a greybox fuzzing framework to find Linear-time Temporal Logic (LTL)
Android, the most popular mobile system, offers a number of user-configurable system settings (e.g., network, location, and permission) for controlling devices apps. Even popular, well-tested apps may fail to properly adapt their behaviors diverse setting changes, thus frustrating users. However, there exists no effort systematically investigate such defects. To this end, we conduct first empirical study understand characteristics these setting-related defects (in short as "setting...
Symbolic execution of Android applications is challenging as it involves either building a customized VM for or modeling the libraries. Since Runtime evolves from one version to another, high-fidelity symbolic engine effect libraries and their evolved versions. Without simulating behavior libraries, path divergence may occur due constraint loss when values flow into framework these later affect subsequent taken. Previous works such JPF-Android have relied on environment In this work, we...
In C7-T1 brachial plexus palsies, finger extension and flexion are absent. At the authors' institution, has been successfully reconstructed by transferring brachialis motor branch to anterior interosseous nerve. However, there is no reliable method for restoring extension. present study, authors examined surgical results of supinator posterior nerve.Since October 2007, have performed a transfer nerve in 4 patients. The patients underwent follow-up every 3-4 months postoperatively.Finger...
Software misconfigurations are responsible for a substantial part of today's system failures, causing about one-quarter all customer-reported issues. Identifying their root causes can be costly in terms time and human resources. We present an approach to automatically pinpoint such defects without error reproduction. It uses static analysis infer the correlation degree between each configuration option program sites affected by exception. The only run-time information required our is stack...
Validation of Android apps via testing is difficult owing to the presence flaky tests. Due non-deterministic execution environments, a sequence events (a test) may lead success or failure in unpredictable ways. In this work, we present an approach and tool FlakeScanner for detecting tests through exploration event orders. Our key observation that test mobile app, there framework thread which creates events, main User-Interface (UI) processing these be several other background threads running...
Automatic vulnerability diagnosis can help security analysts identify and, therefore, quickly patch disclosed vulnerabilities. The localization problem is to automatically find a program point at which the "root cause" of bug be fixed. This paper employs statistical approach analyze given exploit. Our main technical contribution novel procedure systematically construct test-suite enables high-fidelity localization. We build our techniques in tool called VulnLoc pinpoints locations, just one...
Configuration options are widely used for customizing the behavior and initial settings of software applications, server processes, operating systems. Their distinctive property is that each option processed, defined, described in different parts a project - namely code, configuration file, documentation. This creates challenge maintaining consistency as it evolves. It also promotes inconsistencies leading to misconfiguration issues production scenarios. We propose an approach detection...
Android apps are event-driven, and their execution is often interrupted by external events. This interruption can cause data loss issues that annoy users. For instance, when the screen rotated, current app page will be destroyed recreated. If state improperly preserved, user lost. In this work, we present an approach tool iFixDataloss automatically detects fixes in apps. To achieve this, identify scenarios which may occur, develop strategies to reveal issues, design patch templates fix them....
The purpose of this investigation was to study the surgical results phrenic nerve transfer anterior division upper trunk brachial plexus.Between 2002 and 2005, 40 patients received a plexus restore elbow flexion. These cases were followed postoperatively for > 2 years, efficacy surgery related factors evaluated.The overall effective rate procedure 82.5% (Medical Research Council Grade >or= 3). show that with delay 1 year or prolongation latency preoperative evoked potential 20%, recovery...
Software configuration settings are an effective way to customize applications. However, inconsistencies or mistakes in option values can result a system crash and need huge time effort diagnose. We present technique identify the root causes of errors. It uses static program analysis link misconfiguration application specific option. Our has two prominent characteristics compared existing approaches: it relies only on analysis, does not profiles with correct configuration. Based proposed...
Background C7 - T1 palsy results in complete loss of finger motion and poses a surgical challenge. This study investigated the anatomy radial nerve elbow forearm feasibility intraplexus transfer to restore thumb extension. Methods The nerves were dissected 28 formalin-fixed upper extremities. Branching pattern, length, diameter, number myelinated fibers recorded. Results Commonly, branching pattern (from proximal distal) was brachioradialis, extensor carpi radialis longus, superficial...
Brachial plexus palsies of C7-T1 result in the complete loss hand function, including finger and thumb flexion extension as well intrinsic muscle function. The task reanimating such a remains challenging, so far there has been no reliable neurological reconstructive method for restoring authors aimed to establish strategy reanimate paralyzed hand. Two patients had sustained lesions. In first stage operative procedure, supinator motor branch posterior interosseous nerve transfer was performed...
<b>Background</b> In cases of C7–T1 brachial plexus palsy, a reliable method for the reconstruction finger and thumb extension was not established until transfer supinator motor branch to posterior interosseous nerve proposed. The long-term outcome this new technique requires evaluation due limited number shorter follow-up period previous study. <b>Objective</b> This study aims evaluate effect determine recovery time course technique. <b>Methods</b> A retrospective review conducted in 10...
Humans watch more than a billion hours of video per day. Most this was edited manually, which is tedious process. However, AI-enabled video-generation and video-editing on the rise. Building text-to-image models like Stable Diffusion Imagen, generative AI has improved dramatically tasks. But it's hard to evaluate progress in these tasks because there no standard benchmark. So, we propose new dataset for text-guided editing (TGVE), run competition at CVPR our TGVE dataset. In paper present...
At present, much is unknown about the etiology and pathogenesis of ULDH. However, it interesting to note that many ULDH patients have a radiographic feature adjacent vertebral wedge deformation. The purpose this study investigate relationship between symptomatic upper lumbar disc herniation (ULDH) wedge-shaped vertebrae (WSV).This was retrospective 65 with single-level ULDH, who had undergone surgery at our medical center January 2012 December 2016. Clinical data including clinical...
In injuries of the lower brachial plexus, finger flexion can be restored by nerve or tendon transfer. However, there is no technique that guarantee good recovery and thumb extension.To determine spinal origins muscular branches radial identify potential intraplexus donor nerves for neurotization posterior interosseous in patients with plexus injuries.An intraoperative electrophysiological study was carried out during 16 contralateral C7 transfers. The compound muscle action each innervated...
C7-T1 brachial plexus palsies result in a loss of finger motion and hand function. The authors have observed that flexion can be recovered after brachialis motor branch transfer. However, strength this procedure merely corresponds to Medical Research Council Grades M2-M3, lowering the grip practical value reconstructed hand. Therefore, they used 2 donor nerves accomplished double nerve transfers for stronger flexion. In patient with injury, transferred pronator teres anterior interosseous...