Harnessing smarter strategies to catch bugs in software testing.
Hang Du, Vijay Krishna Palepu, James A. Jones
― 6 min read
Cutting edge science explained simply
Harnessing smarter strategies to catch bugs in software testing.
Hang Du, Vijay Krishna Palepu, James A. Jones
― 6 min read
Latest Articles
Danyellias Vaz de Lima Manso, Valdemar Vicente Graciano Neto, Mohamad Kassab
― 5 min read
Georgiana Haldeman, Judah Robbins Bernal, Alec Wydra
― 7 min read
Pepijn de Reus, Ana Oprescu, Jelle Zuidema
― 10 min read
Eric L. Melin, Adam J. Torek, Nasir U. Eisty
― 5 min read
Tom Cappendijk, Pepijn de Reus, Ana Oprescu
― 5 min read
Exploring the strengths of human versus automated code generation.
Md Abdul Awal, Mrigank Rochan, Chanchal K. Roy
― 6 min read
Learn how machines can ease the code review process for developers.
Md. Asif Haider, Ayesha Binte Mostofa, Sk. Sabit Bin Mosaddek
― 6 min read
Explore how IVR systems have transformed with AI technology.
Khushbu Mehboob Shaikh, Georgios Giannakopoulos
― 11 min read
Discover the See-Saw Mechanism for smoother code project management.
Ruslan Idelfonso Magaña Vsevolodovna
― 8 min read
Learn how code refactoring reduces data contamination in software development.
Jialun Cao, Songqiang Chen, Wuqi Zhang
― 6 min read
Discover how recent incidents highlight vulnerabilities in Linux packages.
Duc-Ly Vu, Trevor Dunlap, Karla Obermeier-Velazquez
― 7 min read
Bad data can lead to poor model performance in deep learning applications.
Mehil B Shah, Mohammad Masudur Rahman, Foutse Khomh
― 6 min read
A new approach enhances patch retrieval for software vulnerabilities.
Xueqing Liu, Yuchen Xiong, Qiushi Liu
― 7 min read
Learn how access-control policies protect your data in web applications.
Wen Zhang, Dev Bali, Jamison Kerney
― 4 min read
Cuvis.ai makes hyperspectral imaging easy and accessible for everyone.
Nathaniel Hanson, Philip Manke, Simon Birkholz
― 8 min read
A new method improves coding models using self-generated tests.
Zhihan Liu, Shenao Zhang, Zhaoran Wang
― 6 min read
HULA enhances coding by integrating human feedback in the development process.
Wannita Takerngsaksiri, Jirat Pasuksmit, Patanamon Thongtanunam
― 6 min read
A new method enhances the safety of code generated by language models.
Xiangzhe Xu, Zian Su, Jinyao Guo
― 5 min read
Learn how developers identify and fix bugs effectively.
Salomé Perez-Rosero, Robert Dyer, Samuel W. Flint
― 4 min read
Learn how to create clear software models from complex code.
P. H. M. van Spaendonck
― 6 min read
A clear breakdown of language model components and their roles.
Dawen Zhang, Xiwei Xu, Chen Wang
― 10 min read
Exploring the impact of technical debt on software projects and maintenance.
Shaiful Chowdhury, Hisham Kidwai, Muhammad Asaduzzaman
― 5 min read
Discover how formal methods improve software reliability and help catch bugs early.
Roman Bögli, Leandro Lerena, Christos Tsigkanos
― 6 min read
A look into the testing methods for self-driving car software.
Sneha Sudhir Shetiya, Vikas Vyas, Shreyas Renukuntla
― 4 min read
SpecTool brings clarity to LLM errors in using tools.
Shirley Kokane, Ming Zhu, Tulika Awalgaonkar
― 4 min read
Gaze2AOI automates area marking in videos using eye tracking data.
Karolina Trajkovska, Matjaž Kljun, Klen Čopič Pucihar
― 5 min read
Learn how GOOD simplifies programming and enhances software quality.
Harrie Passier, Lex Bijlsma, Ruurd Kuiper
― 7 min read
A look at how trace logic aids recursive program verification.
Dilian Gurov, Reiner Hähnle
― 6 min read
Assessing language models' effectiveness in coding tasks with new benchmarks.
Nidhish Shah, Zulkuf Genc, Dogu Araci
― 5 min read
CodeSAM helps improve code understanding and analysis through various perspectives.
Alex Mathai, Kranthi Sedamaki, Debeshee Das
― 6 min read
Navigating the challenges of autonomous vehicle technology for a safer future.
Paolo Burgio, Angelo Ferrando, Marco Villani
― 8 min read
Explore how numerical precision impacts algorithms and decision-making.
Grégoire Boussu, Nikolai Kosmatov, Franck Védrine
― 7 min read
This paper discusses improving welding robot synchronization using model checking.
Yvonne Murray, Henrik Nordlie, David A. Anisi
― 5 min read
Monitoring chatbots to prevent mishaps in critical environments.
Andrea Gatti, Viviana Mascardi, Angelo Ferrando
― 6 min read
A new monitoring system for robots improves efficiency and reliability.
Maryam Ghaffari Saadat, Angelo Ferrando, Louise A. Dennis
― 6 min read
A look at how neurodiverse individuals impact software development teams.
Kiev Gama, Grischa Liebel, Miguel Goulão
― 4 min read
Explabox simplifies machine learning for everyone, ensuring transparency and fairness in AI models.
Marcel Robeer, Michiel Bron, Elize Herrewijnen
― 6 min read
A look at how OSS is shaping technology through collaboration and library usage.
Gábor Mészáros, Johannes Wachs
― 6 min read
A look into predicting how long quantum programs take to run.
Ning Ma, Heng Li
― 6 min read
SelectQA improves software testing speed and effectiveness using quantum computing techniques.
Antonio Trovato, Manuel De Stefano, Fabiano Pecorelli
― 6 min read
Researchers explore how language models can clarify complex legal agreements.
Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal
― 7 min read
Clear specifications can transform AI development and enhance system reliability.
Ion Stoica, Matei Zaharia, Joseph Gonzalez
― 6 min read
This article explores how AI can streamline assertion writing in coding.
Mohammad Jalili Torkamani, Abhinav Sharma, Nikita Mehrotra
― 6 min read
A look into common developer issues in hybrid quantum applications.
Jake Zappin, Trevor Stalnaker, Oscar Chaparro
― 7 min read
A look into Jupyter notebooks' crashes and how to prevent them.
Yiran Wang, Willem Meijer, José Antonio Hernández López
― 6 min read