skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: IEEE Electronic Library (IEL) Conference Proceedings remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Logic for Locally Complete Abstract Interpretations
A Logic for Locally Complete Abstract Interpretations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Logic for Locally Complete Abstract Interpretations

Bruni, Roberto ; Giacobazzi, Roberto ; Gori, Roberta ; Ranzato, Francesco

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13

IEEE

Sem texto completo

Citações Citado por
2
Identifying Patch Correctness in Test-Based Program Repair
Identifying Patch Correctness in Test-Based Program Repair
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Identifying Patch Correctness in Test-Based Program Repair

Xiong, Yingfei ; Liu, Xinyuan ; Zeng, Muhan ; Zhang, Lu ; Huang, Gang

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.789-799

ACM

Texto completo disponível

Citações Citado por
3
Identifying and Characterizing Silently-Evolved Methods in the Android API
Identifying and Characterizing Silently-Evolved Methods in the Android API
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Identifying and Characterizing Silently-Evolved Methods in the Android API

Liu, Pei ; Li, Li ; Yan, Yichun ; Fazzini, Mattia ; Grundy, John

2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2021, p.308-317

IEEE

Texto completo disponível

Citações Citado por
4
Towards Practical Program Repair with On-demand Candidate Generation
Towards Practical Program Repair with On-demand Candidate Generation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Towards Practical Program Repair with On-demand Candidate Generation

Hua, Jinru ; Zhang, Mengshi ; Wang, Kaiyuan ; Khurshid, Sarfraz

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.12-23

ACM

Texto completo disponível

Citações Citado por
5
Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms
Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms

Ben Abdessalem, Raja ; Nejati, Shiva ; C. Briand, Lionel ; Stifter, Thomas

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.1016-1026

ACM

Texto completo disponível

Citações Citado por
6
Protocols and Architectures for Wireless Sensor Networks
Protocols and Architectures for Wireless Sensor Networks
Material Type:
Livro 		Adicionar ao Meu Espaço

Protocols and Architectures for Wireless Sensor Networks

Karl, Holger ; Willig, Andreas

Wiley 2005

Texto completo disponível

Citações Citado por
7
FaCoY - A Code-to-Code Search Engine
FaCoY - A Code-to-Code Search Engine
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

FaCoY - A Code-to-Code Search Engine

Kisub Kim ; Dongsun Kim ; Bissyande, Tegawende F. ; Eunjong Choi ; Li Li ; Klein, Jacques ; Le Traon, Yves

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.946-957

ACM

Texto completo disponível

Citações Citado por
8
A Graph Solver for the Automated Generation of Consistent Domain-Specific Models
A Graph Solver for the Automated Generation of Consistent Domain-Specific Models
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Graph Solver for the Automated Generation of Consistent Domain-Specific Models

Semerath, Oszkar ; Nagy, Andras Szabolcs ; Varro, Daniel

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.969-980

ACM

Texto completo disponível

Citações Citado por
9
Unveiling the Mystery of API Evolution in Deep Learning Frameworks: A Case Study of Tensorflow 2
Unveiling the Mystery of API Evolution in Deep Learning Frameworks: A Case Study of Tensorflow 2
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Unveiling the Mystery of API Evolution in Deep Learning Frameworks: A Case Study of Tensorflow 2

Zhang, Zejun ; Yang, Yanming ; Xia, Xin ; Lo, David ; Ren, Xiaoxue ; Grundy, John

2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2021, p.238-247

IEEE

Texto completo disponível

Citações Citado por
10
Studying and Suggesting Logging Locations in Code Blocks
Studying and Suggesting Logging Locations in Code Blocks
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Studying and Suggesting Logging Locations in Code Blocks

Li, Zhenhao

2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2020, p.125-127

ACM

Sem texto completo

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (770.533)
  2. Revistas revisadas por pares (11.147)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (1.020.580)
  2. Artigos  (2.450)
  3. Book Chapters  (1.272)
  4. Livros  (478)
  5. Web Resources  (21)
  6. Recursos Textuais  (16)
  7. Reports  (6)
  8. magazinearticle  (1)
  9. Mais opções open sub menu

Idioma 

  1. Inglês  (1.024.823)
  2. Japonês  (16.698)
  3. Chinês  (2.592)
  4. Russo  (1.567)
  5. Turco  (1.285)
  6. Espanhol  (798)
  7. Português  (302)
  8. Francês  (53)
  9. Árabe  (26)
  10. Serbian  (17)
  11. Norueguês  (16)
  12. Croatian  (16)
  13. Catalão  (5)
  14. Ucraniano  (4)
  15. Galês  (4)
  16. Sueco  (4)
  17. Dinamarquês  (4)
  18. Tcheco  (1)
  19. Esperanto  (1)
  20. Alemão  (1)
  21. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.