Bo Jiang

• Harbin Institute of Technology

MEMS lumped mass gyroscopes, widely used in industrial applications, have not yet reached the navigation grade. This article proposes a novel MEMS quadruple mass gyroscope (QMG) that exhibits superior overall performance in terms of bias instability (BI), angle random walk (ARW), size, and robustness. This superior overall performance is achieved v...

Patch robustness certification is an emerging kind of defense technique against adversarial patch attacks with provable guarantees. There are two research lines: certified recovery and certified detection. They aim to correctly label malicious samples with provable guarantees and issue warnings for malicious samples predicted to non-benign labels w...

Previous researchers conducting Just-In-Time (JIT) defect prediction tasks have primarily focused on the performance of individual pre-trained models, without exploring the relationship between different pre-trained models as backbones. In this study, we build six models: RoBERTaJIT, CodeBERTJIT, BARTJIT, PLBARTJIT, GPT2JIT, and CodeGPTJIT, each wi...

Atomicity is a correctness criterion to reason about isolated code regions in a multithreaded program when they are executed concurrently. However, dynamic instances of these code regions, called transactions , may fail to behave atomically, resulting in transactional atomicity violations. Existing dynamic online atomicity checkers incur either fal...

High-quality-factor Micro-Electro-Mechanical System (MEMS) resonators have been widely used in sensors and actuators to obtain great mechanical sensitivity. The frequency drift of resonator with temperature is a problem encountered practically. The paper focuses on the resonator frequency distribution law in the temperature range of—40 to 60 °C. Th...

Disc gyroscope manufactured through microelectromechanical systems (MEMS) fabrication processes becomes one of the most critical solutions for achieving high performance. Some reported novel disc constructions acquire good performance in bias instability, scale factor nonlinearity, etc. However, antivibration characteristics are also important for...

Atomicity is a correctness criterion to reason about isolated code regions in a multithreaded program when they are executed concurrently. However, dynamic instances of these code regions, called transactions, may fail to behave atomically, resulting in transactional atomicity violations. Existing dynamic online atomicity checkers incur either fals...

Many popular blockchain platforms are supporting smart contracts for building decentralized applications. However, the vulnerabilities within smart contracts have led to serious financial loss to their end users. For the EOSIO blockchain platform, effective vulnerability detectors are still limited. Furthermore, existing vulnerability detection too...

EOSIO is one typical public blockchain platform. It is scalable in terms of transaction speeds and has a growing ecosystem supporting smart contracts and decentralized applications. However, the vulnerabilities within the EOSIO smart contracts have led to serious attacks, which caused serious financial loss to its end users. In this work, we system...

Ethereum is a kind of blockchain platform where developers may develop and run programs called smart contracts. It inherently relies on gas consumption within a specified allowance to constrain code execution, making every instruction along an execution path to be a location for raising an exception. In this paper, we present GasFuzzer, the first w...

Many test case generation algorithms have been proposed to test Android apps through their graphical user interfaces. However, no systematic study on the impact of the core design elements in these algorithms on effectiveness and efficiency has been reported. This paper presents the first controlled experiment to examine three key design factors,...

Silicon-germanium multi-quantum wells (MQWs) film is a promising sensitive material with high temperature coefficient of resistance (TCR). This paper focuses on solving the stress problem of uncooled infrared focal plane array caused by intrinsic stress of MQWs films. First of all, the paper presents the accurate TCR model of MQWs, which is more co...

Two-dimensional micromirror works as a resonant actuator applied in light detection and ranging (LiDAR) devices. The reflected mirror rotates regularly around two axes under controllable Lorentz force. It is expensive to manufacture a vacuum cave to provide high enough space in perpendicular for swing and meet the requirement for optical transmissi...

This paper proposes a readout integrated circuit (ROIC) with high precision and high linearity based on the standard capacitive transimpedance amplifier (CTIA) structure. A high-swing cascode current mirror is introduced, which can restrain the influence of the front-end unstable voltage on the integrating unit. Also, the high-swing cascode current...

The infrared readout circuit is a highly integrated circuit that integrates various functions into a single semiconductor chip. As the important part of readout circuit, the operational amplifier (OPA) decides the performance of the readout circuit. This paper describes a kind of OPA, which is used in infrared focal plane array (IRFPA) readout circ...

The two dimensional micromirror works as a resonant actuator applied in light detection and ranging (LiDAR) devices. A deep embedded coils design was applied here to provide a large micromirror driving force. The paper describes the advantages of the structures through modal and harmonic response analysis. The fabrication process and the parameters...

Decentralized cryptocurrencies feature the use of blockchain to transfer values among peers on networks without central agency. Smart contracts are programs running on top of the blockchain consensus protocol to enable people make agreements while minimizing trusts. Millions of smart contracts have been deployed in various decentralized application...

Decentralized cryptocurrencies feature the use of blockchain technology to transfer value among peers on the network without central agency. Smart contracts are programs running on top of the blockchain consensus protocol to enable people make agreement via blockchain while minimizing trust. While millions of smart contracts exists to help build de...

Dynamic hybrid data race detectors alleviate the detection imprecision problem incurred by pure lockset-based race detectors and the thread interleaving sensitive problem incurred by pure happens-before race detectors. Nonetheless, to ensure at least one data race on every memory location to be detected, keeping all historical memory access events...

A novel self-adaptive background current compensation circuit applied to infrared focal plane array is proposed in this paper, which can compensate the background current generated in different conditions. Designed double-threshold detection strategy is to estimate and eliminate the background currents, which could significantly reduce the hardware...

In order to improve the throughput of the processors, pipeline technique is widely used to implement the instruction-level parallelism. However, this technique also leads to data hazards which has a great influence on the performance. This paper proposed a method called supply-matching to detect and solve data hazards efficiently. The logic of bypa...

Graphical User Interface (GUI) is a component of many software applications. Many mobile game applications in particular have to provide excellent user experiences using graphical engines to render GUI screens. On a rendered GUI screen such as a treasury map, no GUI widget is embodied in it and the operable GUI regions, each of which is a region th...

In Continuous Integration, a software application is developed through a series of development sessions, each with limited time allocated to testing and debugging on each of its modules. Test Case Prioritization can help execute test cases with higher failure estimate earlier in each session. When the testing time is limited, executing such priorit...

In this paper, we report the infrared absorption and opto-electrical characteristics of multilayered thin films of MoSi2/SiNx with a micro-bridge structure. The thin films of MoSi2deposited by radio frequency magnetron sputtering exhibit a relatively smooth surface (RMS roughness <1 nm, ∼0.98 Å/s), on which their square resistance is linearly incre...

The paper presents the study of band distributions and thermoelectric properties of self-doping Si1−xGe x/Si multiquantum well material for infrared detection. The simulations of different structures (including boron doping, germanium concentrations, and SiGe layer thickness) have been conducted. The critical thickness of SiGe layer grown on silico...

An Android-based smart Television (TV) must reliably run its applications in an embedded program environment under diverse hardware resource conditions. Owing to the diverse hardware components used to build numerous TV models, TV simulators are usually not high enough in fidelity to simulate various TV models, and thus are only regarded as unrelia...

An external web service may evolve without prior notification. In the course of the regression testing of a workflow-based web service, existing test case prioritization techniques may only verify the latest service composition using the not-yet-executed test cases, overlooking high-priority test cases that have already been applied to the service...

Many composite workflow services utilize non-imperative XML technologies such as WSDL, XPath, XML schema, and XML messages. Regression testing should assure the services against regression faults that appear in both the workflows and these artifacts. In this paper, we propose a refinement-oriented level-exploration strategy and a multilevel coverag...

Effective testing is essential for assuring software quality. While regression testing is time-consuming, the fault detection capability may be compromised if some test cases are discarded. Test case prioritization is a viable solution. To the best of our knowledge, the most effective test case prioritization approach is still the additional greedy...

Test case prioritization assigns the execution priorities of the test cases in a given test suite. Many existing test case prioritization techniques assume the full-fledged availability of code coverage data, fault history, or test specification, which are seldom well-maintained in real-world software development projects. This paper proposes a nov...

Writing optimized CUDA programs for General Purpose Graphics Processing Unit (GPGPU) is complicated and error-prone. Most of the former compiler optimization methods are impractical for many applications that contain divergent control flows, and they failed to fully exploit optimization opportunities in data sharing and thread coarsening. In this p...

Infrared absorptivity of pixel arrays plays a pivotal role in bolometer performance. There are a series reports focusing on improving the absorptivity in last two decades [1, 2]. Many materials have been examined as suitable infrared light absorbers, such as thin films MoSi x and TiN x . In general, the optimized sheet resistance is ~ 377Ω/square r...

The paper presents an “L-type” leg applied in SiGe/Si Multi Quantum Wells (MQWs) based bolometer. Characterization structure has been designed to take measurement for α-SiNx:H film stress. The displacement of beam endpoint in the structure is 0.48 micron and the interior stress is about 87 MPa totally through generalized Hooke law. Furthermore, the...

This paper presents self-doping Si1-xGex/Si multiquantum wells (MQWs) with35 nm buffer layers where self-doping occurs to allow free carriers in the quantum well. The film grown through ultra-high vacuum chemical vapor deposition method can easily achieve a good lattice quality. The crystal lattice is verified through scanning electron microscopy,...

The paper presents the hermetic thermistor sensor packaging with 12.8mm×9.6mm used in exothermic reactions detection. The mechanical analysis was conducted including the germanium (Ge) window stress and deformation caused by process stress and vacuum effects. The maximum deformation of Ge window is about 281.5μm and the stress intensity is about 65...

Location-based services (LBS) are widely deployed. When the implementation of an LBS-enabled service has evolved, regression testing can be employed to assure the previously established behaviors not having been adversely affected. Proper test case prioritization helps reveal service anomalies efficiently so that fixes can be scheduled earlier to m...

In hybrid cloud computing era, hybrid clusters which are made of virtual machines and physical machines would be seen more and more generally. Hybrid clusters need more careful organization for finer resource allocations. Another problem of big data in this era is that database system can not well-handled the semi-structured and unstructured data....

Test case prioritization assigns the execution priorities of the test cases in a given test suite with the aim of achieving certain goals. Many existing test case prioritization techniques however assume the full-fledged availability of code coverage data, fault history, or test specification, which are seldom well-maintained in many software devel...

Many web services represent their artifacts in the semi-structural format. Such artifacts may or may not be structurally complex. Many existing test case prioritization techniques however treat test cases of different complexity generically. In this paper, we exploit the insights on the structural similarity of XML-based artifacts between test case...

Large scale data processing has rapidly increased in nowadays. MapReduce programming model, which is firstly mentioned in functional languages, appeared in distributed system and perform excellently in large scale data processing since 2006. Hadoop, which is the most popular framework of open-sourced MapReduce runtime environment, supplies reliable...

ContextTesting and debugging consume a significant portion of software development effort. Both processes are usually conducted independently despite their close relationship with each other. Test adequacy is vital for developers to assure that sufficient testing effort has been made, while finding all the faults in a program as soon as possible is...

Virtualization technology and MapReduce program model are sharp swords for the big data and cloud computing era. The combination of them exhibits powerful ability of easy-management, fast-deployment, feasible-scalability and high-efficiency. However, the downside is that the performance is limited by the I/O bottleneck of Virtual Machine(VM). A hug...

Many web services not only communicate through XML-based messages, but also may dynamically modify their behaviors by applying different interpretations on XML messages through updating the associated XML Schemas or XML-based interface specifications. Such artifacts are usually complex, allowing XML-based messages conforming to these specifications...

Program debugging is a laborious but necessary phase of software development. It generally consists of fault localization, bug fix, and regression testing. Statistical software fault localization automates the manual and error-prone first task. It predicts fault locations by analyzing dynamic program spectrum captured in program runs. Previous stud...

The thermistor based on Si1-xGex/Si MQWs structure is one kind of biomedical materials which used in waterborne pathogen detection. Si1-xGex/Si MQWs structure has high temperature coefficient of resistance (TCR), which meets the requirements for the detection of exothermic phenomenon during the reaction. In this work the theoretical model of the ma...

ContextEffective test case prioritization shortens the time to detect failures, and yet the use of fewer test cases may compromise the effectiveness of subsequent fault localization.Objective The paper aims at finding whether several previously identified effectiveness factors of test case prioritization techniques, namely strategy, coverage granul...

A workflow-based web service may use ultra-late binding to invoke external web services to concretize its implementation at run time. Nonetheless, such external services or the availability of recently used external services may evolve without prior notification, dynamically triggering the workflow-based service to bind to new replacement external...

The heavy protective current transformers are very important to the reliability of the protective devices in power system. The heavy protective current transformer, which is mounted on the bus bars at the outset of 1000MW generators, will be severely influenced by the heavy currents in the adjacent bus bars. Structural optimization design of TPY cl...

For testing the reliability of heavy current transformer (HCTs) with shielding coils affected by the adjacent bus bars, an equivalent testing method called eccentric bus-bar testing method was presented in [1]. The crucial parameters of this method were also determined by analytical formulas and further verified by finite element method (FEM) in [1...

To equivalently and effectively test the shielding effect of a heavy current transformer (HCT) with shielding coils in a laboratory, an eccentric bus-bar testing method has been used to simultaneously simulate the effect of primary bus bar and adjacent bus bar since 1970s. However, there has not yet been an effective way to determine the crucial pa...

Model-based testing helps test engineers automate their testing tasks so that they are more cost-effective. When the model is changed because of the evolution of the specification, it is important to maintain the test suites up to date for regression testing. A complete regeneration of the whole test suite from the new model, although inefficient,...

Accurate high-voltage capacitance given by high-voltage compressed gas capacitors requires the use of the device which is difficult to calibrate since SF6 filled in the capacitors is noxious. Due to standards the high-voltage compressed gas capacitors usually be considered, their characteristics such as absolute value of capacitance, temperature, g...

Statistical fault localization techniques find suspicious faulty program entities in programs by comparing passed and failed executions. Existing studies show that such techniques can be promising in locating program faults. However, coincidental correctness and execution crashes may make pro- gram entities indistinguishable in the execution spectr...

An effective integration between testing and debugging should address how well testing and fault localization can work together productively. In this paper, we report an empirical study on the effectiveness of using adequate test suites for fault localization. We also investigate the integration of test case prioritization and statistical fault loc...

So far, there has not been any method that is both effective and accurate enough to test the performance of a heavy current transformer (HCT) under electromagnetic interference from adjacent bus-bars since the primary and adjacent currents are too high to reproduce in a laboratory. A new testing method termed as the “multiple-coil testing method” i...

Mobile applications are becoming more and more popular with the prevalence of mobile operating system and mobile Internet. However, the bugs in the mobile application not only results from buggy code but also from unreliable context providers. In this paper, we proposed a statistical fault localization framework targeting at the bugs in the mobile...

Model-based testing helps test engineers automate their testing tasks so that they can be more cost-effective. When the model is changed due to the evolution of the specification, it is important to maintain the test suites up to date for regression testing. A complete regeneration of the whole test suite from the new model, although inefficient, i...

Testing and debugging account for at least 30% of the project effort. Scientific advancements in individual activities or their integration may bring significant impacts to the practice of software development. Fault localization is the foremost debugging sub-activity. Any effective integration between testing and debugging should address how well...

Dynamic service compositions pose new verification and validation challenges such as uncertainty in service membership. Moreover, applying an entire test suite to loosely coupled services one after another in the same composition can be too rigid and restrictive. In this paper, we investigate the impact of service selection on service-centric testi...

Predicate-based statistical fault-localization techniques find fault-relevant predicates in a program,by contrasting the statistics of the evaluation results of individual predicates between,failed runs and successful runs. While short- circuit evaluations may occur in program executions, treating predicates as atomic units ignores this fact, maski...

Abstract—Regression testing assures changed ,programs against unintended amendments. Rearranging the execution order of test cases is a key idea to improve their effectiveness. Paradoxically, many test case prioritization techniques resolve tie cases using the random selection approach, and yet random ordering of test cases has been considered as i...

Coverage-based fault-localization techniques find the fault-related positions in programs by comparing the execution statistics of passed executions and failed executions. They assess the fault suspiciousness of individual program entities and rank the statements in descending order of their suspiciousness scores to help identify faults in programs...

In order to reduce the interference from stray flux of adjacent bus bars on the error of heavy current transformer (HCT) which always has a large diameter, the interference mechanism was investigated theoretically in details based on magnetic circuit. It was concluded that there were mainly two interference ways that the stray flux affected the err...

Peer services depend on one another to accomplish their tasks, and their structures may evolve. A service composition may be designed to replace its member services whenever the quality of the composite service fails to meet certain quality-of-service (QoS) requirements. Finding services and service invocation end- points having the greatest impact...

In continuous integration, a tight integration of test case prioritization techniques and fault-localization techniques may both expose failures faster and locate faults more effec-tively. Statistical fault-localization techniques use the execution information collected during testing to locate faults. Executing a small fraction of a prioritized te...

Predicate-based statistical fault-localization techniques locate fault-relevant predicates in a program by contrasting the statistics of the values of individual predicates between successful and failure-causing runs. While short-circuit evaluations are common in program execution, treating predicates as atomic units ignores this fact, masking out...