A5013313300- Software Testing and Debugging Techniques
- Software Engineering Research
- Software Reliability and Analysis Research
- Advanced Malware Detection Techniques
- Software System Performance and Reliability
- Quantum Dots Synthesis And Properties
- Chalcogenide Semiconductor Thin Films
- Wireless Networks and Protocols
- IoT Networks and Protocols
- Lung Cancer Treatments and Mutations
- Mobile Ad Hoc Networks
- Nanoparticle-Based Drug Delivery
- Evolutionary Algorithms and Applications
- Model-Driven Software Engineering Techniques
- Service-Oriented Architecture and Web Services
- Copper-based nanomaterials and applications
- Adversarial Robustness in Machine Learning
- Cardiomyopathy and Myosin Studies
- RNA modifications and cancer
- RNA regulation and disease
- RNA Interference and Gene Delivery
- Business Process Modeling and Analysis
- Plant Pathogens and Fungal Diseases
- Lung Cancer Research Studies
- Plant tissue culture and regeneration
Humboldt-Universität zu Berlin
2019-2024
Vietnam National University, Hanoi
2024
Vietnam Academy of Science and Technology
2024
Tra Vinh University
2023
University of Tyumen
2022
Ton Duc Thang University
2022
A popular metric to evaluate the performance of fuzzers is branch coverage. However, we argue that focusing solely on covering many different branches (i.e., richness) not sufficient since majority covered may have been exercised only once, which does inspire a high confidence in reliability code. Instead, distribution executed evenness) should also be considered. That is, behavioral diversity given if generated inputs trigger branches, but them evenly often with diverse inputs. We introduce...
Detecting regression bugs in software evolution, analyzing side-channels programs and evaluating robustness deep neural networks (DNNs) can all be seen as instances of differential analysis, where the goal is to generate diverging executions program paths. Two are said if observable behavior differs, e.g., terms output, execution time, or (DNN) classification. The key challenge analysis simultaneously reason about multiple paths, often across variants.
Fuzzing or fuzz testing is an established technique that aims to discover unexpected program behavior (e.g., bugs, security vulnerabilities, crashes) by feeding automatically generated data into a under test. However, the application of fuzzing test Model-Driven Software Engineering (MDSE) tools still limited because difficulty existing fuzzers provide structured, well-typed inputs, namely models conform typing and consistency constraints induced given meta-model underlying modeling...
The comparison of a model process against event data recorded during its execution, known as conformance checking, is an important means in analysis. Yet, common checking techniques are computationally expensive, which makes complete analysis infeasible for large logs. To mitigate this problem, existing leverage samples. Then, the result quality depends on relevance sample specific task. Existing sampling strategies therefore rely static assumption what constitutes relevant data, generally...
Regression testing ensures that a software system when it evolves still performs correctly and the changes introduce no unintended side-effects. However, creation of regression test cases show divergent behavior needs lot effort. A solutionis idea shadow symbolic execution, originally implemented based on KLEE for programs written in C, which takes unified version old new program execution guided by concrete values to explore changed behavior. In this work, we apply Java and, hence, provide...
Regression testing ensures the correctness of software during its evolution, with special attention on absence unintended side-e ects that might be introduced by changes. However, manual creation regression test cases, which expose divergent behavior, needs a lot e ort. A solution is idea shadow symbolic execution, takes uni ed version old and new programs performs execution guided concrete values to explore changed behavior. In this work, we adapt (SSE) combine complete/standard four-way...
Restrictive cardiomyopathy (RCM) is a rare heart muscle disease in which the wall rigid leading to diastolic dysfunction caused by abnormal elastic properties of myocardium and/or intercellular matrix. The prognosis generally poor, and RCM has high mortality rate pediatric patients. There are no curative treatments for RCM, so cardiac transplantation only effective treatment. Diagnosis clinical diagnosis can be challenging because presentations imaging manifestations similar other...
Java Path nder (JPF) was originally developed as an explicit- state software model checker, and subsequently evolved into extensible bytecode analysis framework that has been suc- cessfully used to implement techniques such symbolic con- colic execution, compositional veri cation, parallel in- cremental program analysis, many more. To share recent research progress with JPF related tools among the community, we have organized annual work- shop Automated Software Engineering Conference (ASE)...
IEEE 802.11ah is a sub-GHz communication technology to offer longer range and low power connectivity for the Internet of Things (IoT) applications. A Restricted Access Window (RAW) specified decrease collision probability. Stations are divided into groups stations from each group attempt access channel by employing Distributed Coordination Function during their assigned RAW slots. However, network throughput limited single MAC protocol. In this paper, Space-Frequency Diversity-based protocol...
Cu-In-Ga-Se nanoparticles (NPs) were synthesized using a colloidal route process. The effects of growth temperature (GT) on the properties CuInGaSe2 (CIGS) thin films made from these investigated TEM, PL, XRD, and SEM techniques. NPs at temperatures ranging 90 °C to 105 then annealed 550 for 7 min under Se ambient. resulting CIGS film, formed GT (referred as GT90-CIGS), showed tetragonal structure, large grain size, high sunlight absorption. It had band gap energy (Eg) approximately 0.94 eV....
The purpose of this article was to establish a protocol for the in vitro propagation Tacca leontopetaloides (L.) Kuntze. This describes new method assess response ability shoot induction from callus explants based on different concentrations BAP or IBA (0, 0.25, 0.5, 0.75, and 1.0 mg/L) under light dark pretreatment conditions. For root induction, regenerated shoot-forming cultured MS supplementation with various NAA mg/L). experiment conducted 8 weeks investigate growth parameters such as...