skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Lista de Todas as Versões EBSCOhost Computers and Applied Sciences Complete remover Lista de Todas as Versões Ieee Transactions On Software Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The Duality in Computing SSA Programs and Control Dependency
The Duality in Computing SSA Programs and Control Dependency
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Duality in Computing SSA Programs and Control Dependency

Masud, Abu Naser

IEEE transactions on software engineering, 2023-04, Vol.49 (4), p.1766-1781 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
2
Comments on "Using kk-Core Decomposition on Class Dependency Networks to Improve Bug Prediction Model's Practical Performance"
Comments on "Using kk-Core Decomposition on Class Dependency Networks to Improve Bug Prediction Model's Practical Performance"
Material Type:
Artigo 		Adicionar ao Meu Espaço

Comments on "Using kk-Core Decomposition on Class Dependency Networks to Improve Bug Prediction Model's Practical Performance"

Pan, Weifeng ; Ming, Hua ; Yang, Zijiang ; Wang, Tian

IEEE transactions on software engineering, 2022-12, Vol.48 (12), p.5176-5187 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
3
The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs
The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs

Le Goues, Claire ; Holtschulte, Neal ; Smith, Edward K. ; Brun, Yuriy ; Devanbu, Premkumar ; Forrest, Stephanie ; Weimer, Westley

IEEE transactions on software engineering, 2015-12, Vol.41 (12), p.1236-1256 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
4
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs
Material Type:
Artigo 		Adicionar ao Meu Espaço

K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs

Wang, Kun ; Wang, Jingyi ; Poskitt, Christopher M. ; Chen, Xiangxiang ; Sun, Jun ; Cheng, Peng

IEEE transactions on software engineering, 2023-10, Vol.49 (10), p.4796-4813 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
5
A Formal Specification and Verification Framework for Timed Security Protocols
A Formal Specification and Verification Framework for Timed Security Protocols
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Formal Specification and Verification Framework for Timed Security Protocols

Li, Li ; Sun, Jun ; Liu, Yang ; Sun, Meng ; Dong, Jin-Song

IEEE transactions on software engineering, 2018-08, Vol.44 (8), p.725-746 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
6
Looking For Novelty in Search-Based Software Product Line Testing
Looking For Novelty in Search-Based Software Product Line Testing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Looking For Novelty in Search-Based Software Product Line Testing

Xiang, Yi ; Huang, Han ; Li, Miqing ; Li, Sizhe ; Yang, Xiaowei

IEEE transactions on software engineering, 2022-07, Vol.48 (7), p.2317-2338 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
7
A Scalable t-wise Coverage Estimator: Algorithms and Applications
A Scalable t-wise Coverage Estimator: Algorithms and Applications
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Scalable t-wise Coverage Estimator: Algorithms and Applications

Baranov, Eduard ; Chakraborty, Sourav ; Legay, Axel ; Meel, Kuldeep S. ; Vinodchandran, N. Variyam

IEEE transactions on software engineering, 2024-06, p.1-18 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
8
No Need to Lift a Finger Anymore? Assessing the Quality of Code Generation by ChatGPT
No Need to Lift a Finger Anymore? Assessing the Quality of Code Generation by ChatGPT
Material Type:
Artigo 		Adicionar ao Meu Espaço

No Need to Lift a Finger Anymore? Assessing the Quality of Code Generation by ChatGPT

Liu, Zhijie ; Tang, Yutian ; Luo, Xiapu ; Zhou, Yuming ; Zhang, Liang Feng

IEEE transactions on software engineering, 2024-06, Vol.50 (6), p.1548-1584 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
9
A Templating System to Generate Provenance
A Templating System to Generate Provenance
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Templating System to Generate Provenance

Moreau, Luc ; Batlajery, Belfrit Victor ; Trung Dong Huynh ; Michaelides, Danius ; Packer, Heather

IEEE transactions on software engineering, 2018-02, Vol.44 (2), p.103-121 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
10
Breaking Type Safety in Go: An Empirical Study on the Usage of the unsafe Package
Breaking Type Safety in Go: An Empirical Study on the Usage of the unsafe Package
Material Type:
Artigo 		Adicionar ao Meu Espaço

Breaking Type Safety in Go: An Empirical Study on the Usage of the unsafe Package

Costa, Diego Elias ; Mujahid, Suhaib ; Abdalkareem, Rabe ; Shihab, Emad

IEEE transactions on software engineering, 2022-07, Vol.48 (7), p.2277-2294 [Periódico revisado por pares]

New York: IEEE

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.   

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

Buscando em bases de dados remotas. Favor aguardar.