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
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
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

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
3
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
4
PyCG: Practical Call Graph Generation in Python
PyCG: Practical Call Graph Generation in Python
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

PyCG: Practical Call Graph Generation in Python

Salis, Vitalis ; Sotiropoulos, Thodoris ; Louridas, Panos ; Spinellis, Diomidis ; Mitropoulos, Dimitris

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

IEEE

Texto completo disponível

Citações Citado por
5
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
6
Predicting accurate and actionable static analysis warnings: an experimental approach
Predicting accurate and actionable static analysis warnings: an experimental approach
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Predicting accurate and actionable static analysis warnings: an experimental approach

Ruthruff, Joseph R. ; Penix, John ; Morgenthaler, J. David ; Elbaum, Sebastian ; Rothermel, Gregg

International Conference on Software Engineering 2008, 2008, Vol.2008 (24), p.341-350

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
7
One-Path Reachability Logic
One-Path Reachability Logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

One-Path Reachability Logic

Rosu, Grigore ; Stefanescu, Andrei ; Ciobâca, Stefan ; Moore, Brandon M.

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.358-367

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

Citações Citado por
8
DySy: dynamic symbolic execution for invariant inference
DySy: dynamic symbolic execution for invariant inference
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

DySy: dynamic symbolic execution for invariant inference

Csallner, Christoph ; Tillmann, Nikolai ; Smaragdakis, Yannis

International Conference on Software Engineering 2008, 2008, Vol.2008 (24), p.281-290

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
9
Verifying quantitative reliability for programs that execute on unreliable hardware
Verifying quantitative reliability for programs that execute on unreliable hardware
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Verifying quantitative reliability for programs that execute on unreliable hardware

Carbin, Michael ; Misailovic, Sasa ; Rinard, Martin C.

Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications, 2013, p.33-52

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
10
Local temporal reasoning
Local temporal reasoning
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Local temporal reasoning

Koskinen, Eric ; Terauchi, Tachio

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014, p.1-10

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 (201)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1979  (27)
  2. 1979Até1989  (561)
  3. 1990Até2000  (1.384)
  4. 2001Até2012  (3.533)
  5. Após 2012  (1.852)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (246)
  2. Português  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.