Test-based automatic program repair has attracted a lot of attention in recent years. However, the test suites in practice are often too weak to guarantee correctness and existing approaches often generate a large number of incorrect patches.To reduce the number of incorrect patches generated, we propose a novel approach that heuristically determines the correctness of the generated patches. The core idea is to exploit the behavior similarity of test case executions. The passing tests on original and patched programs are likely to behave similarly while the failing tests on original and patched programs are likely to behave differently. Also, if two tests exhibit similar runtime behavior, the two tests are likely to have the same test results. Based on these observations, we generate new test inputs to enhance the test suites and use their behavior similarity to determine patch correctness.Our approach is evaluated on a dataset consisting of 139 patches generated from existing program repair systems including jGen-Prog, Nopol, jKali, ACS and HDRepair. Our approach successfully prevented 56.3% of the incorrect patches to be generated, without blocking any correct patches.

No abstract

The synthesis of new functionally diverse alkenyl-derived Cr-MIL-101s (MIL=material of Institute Lavoisier) was realized by a novel and convenient postsynthetic modification (PSM) protocol by means of the carbon-carbon bond-forming Mizoroki-Heck reaction. The new PSM protocol demonstrates a broad scope of substrates with excellent tolerance of functionality under mild reaction conditions. Moreover, a new metal-organic framework (MOF) that bears both alkenyl and thiol side chains prepared by means of the tandem PSM method has shown excellent adsorbent ability in removing mercury ions from water.

The conservativeness of unit commitment models-based robust optimization (RO) depends on the modeling of uncertainty sets. This paper proposes a new two-stage robust security-constrained unit commitment (SCUC) model, which aims at minimizing the operating cost in the base scenario while guaranteeing that the robust solution can be adaptively and safely adjusted according to the uncertainties of wind power, load, and N-k fault. This new model has the following characteristics: 1) the temporal correlation of continuous uncertainties (i.e., wind power output and load) are studied and a time-correlation constraint is established to reduce the conservativeness of uncertainty sets in the proposed robust SCUC model; 2) the discrete characteristics of the uncertain set is used to describe the uncertainty of discrete N-k fault; 3) the outage probability of units with different capacity is also considered with a proposed probability criterion; and 4) the constraint approximation is simplified to a linear constraint that can be applied to RO. The proposed model is solved by the Benders decomposition and dual theory. The simulation results on modified IEEE-RTS-96 system show that the proposed method can effectively reduce the conservativeness of uncertain sets and ensure the economic and security of the optimization results.