skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
2
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

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
3
Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques
Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques

Kucuk, Yigit ; Henderson, Tim A. D. ; Podgurski, Andy

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.649-660

IEEE

Texto completo disponível

Citações Citado por
4
Code completion with statistical language models
Code completion with statistical language models
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Code completion with statistical language models

Raychev, Veselin ; Vechev, Martin ; Yahav, Eran

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014, p.419-428

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
5
Concurrent Separation Logic Meets Template Games
Concurrent Separation Logic Meets Template Games
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Concurrent Separation Logic Meets Template Games

Melliès, Paul-André ; Stefanesco, Léo

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.742-755

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
6
Before we knew it: an empirical study of zero-day attacks in the real world
Before we knew it: an empirical study of zero-day attacks in the real world
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Before we knew it: an empirical study of zero-day attacks in the real world

Bilge, Leyla ; Dumitraş, Tudor

Proceedings of the 2012 ACM conference on Computer and communications security, 2012, p.833-844

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
7
AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction
AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction

Huang, Jianjun ; Zhang, Xiangyu ; Tan, Lin ; Wang, Peng ; Liang, Bin

Proceedings of the 36th International Conference on Software Engineering, 2014, p.1036-1046

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
8
Scalable Quantitative Verification for Deep Neural Networks
Scalable Quantitative Verification for Deep Neural Networks
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Scalable Quantitative Verification for Deep Neural Networks

Baluta, Teodora ; Chua, Zheng Leong ; Meel, Kuldeep S. ; Saxena, Prateek

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.312-323

IEEE

Texto completo disponível

Citações Citado por
9
Towards optimal concolic testing
Towards optimal concolic testing
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Towards optimal concolic testing

Wang, Xinyu ; Sun, Jun ; Chen, Zhenbang ; Zhang, Peixin ; Wang, Jingyi ; Lin, Yun

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

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
10
Chucky: exposing missing checks in source code for vulnerability discovery
Chucky: exposing missing checks in source code for vulnerability discovery
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Chucky: exposing missing checks in source code for vulnerability discovery

Yamaguchi, Fabian ; Wressnegger, Christian ; Gascon, Hugo ; Rieck, Konrad

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, 2013, p.499-510

New York, NY, USA: ACM

Texto completo disponível

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. Revistas revisadas por pares (83)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (3.001)
  2. Artigos  (123)
  3. magazinearticle  (7)
  4. Book Chapters  (3)
  5. Reports  (1)
  6. Conjunto de Dados  (1)
  7. Livros  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1984  (43)
  2. 1984Até1993  (149)
  3. 1994Até2003  (381)
  4. 2004Até2014  (2.162)
  5. Após 2014  (436)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.