A new tool offers quick feedback for programming assignments.
Pedro Orvalho, Mikoláš Janota, Vasco Manquinho
― 7 min read
Cutting edge science explained simply
A new tool offers quick feedback for programming assignments.
Pedro Orvalho, Mikoláš Janota, Vasco Manquinho
― 7 min read
Latest Articles
Alexey Vasilev, Anna Volodkevich, Denis Kulandin
― 5 min read
Laura Pomponio, Maximiliano Cristiá, Estanislao Ruiz Sorazábal
― 7 min read
Umm-e- Habiba, Markus Haug, Justus Bogner
― 5 min read
Faiz Ali Shah, Ahmed Sabir, Rajesh Sharma
― 6 min read
Oishik Chatterjee, Pooja Aggarwal, Suranjana Samanta
― 6 min read
Exploring safety and compliance in AI-driven healthcare technologies.
Tuomas Granlund, Vlad Stirbu, Tommi Mikkonen
― 7 min read
Investigating the struggles developers face when creating accessible mobile applications.
Amila Indika, Christopher Lee, Haochen Wang
― 6 min read
Examining security issues faced by mobile app developers on Stack Overflow.
Timothy Huo, Ana Catarina Araújo, Jake Imanaka
― 6 min read
Exploring the benefits of a model-driven approach for cybersecurity risk management.
Christophe Ponsard
― 6 min read
A novel approach to streamline UI testing for mobile apps using machine learning.
Sidong Feng, Haochuan Lu, Jianqin Jiang
― 9 min read
Learn key strategies for handling shared resources in concurrent programming.
Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke
― 5 min read
A new approach enhances symbolic execution in Python using a Large Language Model.
Wenhan Wang, Kaibo Liu, An Ran Chen
― 6 min read
New method enhances trust and clarity in software verification processes.
Nick Feng, Lina Marsso, Marsha Chechik
― 7 min read
A new method enhances DNN testing by combining feature selection with uncertainty-based prioritization.
Jialuo Chen, Jingyi Wang, Xiyue Zhang
― 6 min read
New method enhances product defect detection in manufacturing using deep learning.
Altaf Allah Abbassi, Houssem Ben Braiek, Foutse Khomh
― 6 min read
A look into applying MCDC testing metrics in Rust programming.
Wanja Zaeske, Pietro Albini, Florian Gilcher
― 7 min read
This study highlights the risks posed by code clones and their management.
Reishi Yokomori, Katsuro Inoue
― 7 min read
Study reveals how faulty code affects test case quality from LLMs.
Dong Huang, Jie M. Zhang, Mingzhe Du
― 5 min read
Harden helps users track behaviors and thoughts to combat addiction.
Nathan Henry
― 5 min read
Using LLMs for accurate software project cost and duration estimation.
Justin Carpenter, Chia-Ying Wu, Nasir U. Eisty
― 7 min read
Inconsistent code comments can lead to bugs and software issues.
Shiva Radmanesh, Aaron Imani, Iftekhar Ahmed
― 6 min read
Key points to enhance your NeurIPS paper for better evaluation.
Ana Nunez, Nafis Tanveer Islam, Sumit Kumar Jha
― 4 min read
This study assesses the effectiveness of various LLMs in identifying code vulnerabilities.
Shaznin Sultana, Sadia Afreen, Nasir U. Eisty
― 5 min read
Examining the privacy issues linked to third-party SDKs in mobile applications.
Mark Huasong Meng, Chuan Yan, Yun Hao
― 4 min read
A new benchmark assessing large code models in real-world coding tasks.
Jia Feng, Jiachen Liu, Cuiyun Gao
― 5 min read
Analyzing WASI performance issues using an eBPF-based framework for better web applications.
Chenxi Mao, Yuxin Su, Shiwen Shan
― 6 min read
Explore the causes and solutions for flaky tests disrupting software development.
Alexander Berndt, Thomas Bach, Sebastian Baltes
― 5 min read
GPT-O1 model shows improved bug fixing capabilities compared to earlier versions.
Haichuan Hu, Ye Shang, Guolin Xu
― 6 min read
This article explores the challenges and risks of sensitive information in software logs.
Roozbeh Aghili, Heng Li, Foutse Khomh
― 6 min read
A smart system that streamlines coding through AI-powered solutions.
Anmol Gautam, Kishore Kumar, Adarsh Jha
― 6 min read
A new RL environment aims to improve code optimization for MLIR compiler.
Nazim Bendib, Iheb Nassim Aouadj, Riyadh Baghdadi
― 7 min read
A new method enhances automated code review comments using reviewer experience.
Hong Yi Lin, Patanamon Thongtanunam, Christoph Treude
― 6 min read
Examining prompt programming and its impact on software creation and user experience.
Jenny T. Liang, Melissa Lin, Nikitha Rao
― 5 min read
This study evaluates LLM effectiveness in static and dynamic program slicing tasks.
Kimya Khakzad Shahandashti, Mohammad Mahdi Mohajer, Alvine Boaye Belle
― 6 min read
A detailed look at workload patterns in web applications for improved resource management.
Roozbeh Aghili, Qiaolin Qin, Heng Li
― 7 min read
vMocks streamline formal verification, enhancing software safety and reliability.
Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel
― 6 min read
Bots streamline tasks and improve collaboration in software engineering.
Stefano Lambiase, Gemma Catolino, Fabio Palomba
― 5 min read
A study on how technical debt affects deep learning projects.
Federica Pepe, Fiorella Zampetti, Antonio Mastropaolo
― 6 min read
This article reviews OpenAI's new coding models and their performance in web applications.
Yi Cui
― 5 min read
This study assesses the performance of large code models in API suggestions.
Chaozheng Wang, Shuzheng Gao, Cuiyun Gao
― 6 min read
RepoGenReflex enhances code completion by learning from past experiences and providing relevant suggestions.
Jicheng Wang, Yifeng He, Hao Chen
― 5 min read
This article discusses a new method for generating correctness proofs in Rust.
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu
― 5 min read
PromSec optimizes prompts for generating secure and functional code with LLMs.
Mahmoud Nazzal, Issa Khalil, Abdallah Khreishah
― 7 min read
Examining how biases in LLMs affect software team recruitment.
Takashi Nakano, Kazumasa Shimari, Raula Gaikovina Kula
― 5 min read
Research shows how auxiliary functions enhance code generation in instruction-tuned models.
Seonghyeon Lee, Suyeon Kim, Joonwon Jang
― 4 min read