Discover ACInv, a tool revolutionizing loop invariant generation for complex programming.
Ruibang Liu, Guoqiang Li, Minyu Chen
― 6 min read
New Science Research Articles Everyday
Discover ACInv, a tool revolutionizing loop invariant generation for complex programming.
Ruibang Liu, Guoqiang Li, Minyu Chen
― 6 min read
Latest Articles
Islem Bouzenia, Michael Pradel
― 5 min read
Annabelle Bergum, Anna-Maria Maurer, Norman Peitek
― 5 min read
Enrique Barba Roque, Luis Cruz, Thomas Durieux
― 7 min read
Florian Kammüller
― 9 min read
Nargiz Humbatova, Jinhan Kim, Gunel Jahangirova
― 4 min read
A new method simplifies binary code interpretation for researchers and developers.
Hanxiao Lu, Hongyu Cai, Yiming Liang
― 6 min read
Discover how hints can improve programming skills and bug fixing.
Ruchit Rawal, Victor-Alexandru Pădurean, Sven Apel
― 5 min read
Explore motivations and influences driving students towards software engineering careers.
Ronnie de Souza Santos, Italo Santos, Robson Santos
― 5 min read
Learn how LLMs can help identify and manage flaky tests in software development.
Xin Sun, Daniel Ståhl, Kristian Sandahl
― 7 min read
Using large language models to detect software weaknesses.
Ira Ceka, Feitong Qiao, Anik Dey
― 8 min read
A tool for spotting design smells in Python and C/C++ deep learning code.
Zengyang Li, Xiaoyong Zhang, Wenshuo Wang
― 6 min read
Exploring how automated testing improves cancer data management and patient care.
Christoph Laaber, Shaukat Ali, Thomas Schwitalla
― 5 min read
Discover how segmented deep hashing transforms code retrieval for developers.
Wenchao Gu, Ensheng Shi, Yanlin Wang
― 7 min read
SWE-Agents transform software development with new capabilities.
Mohamed A. Fouad, Marcelo de Almeida Maia
― 6 min read
Discover how Seeker enhances exception handling for developers.
Xuanming Zhang, Yuxuan Chen, Yiming Zheng
― 5 min read
Examining the role of AI in safeguarding vital computer systems.
Matteo Esposito, Francesco Palagiano, Valentina Lenarduzzi
― 5 min read
Discover the essential role of analog circuits in modern technology.
Haoyi Zhang, Shizhao Sun, Yibo Lin
― 7 min read
Learn how the Transducer method enhances large language models for code tasks.
Imam Nur Bani Yusuf, Lingxiao Jiang
― 8 min read
Fake stars are misleading the software development community.
Hao He, Haoqin Yang, Philipp Burckhardt
― 6 min read
Innovative technique improves AI's inductive reasoning and diverse hypothesis generation.
Kang-il Lee, Hyukhun Koh, Dongryeol Lee
― 14 min read
Discover how internships shape students' experiences and careers in computing.
Saheed Popoola, Ashwitha Vollem, Kofi Nti
― 7 min read
Discover how selective shot learning improves code explanations for developers.
Paheli Bhattacharya, Rishabh Gupta
― 6 min read
Automated tools revolutionize security assessments across digital landscapes.
Charilaos Skandylas, Mikael Asplund
― 6 min read
Explore how variance theories impact software development outcomes and research synthesis.
Julian Frattini, Jannik Fischbach, Davide Fucci
― 6 min read
A new approach enhances static analysis using language models for better software development.
Chengpeng Wang, Yifei Gao, Wuqi Zhang
― 6 min read
Developers face self-admitted technical debt; tools needed to manage it effectively.
Edi Sutoyo, Andrea Capiluppi
― 7 min read
Discover how the Generative AI Toolkit streamlines LLM application development.
Jens Kohl, Luisa Gloger, Rui Costa
― 6 min read
Examining the effectiveness of automated test generation tools in software development.
Noble Saji Mathews, Meiyappan Nagappan
― 6 min read
A look at fairness toolkits in tech and their importance.
Gianmario Voria, Stefano Lambiase, Maria Concetta Schiavone
― 6 min read
SimADFuzz improves safety testing for autonomous vehicles with diverse scenarios.
Huiwen Yang, Yu Zhou, Taolue Chen
― 5 min read
Learn how Parameter-Efficient Fine-Tuning improves code smell detection with LLMs.
Beiqi Zhang, Peng Liang, Xin Zhou
― 7 min read
Researchers aim to optimize language models to enhance efficiency and reduce costs.
Giordano d'Aloisio, Luca Traini, Federica Sarro
― 7 min read
Discover how CPPJoules helps C++ developers track energy consumption effectively.
Shivadharshan S, Akilesh P, Rajrupa Chattaraj
― 5 min read
MORTAR enhances multi-turn dialogue testing for chatbot reliability.
Guoxiang Guo, Aldeida Aleti, Neelofar Neelofar
― 8 min read
This article highlights the need for diverse representation in software engineering education.
Ronnie de Souza Santos, Italo Santos, Robson Santos
― 8 min read
Discover how MRWeb bridges the gap between design and functional websites.
Yuxuan Wan, Yi Dong, Jingyu Xiao
― 7 min read
Discover how Tree-of-Code helps machines solve complex problems efficiently.
Ziyi Ni, Yifan Li, Ning Yang
― 4 min read
LLMs transform software engineering but bring unique challenges.
Cuiyun Gao, Xing Hu, Shan Gao
― 9 min read
Why sharing data and code is key to reliable AI studies.
Odd Erik Gundersen, Odd Cappelen, Martin Mølnå
― 7 min read
Language model-based agents simplify data analysis for everyone.
Maojun Sun, Ruijian Han, Binyan Jiang
― 9 min read
A guide to understanding and addressing faults in deep learning models.
Gunel Jahangirova, Nargiz Humbatova, Jinhan Kim
― 5 min read
Exploring how VR can reshape learning in software engineering.
Dario Di Dario, Stefano Lambiase, Fabio Palomba
― 7 min read
Tech community finds ways to make LLMs leaner and greener.
Guang Yang, Yu Zhou, Xiangyu Zhang
― 8 min read
Exploring fairness-aware practices for machine learning fairness and performance.
Gianmario Voria, Rebecca Di Matteo, Giammaria Giordano
― 7 min read
Study evaluates language models for detecting software vulnerabilities across various programming languages.
Syafiq Al Atiiq, Christian Gehrmann, Kevin Dahlén
― 6 min read
Discover how user modeling shapes better software experiences.
Aaron Conrardy, Alfredo Capozucca, Jordi Cabot
― 6 min read
Researchers innovate in automating code review using advanced technology and federated learning.
Jahnavi Kumar, Sridhar Chimalakonda
― 6 min read
Unpacking the role of generative AI in software engineering learning.
Rudrajit Choudhuri, Ambareesh Ramakrishnan, Amreeta Chatterjee
― 8 min read
How self-driving cars perceive their environment for safety.
Iqra Aslam, Abhishek Buragohain, Daniel Bamal
― 6 min read
Learn how 'Privacy as Code' transforms software development for better security.
Nicolás E. Díaz Ferreyra, Sirine Khelifi, Nalin Arachchilage
― 7 min read
Discover how LLMs transform unit testing for developers.
Ye Shang, Quanjun Zhang, Chunrong Fang
― 6 min read
New dataset helps identify if code is human or AI-generated.
Basak Demirok, Mucahid Kutlu
― 5 min read
ACECode optimizes AI-generated code for efficiency and correctness.
Chengran Yang, Hong Jin Kang, Jieke Shi
― 6 min read
Explore how AI can streamline UML diagram grading for teachers and students.
Chong Wang, Beian Wang, Peng Liang
― 6 min read
Discover how large language models simplify code understanding and documentation.
Md. Ahnaf Akib, Md. Muktadir Mazumder, Salman Ahsan
― 6 min read
RCAEval offers tools for better fault diagnosis in microservice systems.
Luan Pham, Hongyu Zhang, Huong Ha
― 7 min read
Discover how software configurations impact performance and optimization.
Mingyu Huang, Peili Mao, Ke Li
― 6 min read
Learn how LMRPA transforms business operations through smart automation.
Osama Hosam Abdellaif, Abdelrahman Nader, Ali Hamdi
― 8 min read
Learn how AI is changing the landscape of code refactoring for developers.
Indranil Palit, Tushar Sharma
― 8 min read
A new system streamlines document management with speed and accuracy.
Osama Abdellatif, Ahmed Ayman, Ali Hamdi
― 6 min read
Condor improves code output quality through smart analysis of language model submissions.
Qingyuan Liang, Zhao Zhang, Chen Liu
― 6 min read
FedDP improves software defect predictions while ensuring data privacy.
Yuying Wang, Yichen Li, Haozhao Wang
― 5 min read
Combining visual data and language models enhances fixing software issues.
Linhao Zhang, Daoguang Zan, Quanshun Yang
― 5 min read
A look into how developers refine prompts for large language models.
Mahan Tafreshipour, Aaron Imani, Eric Huang
― 5 min read
Discover how input order affects LLM performance in software bug detection.
Md Nakhla Rafi, Dong Jae Kim, Tse-Hsun Chen
― 7 min read
Examining the role and effectiveness of automated code review tools in software development.
Umut Cihan, Vahid Haratian, Arda İçöz
― 6 min read
Discover how new methods improve code review comments through automation and evaluation.
Junyi Lu, Xiaojia Li, Zihan Hua
― 5 min read
A new fuzz testing framework boosts drone safety and efficiency.
Taohong Zhu, Adrians Skapars, Fardeen Mackenzie
― 8 min read
Discover how SimilarGPT enhances smart contract security by detecting vulnerabilities efficiently.
Jango Zhang
― 7 min read
ReSAT improves small language models for better software issue resolution.
Zexiong Ma, Shengnan An, Zeqi Lin
― 5 min read
A new benchmark assesses code quality generated by Large Language Models.
Alejandro Velasco, Daniel Rodriguez-Cardenas, David N. Palacio
― 7 min read
Find the perfect pre-trained model for your IoT device's needs.
Parth V. Patil, Wenxin Jiang, Huiyun Peng
― 6 min read
Improving the readability of automated tests using language models.
Matteo Biagiola, Gianluca Ghislotti, Paolo Tonella
― 5 min read
Discover how software engineering agents are transforming coding efficiency.
Jiayi Pan, Xingyao Wang, Graham Neubig
― 5 min read