Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
The NuMI neutrino beamCoelho, João De Abreu Barbosa, 1984-; Escobar, Carlos Ourivio, 1948- Universidade Estadual de Campinas (Unicamp); Universidade Estadual De CampinasCOELHO, João de Abreu Barbosa; ESCOBAR, Carlos Ourivio. The NuMI neutrino beam. Nuclear instruments & methods in physics research. Section A, Accelerators spectrometers detectors and associated equipment. Amsterdam : Elsevier, 2016. Vol. 806 (Jan., 2016), p. 279-306. Disponível em: https://hdl.handle.net/20.500.12733/1666957. Acesso em: 16 nov. 2023.2016Acesso online |
|
2 |
Material Type: Ata de Congresso
|
FaCoY - A Code-to-Code Search EngineKim, Kisub ; Kim, Dongsun ; Bissyande, Tegawende F. ; Choi, Eunjong ; Li, Li ; Klein, Jacques ; Le Traon, Yves2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.946-957ACMTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
CURE: Code-Aware Neural Machine Translation for Automatic Program RepairJiang, Nan ; Lutellier, Thibaud ; Tan, Lin2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.1161-1173IEEETexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Bugs.jar: A Large-Scale, Diverse Dataset of Real-World Java BugsSaha, Ripon ; Lyu, Yingjun ; Lam, Wing ; Yoshida, Hiroaki ; Prasad, Mukul2018 IEEE/ACM 15th International Conference on Mining Software Repositories (MSR), 2018, p.10-13ACMTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
Fault Localization with Code Coverage Representation LearningLi, Yi ; Wang, Shaohua ; Nguyen, Tien2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.661-673IEEETexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
A Graph Solver for the Automated Generation of Consistent Domain-Specific ModelsSemerath, Oszkar ; Nagy, Andras Szabolcs ; Varro, Daniel2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.969-980ACMTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Prioritizing Test Inputs for Deep Neural Networks via Mutation AnalysisWang, Zan ; You, Hanmo ; Chen, Junjie ; Zhang, Yingyi ; Dong, Xuyuan ; Zhang, Wenbin2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.397-409IEEETexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Identifying Patch Correctness in Test-Based Program RepairXiong, Yingfei ; Liu, Xinyuan ; Zeng, Muhan ; Zhang, Lu ; Huang, Gang2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.789-799ACMTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
DeepLocalize: Fault Localization for Deep Neural NetworksWardat, Mohammad ; Le, Wei ; Rajan, Hridesh2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.251-262IEEETexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
RobOT: Robustness-Oriented Testing for Deep Learning SystemsWang, Jingyi ; Chen, Jialuo ; Sun, Youcheng ; Ma, Xingjun ; Wang, Dongxia ; Sun, Jun ; Cheng, Peng2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.300-311IEEETexto completo disponível |