[{"abstract":[{"lang":"eng","text":"information on culture conditions, phage mutagenesis, verification and lysate preparation; Raw data"}],"oa_version":"Published Version","publisher":"The Royal Society","main_file_link":[{"open_access":"1","url":"https://doi.org/10.6084/m9.figshare.5633917.v1"}],"oa":1,"month":"11","year":"2017","day":"27","related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"561"}]},"date_published":"2017-11-27T00:00:00Z","doi":"10.6084/m9.figshare.5633917.v1","date_created":"2021-08-09T13:54:38Z","_id":"9847","type":"research_data_reference","status":"public","citation":{"mla":"Pleska, Maros, and Calin C. Guet. Supplementary Materials and Methods; Full Data Set from Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification. The Royal Society, 2017, doi:10.6084/m9.figshare.5633917.v1.","apa":"Pleska, M., & Guet, C. C. (2017). Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification. The Royal Society. https://doi.org/10.6084/m9.figshare.5633917.v1","ama":"Pleska M, Guet CC. Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification. 2017. doi:10.6084/m9.figshare.5633917.v1","short":"M. Pleska, C.C. Guet, (2017).","ieee":"M. Pleska and C. C. Guet, “Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification.” The Royal Society, 2017.","chicago":"Pleska, Maros, and Calin C Guet. “Supplementary Materials and Methods; Full Data Set from Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification.” The Royal Society, 2017. https://doi.org/10.6084/m9.figshare.5633917.v1.","ista":"Pleska M, Guet CC. 2017. Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification, The Royal Society, 10.6084/m9.figshare.5633917.v1."},"date_updated":"2023-02-23T12:29:44Z","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","author":[{"orcid":"0000-0001-7460-7479","full_name":"Pleska, Maros","last_name":"Pleska","id":"4569785E-F248-11E8-B48F-1D18A9856A87","first_name":"Maros"},{"full_name":"Guet, Calin C","orcid":"0000-0001-6220-2052","last_name":"Guet","first_name":"Calin C","id":"47F8433E-F248-11E8-B48F-1D18A9856A87"}],"article_processing_charge":"No","title":"Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification","department":[{"_id":"CaGu"}]},{"abstract":[{"text":"Estimates of 13 C-arabinose and 2 H-glucose uptake from the fractions of heavy isotopes measured\tin single cells","lang":"eng"}],"oa_version":"None","publisher":"Public Library of Science","month":"12","year":"2017","day":"18","date_created":"2021-08-09T13:31:51Z","doi":"10.1371/journal.pgen.1007122.s017","date_published":"2017-12-18T00:00:00Z","related_material":{"record":[{"id":"541","status":"public","relation":"used_in_publication"}]},"_id":"9845","type":"research_data_reference","status":"public","date_updated":"2023-02-23T12:25:04Z","citation":{"ista":"Nikolic N, Schreiber F, Dal Co A, Kiviet D, Bergmiller T, Littmann S, Kuypers M, Ackermann M. 2017. Mathematical model, Public Library of Science, 10.1371/journal.pgen.1007122.s017.","chicago":"Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Mathematical Model.” Public Library of Science, 2017. https://doi.org/10.1371/journal.pgen.1007122.s017.","apa":"Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S., … Ackermann, M. (2017). Mathematical model. Public Library of Science. https://doi.org/10.1371/journal.pgen.1007122.s017","ama":"Nikolic N, Schreiber F, Dal Co A, et al. Mathematical model. 2017. doi:10.1371/journal.pgen.1007122.s017","short":"N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).","ieee":"N. Nikolic et al., “Mathematical model.” Public Library of Science, 2017.","mla":"Nikolic, Nela, et al. Mathematical Model. Public Library of Science, 2017, doi:10.1371/journal.pgen.1007122.s017."},"user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","article_processing_charge":"No","author":[{"first_name":"Nela","id":"42D9CABC-F248-11E8-B48F-1D18A9856A87","full_name":"Nikolic, Nela","orcid":"0000-0001-9068-6090","last_name":"Nikolic"},{"first_name":"Frank","last_name":"Schreiber","full_name":"Schreiber, Frank"},{"first_name":"Alma","full_name":"Dal Co, Alma","last_name":"Dal Co"},{"first_name":"Daniel","last_name":"Kiviet","full_name":"Kiviet, Daniel"},{"last_name":"Bergmiller","orcid":"0000-0001-5396-4346","full_name":"Bergmiller, Tobias","first_name":"Tobias","id":"2C471CFA-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Sten","full_name":"Littmann, Sten","last_name":"Littmann"},{"last_name":"Kuypers","full_name":"Kuypers, Marcel","first_name":"Marcel"},{"first_name":"Martin","last_name":"Ackermann","full_name":"Ackermann, Martin"}],"title":"Mathematical model","department":[{"_id":"CaGu"}]},{"article_processing_charge":"No","author":[{"full_name":"Lukacisinova, Marta","orcid":"0000-0002-2519-8004","last_name":"Lukacisinova","id":"4342E402-F248-11E8-B48F-1D18A9856A87","first_name":"Marta"},{"id":"461468AE-F248-11E8-B48F-1D18A9856A87","first_name":"Sebastian","full_name":"Novak, Sebastian","last_name":"Novak"},{"orcid":"0000-0003-2361-3953","full_name":"Paixao, Tiago","last_name":"Paixao","first_name":"Tiago","id":"2C5658E6-F248-11E8-B48F-1D18A9856A87"}],"title":"Modelling and simulation details","department":[{"_id":"ToBo"},{"_id":"NiBa"},{"_id":"CaGu"}],"date_updated":"2023-02-23T12:55:39Z","citation":{"ama":"Lukacisinova M, Novak S, Paixao T. Modelling and simulation details. 2017. doi:10.1371/journal.pcbi.1005609.s001","apa":"Lukacisinova, M., Novak, S., & Paixao, T. (2017). Modelling and simulation details. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005609.s001","ieee":"M. Lukacisinova, S. Novak, and T. Paixao, “Modelling and simulation details.” Public Library of Science, 2017.","short":"M. Lukacisinova, S. Novak, T. Paixao, (2017).","mla":"Lukacisinova, Marta, et al. Modelling and Simulation Details. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s001.","ista":"Lukacisinova M, Novak S, Paixao T. 2017. Modelling and simulation details, Public Library of Science, 10.1371/journal.pcbi.1005609.s001.","chicago":"Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Modelling and Simulation Details.” Public Library of Science, 2017. https://doi.org/10.1371/journal.pcbi.1005609.s001."},"user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","type":"research_data_reference","status":"public","_id":"9849","date_created":"2021-08-09T14:02:34Z","date_published":"2017-07-18T00:00:00Z","doi":"10.1371/journal.pcbi.1005609.s001","related_material":{"record":[{"status":"public","id":"696","relation":"used_in_publication"}]},"year":"2017","day":"18","publisher":"Public Library of Science","month":"07","abstract":[{"text":"This text provides additional information about the model, a derivation of the analytic results in Eq (4), and details about simulations of an additional parameter set.","lang":"eng"}],"oa_version":"Published Version"},{"related_material":{"record":[{"relation":"used_in_publication","id":"696","status":"public"}]},"doi":"10.1371/journal.pcbi.1005609.s002","date_published":"2017-07-18T00:00:00Z","date_created":"2021-08-09T14:05:24Z","day":"18","year":"2017","month":"07","publisher":"Public Library of Science","oa_version":"Published Version","abstract":[{"text":"In this text, we discuss how a cost of resistance and the possibility of lethal mutations impact our model.","lang":"eng"}],"department":[{"_id":"ToBo"},{"_id":"CaGu"},{"_id":"NiBa"}],"title":"Extensions of the model","author":[{"first_name":"Marta","id":"4342E402-F248-11E8-B48F-1D18A9856A87","last_name":"Lukacisinova","full_name":"Lukacisinova, Marta","orcid":"0000-0002-2519-8004"},{"id":"461468AE-F248-11E8-B48F-1D18A9856A87","first_name":"Sebastian","last_name":"Novak","full_name":"Novak, Sebastian"},{"last_name":"Paixao","orcid":"0000-0003-2361-3953","full_name":"Paixao, Tiago","id":"2C5658E6-F248-11E8-B48F-1D18A9856A87","first_name":"Tiago"}],"article_processing_charge":"No","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","date_updated":"2023-02-23T12:55:39Z","citation":{"ama":"Lukacisinova M, Novak S, Paixao T. Extensions of the model. 2017. doi:10.1371/journal.pcbi.1005609.s002","apa":"Lukacisinova, M., Novak, S., & Paixao, T. (2017). Extensions of the model. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005609.s002","ieee":"M. Lukacisinova, S. Novak, and T. Paixao, “Extensions of the model.” Public Library of Science, 2017.","short":"M. Lukacisinova, S. Novak, T. Paixao, (2017).","mla":"Lukacisinova, Marta, et al. Extensions of the Model. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s002.","ista":"Lukacisinova M, Novak S, Paixao T. 2017. Extensions of the model, Public Library of Science, 10.1371/journal.pcbi.1005609.s002.","chicago":"Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Extensions of the Model.” Public Library of Science, 2017. https://doi.org/10.1371/journal.pcbi.1005609.s002."},"status":"public","type":"research_data_reference","_id":"9850"},{"status":"public","type":"research_data_reference","_id":"9846","title":"Supplementary methods","department":[{"_id":"CaGu"}],"author":[{"id":"42D9CABC-F248-11E8-B48F-1D18A9856A87","first_name":"Nela","orcid":"0000-0001-9068-6090","full_name":"Nikolic, Nela","last_name":"Nikolic"},{"last_name":"Schreiber","full_name":"Schreiber, Frank","first_name":"Frank"},{"first_name":"Alma","last_name":"Dal Co","full_name":"Dal Co, Alma"},{"first_name":"Daniel","full_name":"Kiviet, Daniel","last_name":"Kiviet"},{"id":"2C471CFA-F248-11E8-B48F-1D18A9856A87","first_name":"Tobias","last_name":"Bergmiller","orcid":"0000-0001-5396-4346","full_name":"Bergmiller, Tobias"},{"first_name":"Sten","last_name":"Littmann","full_name":"Littmann, Sten"},{"full_name":"Kuypers, Marcel","last_name":"Kuypers","first_name":"Marcel"},{"first_name":"Martin","last_name":"Ackermann","full_name":"Ackermann, Martin"}],"article_processing_charge":"No","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","citation":{"ista":"Nikolic N, Schreiber F, Dal Co A, Kiviet D, Bergmiller T, Littmann S, Kuypers M, Ackermann M. 2017. Supplementary methods, Public Library of Science, 10.1371/journal.pgen.1007122.s016.","chicago":"Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Supplementary Methods.” Public Library of Science, 2017. https://doi.org/10.1371/journal.pgen.1007122.s016.","ieee":"N. Nikolic et al., “Supplementary methods.” Public Library of Science, 2017.","short":"N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).","ama":"Nikolic N, Schreiber F, Dal Co A, et al. Supplementary methods. 2017. doi:10.1371/journal.pgen.1007122.s016","apa":"Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S., … Ackermann, M. (2017). Supplementary methods. Public Library of Science. https://doi.org/10.1371/journal.pgen.1007122.s016","mla":"Nikolic, Nela, et al. Supplementary Methods. Public Library of Science, 2017, doi:10.1371/journal.pgen.1007122.s016."},"date_updated":"2023-02-23T12:25:04Z","month":"12","publisher":"Public Library of Science","oa_version":"Published Version","date_published":"2017-12-18T00:00:00Z","related_material":{"record":[{"status":"public","id":"541","relation":"used_in_publication"}]},"doi":"10.1371/journal.pgen.1007122.s016","date_created":"2021-08-09T13:35:17Z","day":"18","year":"2017"},{"oa_version":"Published Version","abstract":[{"lang":"eng","text":"In order to respond reliably to specific features of their environment, sensory neurons need to integrate multiple incoming noisy signals. Crucially, they also need to compete for the interpretation of those signals with other neurons representing similar features. The form that this competition should take depends critically on the noise corrupting these signals. In this study we show that for the type of noise commonly observed in sensory systems, whose variance scales with the mean signal, sensory neurons should selectively divide their input signals by their predictions, suppressing ambiguous cues while amplifying others. Any change in the stimulus context alters which inputs are suppressed, leading to a deep dynamic reshaping of neural receptive fields going far beyond simple surround suppression. Paradoxically, these highly variable receptive fields go alongside and are in fact required for an invariant representation of external sensory features. In addition to offering a normative account of context-dependent changes in sensory responses, perceptual inference in the presence of signal-dependent noise accounts for ubiquitous features of sensory neurons such as divisive normalization, gain control and contrast dependent temporal dynamics."}],"intvolume":" 13","month":"06","scopus_import":1,"language":[{"iso":"eng"}],"file":[{"creator":"system","date_updated":"2020-07-14T12:47:40Z","file_size":14555676,"date_created":"2018-12-12T10:07:47Z","file_name":"IST-2017-898-v1+1_journal.pcbi.1005582.pdf","access_level":"open_access","relation":"main_file","content_type":"application/pdf","file_id":"4645","checksum":"796a1026076af6f4405a47d985bc7b68"}],"publication_status":"published","publication_identifier":{"issn":["1553734X"]},"license":"https://creativecommons.org/licenses/by/4.0/","issue":"6","volume":13,"related_material":{"record":[{"relation":"research_data","id":"9855","status":"public"}]},"_id":"680","pubrep_id":"898","status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"type":"journal_article","ddc":["571"],"date_updated":"2023-02-23T14:10:54Z","department":[{"_id":"GaTk"}],"file_date_updated":"2020-07-14T12:47:40Z","oa":1,"publisher":"Public Library of Science","quality_controlled":"1","publication":"PLoS Computational Biology","day":"01","year":"2017","has_accepted_license":"1","date_created":"2018-12-11T11:47:53Z","doi":"10.1371/journal.pcbi.1005582","date_published":"2017-06-01T00:00:00Z","article_number":"e1005582","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"apa":"Chalk, M. J., Masset, P., Gutkin, B., & Denève, S. (2017). Sensory noise predicts divisive reshaping of receptive fields. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005582","ama":"Chalk MJ, Masset P, Gutkin B, Denève S. Sensory noise predicts divisive reshaping of receptive fields. PLoS Computational Biology. 2017;13(6). doi:10.1371/journal.pcbi.1005582","ieee":"M. J. Chalk, P. Masset, B. Gutkin, and S. Denève, “Sensory noise predicts divisive reshaping of receptive fields,” PLoS Computational Biology, vol. 13, no. 6. Public Library of Science, 2017.","short":"M.J. Chalk, P. Masset, B. Gutkin, S. Denève, PLoS Computational Biology 13 (2017).","mla":"Chalk, Matthew J., et al. “Sensory Noise Predicts Divisive Reshaping of Receptive Fields.” PLoS Computational Biology, vol. 13, no. 6, e1005582, Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005582.","ista":"Chalk MJ, Masset P, Gutkin B, Denève S. 2017. Sensory noise predicts divisive reshaping of receptive fields. PLoS Computational Biology. 13(6), e1005582.","chicago":"Chalk, Matthew J, Paul Masset, Boris Gutkin, and Sophie Denève. “Sensory Noise Predicts Divisive Reshaping of Receptive Fields.” PLoS Computational Biology. Public Library of Science, 2017. https://doi.org/10.1371/journal.pcbi.1005582."},"title":"Sensory noise predicts divisive reshaping of receptive fields","author":[{"full_name":"Chalk, Matthew J","orcid":"0000-0001-7782-4436","last_name":"Chalk","id":"2BAAC544-F248-11E8-B48F-1D18A9856A87","first_name":"Matthew J"},{"first_name":"Paul","full_name":"Masset, Paul","last_name":"Masset"},{"last_name":"Gutkin","full_name":"Gutkin, Boris","first_name":"Boris"},{"first_name":"Sophie","full_name":"Denève, Sophie","last_name":"Denève"}],"publist_id":"7035"},{"_id":"9851","status":"public","type":"research_data_reference","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","citation":{"ista":"Lukacisinova M, Novak S, Paixao T. 2017. Heuristic prediction for multiple stresses, Public Library of Science, 10.1371/journal.pcbi.1005609.s003.","chicago":"Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Heuristic Prediction for Multiple Stresses.” Public Library of Science, 2017. https://doi.org/10.1371/journal.pcbi.1005609.s003.","short":"M. Lukacisinova, S. Novak, T. Paixao, (2017).","ieee":"M. Lukacisinova, S. Novak, and T. Paixao, “Heuristic prediction for multiple stresses.” Public Library of Science, 2017.","apa":"Lukacisinova, M., Novak, S., & Paixao, T. (2017). Heuristic prediction for multiple stresses. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005609.s003","ama":"Lukacisinova M, Novak S, Paixao T. Heuristic prediction for multiple stresses. 2017. doi:10.1371/journal.pcbi.1005609.s003","mla":"Lukacisinova, Marta, et al. Heuristic Prediction for Multiple Stresses. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s003."},"date_updated":"2023-02-23T12:55:39Z","department":[{"_id":"ToBo"},{"_id":"CaGu"},{"_id":"NiBa"}],"title":"Heuristic prediction for multiple stresses","author":[{"first_name":"Marta","id":"4342E402-F248-11E8-B48F-1D18A9856A87","last_name":"Lukacisinova","orcid":"0000-0002-2519-8004","full_name":"Lukacisinova, Marta"},{"full_name":"Novak, Sebastian","last_name":"Novak","id":"461468AE-F248-11E8-B48F-1D18A9856A87","first_name":"Sebastian"},{"id":"2C5658E6-F248-11E8-B48F-1D18A9856A87","first_name":"Tiago","orcid":"0000-0003-2361-3953","full_name":"Paixao, Tiago","last_name":"Paixao"}],"article_processing_charge":"No","oa_version":"Published Version","abstract":[{"text":"Based on the intuitive derivation of the dynamics of SIM allele frequency pM in the main text, we present a heuristic prediction for the long-term SIM allele frequencies with χ > 1 stresses and compare it to numerical simulations.","lang":"eng"}],"month":"07","publisher":"Public Library of Science","day":"18","year":"2017","related_material":{"record":[{"status":"public","id":"696","relation":"used_in_publication"}]},"doi":"10.1371/journal.pcbi.1005609.s003","date_published":"2017-07-18T00:00:00Z","date_created":"2021-08-09T14:08:14Z"},{"oa_version":"Published Version","abstract":[{"text":"We show how different combination strategies affect the fraction of individuals that are multi-resistant.","lang":"eng"}],"month":"07","publisher":"Public Library of Science","day":"18","year":"2017","date_created":"2021-08-09T14:11:40Z","date_published":"2017-07-18T00:00:00Z","doi":"10.1371/journal.pcbi.1005609.s004","related_material":{"record":[{"id":"696","status":"public","relation":"used_in_publication"}]},"_id":"9852","status":"public","type":"research_data_reference","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","date_updated":"2023-02-23T12:55:39Z","citation":{"mla":"Lukacisinova, Marta, et al. Resistance Frequencies for Different Combination Strategies. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s004.","short":"M. Lukacisinova, S. Novak, T. Paixao, (2017).","ieee":"M. Lukacisinova, S. Novak, and T. Paixao, “Resistance frequencies for different combination strategies.” Public Library of Science, 2017.","ama":"Lukacisinova M, Novak S, Paixao T. Resistance frequencies for different combination strategies. 2017. doi:10.1371/journal.pcbi.1005609.s004","apa":"Lukacisinova, M., Novak, S., & Paixao, T. (2017). Resistance frequencies for different combination strategies. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005609.s004","chicago":"Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Resistance Frequencies for Different Combination Strategies.” Public Library of Science, 2017. https://doi.org/10.1371/journal.pcbi.1005609.s004.","ista":"Lukacisinova M, Novak S, Paixao T. 2017. Resistance frequencies for different combination strategies, Public Library of Science, 10.1371/journal.pcbi.1005609.s004."},"title":"Resistance frequencies for different combination strategies","department":[{"_id":"ToBo"},{"_id":"CaGu"},{"_id":"NiBa"}],"article_processing_charge":"No","author":[{"last_name":"Lukacisinova","full_name":"Lukacisinova, Marta","orcid":"0000-0002-2519-8004","id":"4342E402-F248-11E8-B48F-1D18A9856A87","first_name":"Marta"},{"full_name":"Novak, Sebastian","last_name":"Novak","first_name":"Sebastian","id":"461468AE-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Paixao","full_name":"Paixao, Tiago","orcid":"0000-0003-2361-3953","id":"2C5658E6-F248-11E8-B48F-1D18A9856A87","first_name":"Tiago"}]},{"_id":"9855","type":"research_data_reference","status":"public","date_updated":"2023-02-23T12:52:17Z","citation":{"mla":"Chalk, Matthew J., et al. Supplementary Appendix. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005582.s001.","ieee":"M. J. Chalk, P. Masset, B. Gutkin, and S. Denève, “Supplementary appendix.” Public Library of Science, 2017.","short":"M.J. Chalk, P. Masset, B. Gutkin, S. Denève, (2017).","ama":"Chalk MJ, Masset P, Gutkin B, Denève S. Supplementary appendix. 2017. doi:10.1371/journal.pcbi.1005582.s001","apa":"Chalk, M. J., Masset, P., Gutkin, B., & Denève, S. (2017). Supplementary appendix. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005582.s001","chicago":"Chalk, Matthew J, Paul Masset, Boris Gutkin, and Sophie Denève. “Supplementary Appendix.” Public Library of Science, 2017. https://doi.org/10.1371/journal.pcbi.1005582.s001.","ista":"Chalk MJ, Masset P, Gutkin B, Denève S. 2017. Supplementary appendix, Public Library of Science, 10.1371/journal.pcbi.1005582.s001."},"user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","author":[{"id":"2BAAC544-F248-11E8-B48F-1D18A9856A87","first_name":"Matthew J","last_name":"Chalk","full_name":"Chalk, Matthew J","orcid":"0000-0001-7782-4436"},{"last_name":"Masset","full_name":"Masset, Paul","first_name":"Paul"},{"last_name":"Gutkin","full_name":"Gutkin, Boris","first_name":"Boris"},{"full_name":"Denève, Sophie","last_name":"Denève","first_name":"Sophie"}],"article_processing_charge":"No","title":"Supplementary appendix","department":[{"_id":"GaTk"}],"abstract":[{"text":"Includes derivation of optimal estimation algorithm, generalisation to non-poisson noise statistics, correlated input noise, and implementation of in a multi-layer neural network.","lang":"eng"}],"oa_version":"Published Version","publisher":"Public Library of Science","month":"06","year":"2017","day":"01","date_published":"2017-06-01T00:00:00Z","doi":"10.1371/journal.pcbi.1005582.s001","related_material":{"record":[{"status":"public","id":"680","relation":"used_in_publication"}]},"date_created":"2021-08-10T07:05:10Z"},{"citation":{"mla":"Le, Xuan, et al. “JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder.” Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–79, doi:10.1145/3092703.3098225.","apa":"Le, X., Chu, D. H., Lo, D., Le Goues, C., & Visser, W. (2017). JFIX: Semantics-based repair of Java programs via symbolic PathFinder. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 376–379). Santa Barbara, CA, United States: ACM. https://doi.org/10.1145/3092703.3098225","ama":"Le X, Chu DH, Lo D, Le Goues C, Visser W. JFIX: Semantics-based repair of Java programs via symbolic PathFinder. In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM; 2017:376-379. doi:10.1145/3092703.3098225","short":"X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–379.","ieee":"X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “JFIX: Semantics-based repair of Java programs via symbolic PathFinder,” in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, United States, 2017, pp. 376–379.","chicago":"Le, Xuan, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. “JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder.” In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 376–79. ACM, 2017. https://doi.org/10.1145/3092703.3098225.","ista":"Le X, Chu DH, Lo D, Le Goues C, Visser W. 2017. JFIX: Semantics-based repair of Java programs via symbolic PathFinder. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. ISSTA: International Symposium on Software Testing and Analysis, 376–379."},"date_updated":"2021-01-12T08:22:05Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Xuan","full_name":"Le, Xuan","last_name":"Le"},{"id":"3598E630-F248-11E8-B48F-1D18A9856A87","first_name":"Duc Hiep","last_name":"Chu","full_name":"Chu, Duc Hiep"},{"first_name":"David","last_name":"Lo","full_name":"Lo, David"},{"last_name":"Le Goues","full_name":"Le Goues, Claire","first_name":"Claire"},{"first_name":"Willem","last_name":"Visser","full_name":"Visser, Willem"}],"publist_id":"6478","department":[{"_id":"ToHe"}],"title":"JFIX: Semantics-based repair of Java programs via symbolic PathFinder","_id":"941","type":"conference","conference":{"end_date":"2017-07-14","location":"Santa Barbara, CA, United States","start_date":"2017-07-10","name":"ISSTA: International Symposium on Software Testing and Analysis"},"project":[{"call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering"},{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","grant_number":"Z211"}],"status":"public","year":"2017","publication_status":"published","day":"10","publication":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","language":[{"iso":"eng"}],"page":"376 - 379 ","doi":"10.1145/3092703.3098225","date_published":"2017-07-10T00:00:00Z","date_created":"2018-12-11T11:49:19Z","abstract":[{"text":"Recently there has been a proliferation of automated program repair (APR) techniques, targeting various programming languages. Such techniques can be generally classified into two families: syntactic- and semantics-based. Semantics-based APR, on which we focus, typically uses symbolic execution to infer semantic constraints and then program synthesis to construct repairs conforming to them. While syntactic-based APR techniques have been shown successful on bugs in real-world programs written in both C and Java, semantics-based APR techniques mostly target C programs. This leaves empirical comparisons of the APR families not fully explored, and developers without a Java-based semantics APR technique. We present JFix, a semantics-based APR framework that targets Java, and an associated Eclipse plugin. JFix is implemented atop Symbolic PathFinder, a well-known symbolic execution engine for Java programs. It extends one particular APR technique (Angelix), and is designed to be sufficiently generic to support a variety of such techniques. We demonstrate that semantics-based APR can indeed efficiently and effectively repair a variety of classes of bugs in large real-world Java programs. This supports our claim that the framework can both support developers seeking semantics-based repair of bugs in Java programs, as well as enable larger scale empirical studies comparing syntactic- and semantics-based APR targeting Java. The demonstration of our tool is available via the project website at: https://xuanbachle.github.io/semanticsrepair/ ","lang":"eng"}],"oa_version":"None","scopus_import":1,"quality_controlled":"1","publisher":"ACM","month":"07"}]