Loading…
Loading…
Lifetime Extension of Software Execution Subject to Aging
Machida, Fumio, Jianwen Xiang, Tadano, Kumiko, Maeno, Yoshiharu
Published in IEEE transactions on reliability (01.03.2017)
Published in IEEE transactions on reliability (01.03.2017)
Get full text
Journal Article
Loading…
SemFix: Program repair via semantic analysis
Hoang Duong Thien Nguyen, Dawei Qi, Roychoudhury, Abhik, Chandra, Satish
Published in 2013 35th International Conference on Software Engineering (ICSE) (01.05.2013)
Published in 2013 35th International Conference on Software Engineering (ICSE) (01.05.2013)
Get full text
Conference Proceeding
Loading…
A Comparative Study of Class Rebalancing Methods for Security Bug Report Classification
Zheng, Wei, Xun, Yuxing, Wu, Xiaoxue, Deng, Zhi, Chen, Xiang, Sui, Yulei
Published in IEEE transactions on reliability (01.12.2021)
Published in IEEE transactions on reliability (01.12.2021)
Get full text
Journal Article
Loading…
LLMorpheus: Mutation Testing Using Large Language Models
Tip, Frank, Bell, Jonathan, Schafer, Max
Published in IEEE transactions on software engineering (01.06.2025)
Published in IEEE transactions on software engineering (01.06.2025)
Get full text
Journal Article
Loading…
Evaluating and Improving Unified Debugging
Benton, Samuel, Li, Xia, Lou, Yiling, Zhang, Lingming
Published in IEEE transactions on software engineering (01.11.2022)
Published in IEEE transactions on software engineering (01.11.2022)
Get full text
Journal Article
Loading…
A Systematic Review on Code Clone Detection
Ain, Qurat Ul, Butt, Wasi Haider, Anwar, Muhammad Waseem, Azam, Farooque, Maqbool, Bilal
Published in IEEE access (2019)
Published in IEEE access (2019)
Get full text
Journal Article
Loading…
Prioritizing Test Inputs for Deep Neural Networks via Mutation Analysis
Wang, Zan, You, Hanmo, Chen, Junjie, Zhang, Yingyi, Dong, Xuyuan, Zhang, Wenbin
Published in Proceedings / International Conference on Software Engineering (01.05.2021)
Published in Proceedings / International Conference on Software Engineering (01.05.2021)
Get full text
Conference Proceeding
Loading…
Loading…
Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-Box Fuzzing?
Wu, Mingyuan, Xiang, Jiahong, Chen, Kunqiu, Di, Peng, Tan, Shin Hwei, Cui, Heming, Zhang, Yuqun
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
Inputs From Hell
Soremekun, Ezekiel, Pavese, Esteban, Havrikov, Nikolas, Grunske, Lars, Zeller, Andreas
Published in IEEE transactions on software engineering (01.04.2022)
Published in IEEE transactions on software engineering (01.04.2022)
Get full text
Journal Article
Loading…
Entropy Based Software Reliability Analysis of Multi-Version Open Source Software
Singh, V.B., Sharma, Meera, Pham, Hoang
Published in IEEE transactions on software engineering (01.12.2018)
Published in IEEE transactions on software engineering (01.12.2018)
Get full text
Journal Article
Loading…
Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels
Meng Xu, Chenxiong Qian, Kangjie Lu, Backes, Michael, Taesoo Kim
Published in Proceedings - IEEE Symposium on Security and Privacy (01.05.2018)
Published in Proceedings - IEEE Symposium on Security and Privacy (01.05.2018)
Get full text
Conference Proceeding
Loading…
MuFuzz: Sequence-Aware Mutation and Seed Mask Guidance for Blockchain Smart Contract Fuzzing
Qian, Peng, Wu, Hanjie, Du, Zeren, Vural, Turan, Rong, Dazhong, Cao, Zheng, Zhang, Lun, Wang, Yanbin, Chen, Jianhai, He, Qinming
Published in Data engineering (13.05.2024)
Published in Data engineering (13.05.2024)
Get full text
Conference Proceeding
Loading…
Crash-Resilient Decentralized Synchronous Runtime Verification
Ganguly, Ritam, Kazemloo, Shokufeh, Bonakdarpour, Borzoo
Published in IEEE transactions on dependable and secure computing (01.05.2024)
Published in IEEE transactions on dependable and secure computing (01.05.2024)
Get full text
Journal Article
Loading…
Mutation Reduction Strategies Considered Harmful
Gopinath, Rahul, Ahmed, Iftekhar, Alipour, Mohammad Amin, Jensen, Carlos, Groce, Alex
Published in IEEE transactions on reliability (01.09.2017)
Published in IEEE transactions on reliability (01.09.2017)
Get full text
Journal Article
Loading…
Ensuring the Compatibility of Autonomous Electric Vehicles Components Through a Formal Approach Based on Interaction Protocols
Chouali, Samir, Boukerche, Azzedine, Mostefaoui, Ahmed, Merzoug, Mohammed Amine
Published in IEEE transactions on vehicular technology (01.02.2023)
Published in IEEE transactions on vehicular technology (01.02.2023)
Get full text
Journal Article
Loading…
Dynamic Property Enforcement in Programmable Data Planes
Neves, Miguel, Huffaker, Bradley, Levchenko, Kirill, Barcellos, Marinho
Published in IEEE/ACM transactions on networking (01.08.2021)
Published in IEEE/ACM transactions on networking (01.08.2021)
Get full text
Journal Article
Loading…
Identifying features in forks
Zhou, Shurui, Stănciulescu, Ştefan, Leßenich, Olaf, Xiong, Yingfei, Wąsowski, Andrzej, Kästner, Christian
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (27.05.2018)
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (27.05.2018)
Get full text
Conference Proceeding
Loading…
Evaluating SZZ Implementations Through a Developer-Informed Oracle
Rosa, Giovanni, Pascarella, Luca, Scalabrino, Simone, Tufano, Rosalia, Bavota, Gabriele, Lanza, Michele, Oliveto, Rocco
Published in Proceedings / International Conference on Software Engineering (01.05.2021)
Published in Proceedings / International Conference on Software Engineering (01.05.2021)
Get full text
Conference Proceeding