Resultados de 1 a 10 de 310.745 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (223.235)
- Revistas revisadas por pares (52.131)
Refinado por:
tipo de recurso:
Anais de Congresso
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ata de Congresso
|
|
A Logic for Locally Complete Abstract InterpretationsBruni, Roberto ; Giacobazzi, Roberto ; Gori, Roberta ; Ranzato, Francesco2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13IEEESem texto completo |
| 2 |
Material Type: Ata de Congresso
|
|
A Comprehensive Study of Autonomous Vehicle BugsGarcia, Joshua ; Feng, Yang ; Shen, Junjie ; Almanee, Sumaya ; Xia, Yuan ; Chen, Qi Alfred2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.385-396ACMSem texto completo |
| 3 |
Material Type: Ata de Congresso
|
|
A Context-Based Automated Approach for Method Name Consistency Checking and SuggestionLi, Yi ; Wang, Shaohua ; Nguyen, Tien2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.574-586IEEETexto completo disponível |
| 4 |
Material Type: Ata de Congresso
|
|
Linear-time Temporal Logic guided Greybox FuzzingMeng, Ruijie ; Dong, Zhen ; Li, Jialin ; Beschastnikh, Ivan ; Roychoudhury, Abhik2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.1343-1355ACMSem texto completo |
| 5 |
Material Type: Ata de Congresso
|
|
TSVD4J: Thread-Safety Violation Detection for JavaRahman, Shanto ; Li, Chengpeng ; Shi, August2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2023, p.78-82IEEESem texto completo |
| 6 |
Material Type: Ata de Congresso
|
|
Bounded Exhaustive Search of Alloy Specification RepairsGutierrez Brida, Simon ; Regis, German ; Zheng, Guolong ; Bagheri, Hamid ; Nguyen, ThanhVu ; Aguirre, Nazareno ; Frias, Marcelo2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.1135-1147IEEETexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
Identifying and Characterizing Silently-Evolved Methods in the Android APILiu, Pei ; Li, Li ; Yan, Yichun ; Fazzini, Mattia ; Grundy, John2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2021, p.308-317IEEETexto 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
|
|
AUTOTRAINER: An Automatic DNN Training Problem Detection and Repair SystemZhang, Xiaoyu ; Zhai, Juan ; Ma, Shiqing ; Shen, Chao2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.359-371IEEETexto completo disponível |
| 10 |
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 |
Resultados de 1 a 10 de 310.745 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (223.235)
- Revistas revisadas por pares (52.131)
Refinar Meus Resultados
Assunto
- Science & Technology (228.648)
- Technology (228.487)
- Computer Science (218.288)
- Computer Science, Software Engineering (168.000)
- Engineering (91.944)
- Computer Science, Theory & Methods (91.060)
- Engineering, Electrical & Electronic (81.051)
- Computer Science, Information Systems (55.916)
- Computer Science, Artificial Intelligence (49.649)
- Software (45.039)
- Software Engineering (38.801)
- Computer Science, Hardware & Architecture (33.962)
- Application Software (28.501)
- Telecommunications (25.721)
- Exact Sciences And Technology (23.706)
- Applied Sciences (23.051)
- Computer Science; Control Theory; Systems (19.781)
- Computer Science, Interdisciplinary Applications (19.752)
- Imaging Science & Photographic Technology (16.583)
- Hardware (16.265)
-
Mais opções
Data de Publicação
- Antes de1976 (87)
- 1976Até1987 (3.485)
- 1988Até1999 (38.422)
- 2000Até2012 (166.370)
- Após 2012 (104.382)
-
Mais opções
Base de Dados/Biblioteca
- IEEE Electronic Library (IEL) Conference Proceedings (149.304)
- ACM Digital Library (80.118)
- Lecture Notes in Computer Science Archive (through to 1996) (43.868)
- SpringerLINK Lecture Notes in Computer Science (2015) (43.827)
- Springer Books (13.613)
- Science Citation Index Expanded (Web of Science) (11.078)
- SPIE Digital Library (Journals) (8.003)
- EBSCOhost Computers and Applied Sciences Complete (6.629)
- SPIE Conference Proceedings by volume (4.371)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (2.485)
- IngentaConnect Journals (2.057)
- Aerospace Database (1.415)
- Springer Nature - Springer Computer Science eBooks 2011 English International (1.139)
- Springer Nature - Springer Computer Science eBooks 2012 English International (788)
- EZB Electronic Journals Library (788)
- Springer Nature - Springer Computer Science eBooks 2016 English International (719)
- ROAD: Directory of Open Access Scholarly Resources (659)
- Springer Nature - Springer Computer Science eBooks 2015 English International (598)
- DOAJ Directory of Open Access Journals (594)
- NUS Single-Journal Subscriptions (503)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 