Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
The Duality in Computing SSA Programs and Control DependencyMasud, Abu NaserIEEE transactions on software engineering, 2023-04, Vol.49 (4), p.1766-1781 [Periódico revisado por pares]New York: IEEETexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
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, TianIEEE transactions on software engineering, 2022-12, Vol.48 (12), p.5176-5187 [Periódico revisado por pares]IEEETexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Plumber: Boosting the Propagation of Vulnerability Fixes in the npm EcosystemWang, Ying ; Sun, Peng ; Pei, Lin ; Yu, Yue ; Xu, Chang ; Cheung, Shing-Chi ; Yu, Hai ; Zhu, ZhiliangIEEE transactions on software engineering, 2023-05, Vol.49 (5), p.3155-3181 [Periódico revisado por pares]New York: IEEETexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
The ManyBugs and IntroClass Benchmarks for Automated Repair of C ProgramsLe Goues, Claire ; Holtschulte, Neal ; Smith, Edward K. ; Brun, Yuriy ; Devanbu, Premkumar ; Forrest, Stephanie ; Weimer, WestleyIEEE transactions on software engineering, 2015-12, Vol.41 (12), p.1236-1256 [Periódico revisado por pares]New York: IEEETexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
A Formal Specification and Verification Framework for Timed Security ProtocolsLi, Li ; Sun, Jun ; Liu, Yang ; Sun, Meng ; Dong, Jin-SongIEEE transactions on software engineering, 2018-08, Vol.44 (8), p.725-746 [Periódico revisado por pares]New York: IEEETexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCsWang, Kun ; Wang, Jingyi ; Poskitt, Christopher M. ; Chen, Xiangxiang ; Sun, Jun ; Cheng, PengIEEE transactions on software engineering, 2023-10, Vol.49 (10), p.4796-4813 [Periódico revisado por pares]New York: IEEETexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Looking For Novelty in Search-Based Software Product Line TestingXiang, Yi ; Huang, Han ; Li, Miqing ; Li, Sizhe ; Yang, XiaoweiIEEE transactions on software engineering, 2022-07, Vol.48 (7), p.2317-2338 [Periódico revisado por pares]New York: IEEETexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
No Need to Lift a Finger Anymore? Assessing the Quality of Code Generation by ChatGPTLiu, Zhijie ; Tang, Yutian ; Luo, Xiapu ; Zhou, Yuming ; Zhang, Liang FengIEEE transactions on software engineering, 2024, Vol.50 (6), p.1-35 [Periódico revisado por pares]New York: IEEETexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
A Templating System to Generate ProvenanceMoreau, Luc ; Batlajery, Belfrit Victor ; Trung Dong Huynh ; Michaelides, Danius ; Packer, HeatherIEEE transactions on software engineering, 2018-02, Vol.44 (2), p.103-121 [Periódico revisado por pares]New York: IEEETexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Breaking Type Safety in Go: An Empirical Study on the Usage of the unsafe PackageCosta, Diego Elias ; Mujahid, Suhaib ; Abdalkareem, Rabe ; Shihab, EmadIEEE transactions on software engineering, 2022-07, Vol.48 (7), p.2277-2294 [Periódico revisado por pares]New York: IEEETexto completo disponível |