skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

2
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

3
Plumber: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem
Material Type:
Artigo
Adicionar ao Meu Espaço

Plumber: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem

Wang, Ying ; Sun, Peng ; Pei, Lin ; Yu, Yue ; Xu, Chang ; Cheung, Shing-Chi ; Yu, Hai ; Zhu, Zhiliang

IEEE transactions on software engineering, 2023-05, Vol.49 (5), p.3155-3181 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

4
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

5
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

6
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

7
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

8
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, Vol.50 (6), p.1-35 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

9
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

10
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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.