Dissection of a Bug Dataset: Anatomy of 395 Patches from Defects4J

Well-designed and publicly available datasets of bugs are an invaluable asset to advance research fields such as fault localization and program repair as they allow directly and fairly comparison between competing techniques and also the replication of experiments. These datasets need to be deeply understood by researchers: the answer for questions like "which bugs can my technique handle?" and "for which bugs is my technique effective?" depends on the comprehension of properties related to bugs and their patches. However, such properties are usually not included in the datasets, and there is still no widely adopted methodology for characterizing bugs and patches. In this work, we deeply study 395 patches of the Defects4J dataset. Quantitative properties (patch size and spreading) were automatically extracted, whereas qualitative ones (repair actions and patterns) were manually extracted using a thematic analysis-based approach. We found that 1) the median size of Defects4J patches is four lines, and almost 30% of the patches contain only addition of lines; 2) 92% of the patches change only one file, and 38% has no spreading at all; 3) the top-3 most applied repair actions are addition of method calls, conditionals, and assignments, occurring in 77% of the patches; and 4) nine repair patterns were found for 95% of the patches, where the most prevalent, appearing in 43% of the patches, is on conditional blocks. These results are useful for researchers to perform advanced analysis on their techniques' results based on Defects4J. Moreover, our set of properties can be used to characterize and compare different bug datasets.Comment: Accepted for SANER'18 (25th edition of IEEE International Conference on Software Analysis, Evolution and Reengineering), Campobasso, Ital

Synthèse bibliographique : l'écologie chimique des coccinelles

Review: chemical ecology of ladybird beetles. This paper reviews the chemical ecology of ladybird beetles (Coleoptera: Coccinellidae) to present the role of semiochemicals involved in plant-ladybird, prey-ladybird and predator-ladybird interactions. Ladybird beetles use these compounds to locate their prey, mate, protect themselves from predation or cannibalism, find a shelter to overwinter or ensure a better survival for their offspring. Thorough studies on ladybird behaviors towards these compounds could lead to their practical implementation in integrated strategies using ladybirds to control pests, like aphids or mealybugs

Etude d’une pyodermite particulièrement rebelle chez le chien isolement d’Actinobacillus equuli associé à un staphylocoque

Vallée A., Durieux Jean, Durieux M., Virat Bernard. Etude d'une pyodermite particulièrement rebelle chez le chien isolement d'Actinobacillus equuli associé à un staphylocoque . In: Bulletin de l'Académie Vétérinaire de France tome 113 n°3, 1960. pp. 153-156

Seasonal patterns of oral antihistamine and intranasal corticosteroid purchases from Australian community pharmacies : a retrospective observational study

Acknowledgments The abstract of this paper was presented at the Respiratory Effectiveness Group 2016 Annual Summit as a poster presentation with interim findings. The poster’s abstract was published in “Poster Abstracts” in The Journal of Thoracic Disease (Vol. 8, Supplement 5, 5 July 2016). http://jtd.amegroups.com/article/view/8504.Peer reviewedPublisher PD

Links between Climate, Malaria, and Wetlands in the Amazon Basin

Climate changes are altering patterns of temperature and precipitation, potentially affecting regions of malaria transmission. We show that areas of the Amazon Basin with few wetlands show a variable relationship between precipitation and malaria, while areas with extensive wetlands show a negative relationship with malaria incidence

Virtual signatures of dark sectors in Higgs couplings

Where collider searches for resonant invisible particles loose steam, dark sectors might leave their trace as virtual effects in precision observables. Here we explore this option in the framework of Higgs portal models, where a sector of dark fermions interacts with the standard model through a strong renormalizable coupling to the Higgs boson. We show that precise measurements of Higgs-gauge and triple Higgs interactions can probe dark fermions up to the TeV scale through virtual corrections. Observation prospects at the LHC and future lepton colliders are discussed for the so-called singlet-doublet model of Majorana fermions, a generalization of the bino-higgsino scenario in supersymmetry. We advocate a two-fold search strategy for dark sectors through direct and indirect observables.Comment: 20 pages, 7 figures, 1 tabl