skip to main content
Idioma:
previous page 1 Resultados 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
11
Concolic testing for deep neural networks
Concolic testing for deep neural networks
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Concolic testing for deep neural networks

Sun, Youcheng ; Wu, Min ; Ruan, Wenjie ; Huang, Xiaowei ; Kwiatkowska, Marta ; Kroening, Daniel

2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.109-119

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
12
Prioritizing Test Inputs for Deep Neural Networks via Mutation Analysis
Prioritizing Test Inputs for Deep Neural Networks via Mutation Analysis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Prioritizing Test Inputs for Deep Neural Networks via Mutation Analysis

Wang, Zan ; You, Hanmo ; Chen, Junjie ; Zhang, Yingyi ; Dong, Xuyuan ; Zhang, Wenbin

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

IEEE

Texto completo disponível

Citações Citado por
13
Using Domain-Specific Corpora for Improved Handling of Ambiguity in Requirements
Using Domain-Specific Corpora for Improved Handling of Ambiguity in Requirements
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Using Domain-Specific Corpora for Improved Handling of Ambiguity in Requirements

Ezzini, Saad ; Abualhaija, Sallam ; Arora, Chetan ; Sabetzadeh, Mehrdad ; Briand, Lionel C.

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

IEEE

Texto completo disponível

Citações Citado por
14
DeepLocalize: Fault Localization for Deep Neural Networks
DeepLocalize: Fault Localization for Deep Neural Networks
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

DeepLocalize: Fault Localization for Deep Neural Networks

Wardat, Mohammad ; Le, Wei ; Rajan, Hridesh

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

IEEE

Texto completo disponível

Citações Citado por
15
Fault Localization with Code Coverage Representation Learning
Fault Localization with Code Coverage Representation Learning
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Fault Localization with Code Coverage Representation Learning

Li, Yi ; Wang, Shaohua ; Nguyen, Tien

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

IEEE

Texto completo disponível

Citações Citado por
16
SmartCheck: static analysis of ethereum smart contracts
SmartCheck: static analysis of ethereum smart contracts
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

SmartCheck: static analysis of ethereum smart contracts

Tikhomirov, Sergei ; Voskresenskaya, Ekaterina ; Ivanitskiy, Ivan ; Takhaviev, Ramil ; Marchenko, Evgeny ; Alexandrov, Yaroslav

2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), 2018, p.9-16

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
17
DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems
DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems

Zhang, Mengshi ; Zhang, Yuqun ; Zhang, Lingming ; Liu, Cong ; Khurshid, Sarfraz

2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.132-142

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
18
Deep code comment generation
Deep code comment generation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Deep code comment generation

Hu, Xing ; Li, Ge ; Xia, Xin ; Lo, David ; Jin, Zhi

2018 IEEE/ACM 26th International Conference on Program Comprehension (ICPC), 2018, p.200-210

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
19
Testing autonomous cars for feature interaction failures using many-objective search
Testing autonomous cars for feature interaction failures using many-objective search
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Testing autonomous cars for feature interaction failures using many-objective search

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

2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.143-154

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
20
AUTOTRAINER: An Automatic DNN Training Problem Detection and Repair System
AUTOTRAINER: An Automatic DNN Training Problem Detection and Repair System
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

AUTOTRAINER: An Automatic DNN Training Problem Detection and Repair System

Zhang, Xiaoyu ; Zhai, Juan ; Ma, Shiqing ; Shen, Chao

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

IEEE

Texto completo disponível

Citações Citado por
previous page 1 Resultados 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 (431)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (113.459)
  2. Artigos  (320)
  3. Livros  (7)
  4. Book Chapters  (4)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (50)
  2. 1988Até1995  (5.608)
  3. 1996Até2003  (35.562)
  4. 2004Até2012  (58.924)
  5. Após 2012  (15.143)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (2.234)
  2. Turco  (115)
  3. Espanhol  (96)
  4. Português  (79)
  5. Chinês  (44)
  6. Norueguês  (5)
  7. Galês  (2)
  8. Russo  (2)
  9. Dinamarquês  (2)
  10. Árabe  (2)
  11. Serbian  (2)
  12. Francês  (1)
  13. Croatian  (1)
  14. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.