Resultados de 1 a 10 de 858.701 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 (517.415)
- Revistas revisadas por pares (164.479)
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
|
|
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 |
| 3 |
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 |
| 4 |
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 |
| 5 |
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 |
| 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
|
|
Metamorphic Testing and Debugging of Tax Preparation SoftwareTizpaz-Niari, Saeid ; Monjezi, Verya ; Wagner, Morgan ; Darian, Shiva ; Reed, Krystia ; Trivedi, Ashutosh2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Society (ICSE-SEIS), 2023, p.138-149IEEESem texto completo |
| 8 |
Material Type: Ata de Congresso
|
|
The influence of organizational structure on software quality: an empirical case studyNagappan, Nachiappan ; Murphy, Brendan ; Basili, VictorInternational Conference on Software Engineering 2008, 2008, Vol.2008 (24), p.521-530ACMTexto completo disponível |
| 9 |
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 |
| 10 |
Material Type: Ata de Congresso
|
|
CoVeriTeam Service: Verification as a ServiceBeyer, Dirk ; Kanav, Sudeep ; Wachowitz, Henrik2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2023, p.21-25IEEESem texto completo |
Resultados de 1 a 10 de 858.701 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 (517.415)
- Revistas revisadas por pares (164.479)
Refinar Meus Resultados
Assunto
- Science & Technology (429.921)
- Technology (412.647)
- Computer Science (354.652)
- Computer Science, Software Engineering (168.117)
- Computer Science, Theory & Methods (156.743)
- Engineering (156.557)
- Software (127.237)
- Engineering, Electrical & Electronic (119.783)
- Computer Science, Information Systems (96.484)
- Computer Science, Artificial Intelligence (91.366)
- Exact Sciences And Technology (71.021)
- Applied Sciences (67.250)
- Application Software (61.325)
- Computer Science; Control Theory; Systems (59.493)
- Physical Sciences (57.518)
- Computer Science, Hardware & Architecture (47.130)
- Telecommunications (47.032)
- Hardware (42.504)
- Computer Science, Interdisciplinary Applications (42.329)
- Software Engineering (38.808)
-
Mais opções
Data de Publicação
- Antes de1967 (385)
- 1967Até1980 (4.903)
- 1981Até1994 (60.274)
- 1995Até2009 (342.780)
- Após 2009 (458.504)
-
Mais opções
Base de Dados/Biblioteca
- IEEE Electronic Library (IEL) Conference Proceedings (356.122)
- ACM Digital Library Complete (170.276)
- SpringerLINK Lecture Notes in Computer Science (2015) (96.131)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (96.037)
- Aerospace Database (48.328)
- SPIE Digital Library (Journals) (36.210)
- Springer Books (34.979)
- Science Citation Index Expanded (Web of Science) (33.999)
- Single Journals (24.244)
- American Institute of Physics (AIP) Publications (23.765)
- EZB Electronic Journals Library (14.737)
- IngentaConnect Journals (12.594)
- DOAJ Directory of Open Access Journals (11.562)
- SPIE Conference Proceedings by volume (11.367)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (10.329)
- NASA Technical Reports Server (9.494)
- Materials Research Database (9.493)
- ROAD: Directory of Open Access Scholarly Resources (9.321)
- METADEX (8.539)
- Scientific.net Journals (8.101)
-
Mais opções
Idioma
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 