Publicaciones

Affichage de 2591 à 2600 sur 5524


  • COMM

Multi-Physic Analysis of Electrical Machines: Hybrid Electro-Magneto-Aero-ThermalModeling

Oualid Messal, Louis Lambourg, Frédéric Dubas, Souad Harmand, Afef Kedous-Lebouc, Christian Chillet

ICEMS 2017 : 19th International Conference on Electrical Machines and Systems, 2017, San Francisco, United States. ⟨hal-02330493⟩

  • COUV

Caregivers Routing Problem in Home Health Care: Literature Review

Eric Marcon, Sondès Chaabane, Yves Sallez, Thérèse Bonte

In France, Hospital-at-Home Services (HHS) providers that employ their caregivers have to define the assignment of patients to caregivers and the planning of the caregivers’ routes. In the literature, different approaches are proposed to deal with both these problems. Our aim in this paper is to...

Borangiu T., Trentesaux D., Thomas A., Leitão P., Oliveira J. Service Orientation in Holonic and Multi-Agent Manufacturing. , 694, Springer, pp. 319-326, 2017, Studies in Computational Intelligence, ⟨10.1007/978-3-319-51100-9_28⟩. ⟨hal-01518634⟩

  • ART

Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs

Jifeng Xuan, Matias Martinez, Favio Demarco, Maxime Clément, Sebastian Lamelas, Thomas Durieux, Daniel Le Berre, Martin Monperrus

We propose NOPOL, an approach to automatic repair of buggy conditional statements (i.e., if-then-else statements). This approach takes a buggy program as well as a test suite as input and generates a patch with a conditional expression as output. The test suite is required to contain passing test...

IEEE Transactions on Software Engineering, 2017, 43 (1), pp.34-55. ⟨10.1109/TSE.2016.2560811⟩. ⟨hal-01285008v2⟩

  • REPORT

The Patches of the Nopol Automatic Repair System on the Bugs of Defects4J version 1.1.0

Thomas Durieux, Benjamin Danglot, Zhongxing Yu, Matias Martinez, Simon Urli, Martin Monperrus

This report lists the test-suite adequate patches found by the Nopol automatic repair system on version 1.1.0 of the Defects4J benchmark of bugs.

[Research Report] hal-01480084, Université Lille 1 - Sciences et Technologies. 2017. ⟨hal-01480084⟩