Identifying Patch Correctness in Test-Based Program Repair

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 jGenProg, Nopol, jKali, ACS and HDRepair. Our approach successfully prevented 56.3\% of the incorrect patches to be generated, without blocking any correct patches.Comment: ICSE 201

Distributed Contingency Analysis over Wide Area Network among Dispatch Centers

Traditionally, a regional dispatch center uses the equivalent method to deal with external grids, which fails to reflect the interactions among regions. This paper proposes a distributed N-1 contingency analysis (DCA) solution, where dispatch centers join a coordinated computation using their private data and computing resources. A distributed screening method is presented to determine the Critical Contingency Set (DCCS) in DCA. Then, the distributed power flow is formulated as a set of boundary equations, which is solved by a Jacobi-Free Newton-GMRES (JFNG) method. During solving the distributed power flow, only boundary conditions are exchanged. Acceleration techniques are also introduced, including reusing preconditioners and optimal resource scheduling during parallel processing of multiple contingencies. The proposed method is implemented on a real EMS platform, where tests using the Southwest Regional Grid of China are carried out to validate its feasibility.Comment: 5 pages, 6 figures, 2017 IEEE PES General Meetin

Evolution of serum IgE and IgG antibodies to 35 molecules in childhood

Background: In early childhood, the allergen-specific IgG repertoire is mainly directed to animal and vegetable food molecules and infrequently to airborne molecules. It is unknown whether this early pattern is maintained throughout childhood. Objective: To investigate the evolution of IgG and IgE responses to a broad panel of allergenic molecules from birth to age 10 years. Methods: We examined the sera collected between birth and age 10 years from participants in the German Multicentre Allergy Study, a birth cohort born in 1990. The IgE (cutoff ≥0.30 ISU) and IgG (cutoff ≥0.10 ISU) responses to 35 genuine allergenic molecules were measured with a multiplex microarray approach (ImmunoCAP ISACTM). Results: IgE responses were mostly directed against a restricted group of airborne molecules, with a sequence and prevalence hierarchy (Phl p 1> Bet v 1> Fel d 1> Phl p 5> Der p 2> Der p 1) largely maintained over time. Conversely, the IgG repertoire was much broader, starting with animal foodborne, then spreading to vegetable foodborne and finally to airborne molecules. A strong and persistent IgG response to a given airborne molecule almost invariably preceded or accompanied an IgE response to that molecule. Conclusions: The evolution of IgG and IgE responses throughout childhood differs widely at population level. IgG responses are mostly directed to animal food allergens, while IgE responses are dominated by airborne allergens. However, a strong IgG response almost invariably precedes or accompanies the appearance of IgE to the same molecule in specifically sensitized subjects.HINTERGRUND: Die häufig beschriebene Schutzfunktion allergenspezifischer IgG-Antikörper wurde vor kurzem durch Daten ergänzt, die ein Differentialbild für atopische und nicht-atopische Patienten sowie eine "(vor-) atopische" IgG-Antwort beschreiben. Abgesehen von der Route und der Expositionsdosis können die physikalisch-chemischen Eigenschaften von Proteinen für die Unterscheidung zwischen Antigenen und Allergenen entscheidend sein. ZIEL: Wir haben versucht, die Längsentwicklung von Allergen-spezifischen IgG- und IgE-Profilen von einer breiten Gruppe von allergenen Molekülen in der Kindheit zu untersuchen. METHODEN: Die deutsche Multicenter-Allergie-Studie untersuchte eine Geburtskohorte, die 1990 geboren wurde. Blutproben wurden im Alter von 1, 2, 3, 5, 6, 7, 10, 13 und 20 Jahren gesammelt. Die Teilnehmer wurden in die vorliegende Analyse aufgenommen, wenn sie (1) ≥1 Serumprobe im Alter von 1-3 Jahren hatten; (2) ≥2 Serumproben im Alter von 5-7 Jahren und (3) eine Serumprobe im Alter von 10 Jahren. Kinder wurden als "atopisch" betrachtet, wenn sie eine positive IgE-Antwort (Cut-off ≥ 0,30 ISU) auf mindestens ein Molekül zeigten, während diejenigen, die IgE niemals zu irgendeinem untersuchten Molekül produzierten, als "Nicht-Atopics" gruppiert wurden. IgE- und IgG-Antikörper gegen native und rekombinante allergene Moleküle wurden mit einem Multiplex-Mikroarray-Ansatz (ImmunoCAP ISAC TM -103 und ISAC TM -112, TFS, Schweden) getestet. Fünfunddreißig Moleküle wurden für die Analyse nach Ausschlusskriterien ausgewählt, die zuvor validiert wurden. ERGEBNISSE: Wir fanden eine differentielle Evolution der IgG- und IgE-Reaktionen auf einen breiten Satz von Allergenmolekülen: 1) IgE-Reaktionen waren meist gegen eine eingeschränkte Gruppe von luftgetragenen Molekülen gerichtet, mit einer Sequenz- und Prävalenzhierarchie, die - auf Populationsniveau - weitgehend während des ganzen ersten Lebensjahres beibehalten: Phl p 1> Bet v 1> Feld d 1> Phl p 5> Der p 2> Der p 1; 2) Im Gegensatz dazu war das IgG-Repertoire viel breiter und verbreitete sich bei den meisten Kindern zuerst zu tierischen lebensmittelbasierten Molekülen, dann zu pflanzlichen Lebensmitteln und schließlich zu luftgetragenen Molekülen; 3) Eine ungewöhnlich starke und anhaltende IgG-Antwort geht einer IgE-Antwort auf das gleiche luftgetragene Molekül vor oder begleitet sie. SCHLUSSFOLGERUNGEN: Obwohl die Evolution von allergenspezifischen IgG- und IgE-Reaktionen im Laufe der Kindheit stark abweicht, geht eine starke IgG-Antwort voran oder begleitet das Auftreten von IgE bei atopischen Probanden. Die Ergebnisse deuten darauf hin, dass die Erzeugung von hochaffinitätsallergenspezifischem IgE in den meisten Fällen eine intermediäre IgG1-Phase und sequentielle Klassenumschaltung (μ→γ1→ε) erfordert

Evolution of serum IgE and IgG antibodies to 35 molecules in childhood

Background: In early childhood, the allergen-specific IgG repertoire is mainly directed to animal and vegetable food molecules and infrequently to airborne molecules. It is unknown whether this early pattern is maintained throughout childhood. Objective: To investigate the evolution of IgG and IgE responses to a broad panel of allergenic molecules from birth to age 10 years. Methods: We examined the sera collected between birth and age 10 years from participants in the German Multicentre Allergy Study, a birth cohort born in 1990. The IgE (cutoff ≥0.30 ISU) and IgG (cutoff ≥0.10 ISU) responses to 35 genuine allergenic molecules were measured with a multiplex microarray approach (ImmunoCAP ISACTM). Results: IgE responses were mostly directed against a restricted group of airborne molecules, with a sequence and prevalence hierarchy (Phl p 1> Bet v 1> Fel d 1> Phl p 5> Der p 2> Der p 1) largely maintained over time. Conversely, the IgG repertoire was much broader, starting with animal foodborne, then spreading to vegetable foodborne and finally to airborne molecules. A strong and persistent IgG response to a given airborne molecule almost invariably preceded or accompanied an IgE response to that molecule. Conclusions: The evolution of IgG and IgE responses throughout childhood differs widely at population level. IgG responses are mostly directed to animal food allergens, while IgE responses are dominated by airborne allergens. However, a strong IgG response almost invariably precedes or accompanies the appearance of IgE to the same molecule in specifically sensitized subjects.HINTERGRUND: Die häufig beschriebene Schutzfunktion allergenspezifischer IgG-Antikörper wurde vor kurzem durch Daten ergänzt, die ein Differentialbild für atopische und nicht-atopische Patienten sowie eine "(vor-) atopische" IgG-Antwort beschreiben. Abgesehen von der Route und der Expositionsdosis können die physikalisch-chemischen Eigenschaften von Proteinen für die Unterscheidung zwischen Antigenen und Allergenen entscheidend sein. ZIEL: Wir haben versucht, die Längsentwicklung von Allergen-spezifischen IgG- und IgE-Profilen von einer breiten Gruppe von allergenen Molekülen in der Kindheit zu untersuchen. METHODEN: Die deutsche Multicenter-Allergie-Studie untersuchte eine Geburtskohorte, die 1990 geboren wurde. Blutproben wurden im Alter von 1, 2, 3, 5, 6, 7, 10, 13 und 20 Jahren gesammelt. Die Teilnehmer wurden in die vorliegende Analyse aufgenommen, wenn sie (1) ≥1 Serumprobe im Alter von 1-3 Jahren hatten; (2) ≥2 Serumproben im Alter von 5-7 Jahren und (3) eine Serumprobe im Alter von 10 Jahren. Kinder wurden als "atopisch" betrachtet, wenn sie eine positive IgE-Antwort (Cut-off ≥ 0,30 ISU) auf mindestens ein Molekül zeigten, während diejenigen, die IgE niemals zu irgendeinem untersuchten Molekül produzierten, als "Nicht-Atopics" gruppiert wurden. IgE- und IgG-Antikörper gegen native und rekombinante allergene Moleküle wurden mit einem Multiplex-Mikroarray-Ansatz (ImmunoCAP ISAC TM -103 und ISAC TM -112, TFS, Schweden) getestet. Fünfunddreißig Moleküle wurden für die Analyse nach Ausschlusskriterien ausgewählt, die zuvor validiert wurden. ERGEBNISSE: Wir fanden eine differentielle Evolution der IgG- und IgE-Reaktionen auf einen breiten Satz von Allergenmolekülen: 1) IgE-Reaktionen waren meist gegen eine eingeschränkte Gruppe von luftgetragenen Molekülen gerichtet, mit einer Sequenz- und Prävalenzhierarchie, die - auf Populationsniveau - weitgehend während des ganzen ersten Lebensjahres beibehalten: Phl p 1> Bet v 1> Feld d 1> Phl p 5> Der p 2> Der p 1; 2) Im Gegensatz dazu war das IgG-Repertoire viel breiter und verbreitete sich bei den meisten Kindern zuerst zu tierischen lebensmittelbasierten Molekülen, dann zu pflanzlichen Lebensmitteln und schließlich zu luftgetragenen Molekülen; 3) Eine ungewöhnlich starke und anhaltende IgG-Antwort geht einer IgE-Antwort auf das gleiche luftgetragene Molekül vor oder begleitet sie. SCHLUSSFOLGERUNGEN: Obwohl die Evolution von allergenspezifischen IgG- und IgE-Reaktionen im Laufe der Kindheit stark abweicht, geht eine starke IgG-Antwort voran oder begleitet das Auftreten von IgE bei atopischen Probanden. Die Ergebnisse deuten darauf hin, dass die Erzeugung von hochaffinitätsallergenspezifischem IgE in den meisten Fällen eine intermediäre IgG1-Phase und sequentielle Klassenumschaltung (μ→γ1→ε) erfordert

Preliminary Functional-Structural Modeling on Poplar (Salicaceae)

Poplar is one of the best fast-growing trees in the world, widely used for windbreak and wood product. Although architecture of poplar has direct impact on its applications, it has not been descried in previous poplar models, probably because of the difficulties raised by measurement, data processing and parameterization. In this paper, the functional-structural model GreenLab is calibrated by using poplar data of 3, 4, 5, 6 years old. The data was acquired by simplifying measurement. The architecture was also simplified by classifying the branches into several types (physiological age) using clustering analysis, which decrease the number of parameters. By multi-fitting the sampled data of each tree, the model parameters were identified and the plant architectures at different tree ages were simulated

METHOD AND APPARATUS FOR AUTOMATED LINK FAILURE DETECTION IN NETWORKS USING MACHINE LEARNING

Techniques are presented for automatic link failure prediction and detection with an automatic troubleshooting capability to quickly identify switches/ports involved in the failure before the failure leads to a complete outage. A framework to predict the failure and easily handoff all routing protocols to an alternate path is provided. Such prediction helps a network to react before a failure occurs. Almost zero traffic loss during a failure may be achieved by predicting the failure in advance

SVH-B interacts directly with p53 and suppresses the transcriptional activity of p53

AbstractWe previously reported that inhibition of SVH-B, a specific splicing variant of SVH, results in apoptotic cell death. In this study, we reveal that this apoptosis may be dependent on the presence of p53. Co-immunoprecipitation and GST pull-down assays have demonstrated that SVH-B directly interacts with p53. In both BEL-7404 cells and p53-null Saos-2 cells transfected with a temperature-sensitive mutant of p53, V143A, ectopically expressed SVH-B suppresses the transcriptional activity of p53, and suppression of SVH by RNA interference increases the transcriptional activity of p53. Our results suggested the function of SVH-B in accelerating growth and inhibition of apoptosis is related to its inhibitory binding to p53