🛠️ Category

cs.SE

2463 पेपर

💻 computer science

The ICSE 2026 Shadow PC: Training the Next Generation of Reviewers Through Deliberate Practice

यह शोध पत्र ICSE 2026 शैडो पीसी (Shadow PC) प्रस्तुत करता है, जो एक स्केलेबल प्रशिक्षण कार्यक्रम है जो जानबूझकर किए गए अभ्यास (deliberate practice) और संरचित फीडबैक का उपयोग करता है जिसने 102 प्रतिभागियों को 117 शोध पत्रों की समीक्षा करने के लिए सफलतापूर्वक सुसज्जित किया, साथ ही उच्च संतुष्टि दर प्राप्त की और भविष्य के सॉफ्टवेयर इंजीनियरिंग अनुसंधान नेताओं को विकसित करने के लिए एक व्यवहार्य मार्ग प्रदर्शित किया।

Christian Kästner, Michael Hilton, Jonathan Bell, Francisco Gomes de Oliveira Neto2026-07-23
💻 computer science

A Compositional Approach to Verifying Modular Robotic Systems

यह शोध पत्र रोबोट ऑपरेटिंग सिस्टम (ROS) का उपयोग करके मॉड्यूलर रोबोटिक प्रणालियों के लिए एक कंपोजिशनल वेरिफिकेशन फ्रेमवर्क प्रस्तुत करता है, जिसमें RCL नामक एक डोमेन-विशिष्ट भाषा और वंडा (Vanda) नामक एक टूल पेश किया गया है जो फर्स्ट-ऑर्डर लॉजिक कॉन्ट्रैक्ट्स के साथ नोड्स को निर्दिष्ट करने, रनटाइम मॉनिटर्स को स्वचालित रूप से उत्पन्न करने और इन्फरेंस नियमों के माध्यम से सिस्टम-स्तरीय गुणों को व्युत्पन्न करने के लिए है।

Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher2026-07-22
💻 computer science

Evaluating Uncertainty and Quality of Visual Language Action-enabled Robots

यह शोध पत्र विजन-लैंग्वेज-एक्शन (VLA) रोबोटों के लिए अनिश्चितता और गुणवत्ता मेट्रिक्स के एक सेट का प्रस्ताव देता है और अनुभवजन्य रूप से उसे मान्य करता है, जो एक बड़े पैमाने के अध्ययन के माध्यम से यह प्रदर्शित करता है कि ये मेट्रिक्स मानव विशेषज्ञ निर्णयों के साथ अच्छी तरह से सह-संबंधित हैं और पारंपरिक बाइनरी सफलता दरों की तुलना में कार्य निष्पादन का अधिक सूक्ष्म मूल्यांकन प्रदान करते हैं।

Pablo Valle, Chengjie Lu, Shaukat Ali, Aitor Arrieta2026-07-22
💻 computer science

LLM-Driven Cost-Effective Requirements Change Impact Analysis

यह शोध पत्र ProReFiCIA का प्रस्ताव करता है, जो एक LLM-संचालित दृष्टिकोण है जो आवश्यकताओं के परिवर्तन के प्रभाव विश्लेषण (requirements change impact analysis) को प्रभावी और लागत-कुशल रूप से स्वचालित करता है, और RAG के माध्यम से डोमेन ज्ञान द्वारा संवर्धित होने पर न्यूनतम इंजीनियर समीक्षा प्रयास के साथ 95.8% तक रिकॉल प्राप्त करता है।

Romina Etezadi, Sallam Abualhaija, Chetan Arora, Lionel Briand2026-07-22
💻 computer science

Hybrid Fault-Driven Mutation Testing for Python

यह शोध पत्र PyTation को प्रस्तुत करता है, जो पायथन के लिए एक हाइब्रिड स्टैटिक-डायनामिक म्यूटेशन टेस्टिंग टूल है, जो सात एंटी-पैटर्न-प्रेरित ऑपरेटर्स का उपयोग करता है ताकि अद्वितीय, उच्च-गुणवत्ता वाले म्यूटेंट्स उत्पन्न किए जा सकें जो समान (equivalent) म्यूटेंट्स को कम करते हुए उच्च-कवरेज टेस्ट सूट्स की कमजोरियों को प्रभावी ढंग से उजागर करते हैं।

Saba Alimadadi, Golnaz Gharachorlu2026-07-22
🤖 AI

Don't Blame the Large Language Model: How Agent Harness Evolution Shapes Coding Agent Quality

यह शोध पत्र पहला नियंत्रित अनुदैर्ध्य अध्ययन प्रस्तुत करता है जो यह प्रदर्शित करता है कि कोडिंग एजेंटों की गुणवत्ता में उतार-चढ़ाव का प्राथमिक चालक अंतर्निहित लार्ज लैंग्वेज मॉडल्स के बजाय एजेंट हार्नेस का तीव्र विकास है, जैसा कि Qwen Code CLI के 35 क्रमिक रिलीज़ के गहन विश्लेषण से सिद्ध होता है।

Oussama Ben Sghaier, Hao Li, Bram Adams, Ahmed E. Hassan2026-07-22
💻 computer science

CODENS: Transforming Code Changes into Living, Accessible, and Queryable Documentation

CODENS एक ऐसा सिस्टम है जो पुल रिक्वेस्ट (pull requests) को एक टाइप किए गए सॉफ्टवेयर नॉलेज ग्राफ को क्रमिक रूप से बनाकर जीवित, क्वेरेबल डॉक्यूमेंटेशन में बदल देता है ताकि एजेंट-निर्देशित रिपॉजिटरी-स्तरीय प्रश्नोत्तर सक्षम किया जा सके, जैसा कि एक प्रोडक्शन रूबी ऑन रेल्स (Ruby on Rails) प्रोजेक्ट पर इसके सफल मूल्यांकन द्वारा प्रदर्शित किया गया है।

Abdelhak Kelious, Chyrine Tahri, Eliot Bardet2026-07-22
💻 computer science

Beyond Resolved Rate: A Non-Functional Quality Study

यह अध्ययन प्रकट करता है कि जहाँ नए एआई मॉडल पिछले संस्करणों की तुलना में अधिक रिपॉजिटरी-स्तरीय कोडिंग कार्यों को हल करते हैं, वहीं वे उन कार्यों पर गैर-कार्यात्मक गुणवत्ता मेट्रिक्स जैसे कि स्टैटिक एनालिसिस, कोड कॉम्प्लेक्सिटी, या रिसोर्स यूसेज में निरंतर सुधार प्रदर्शित नहीं करते हैं जिन्हें दोनों पीढ़ियों ने सफलतापूर्वक हल किया है।

Xin Sun, Daniel Ståhl, Kristian Sandahl, Christoph Kessler2026-07-22
💻 computer science

Provably Lossless Acceleration of DNN Mutation Testing via Memoization

यह शोध पत्र Mure को प्रस्तुत करता है, जो मूल मॉडलों और म्यूटेंट्स के बीच सामान्य गणना प्रीफिक्स (computation prefixes) को मेमोइज़ करके DNN म्यूटेशन टेस्टिंग को तेज़ करने वाला पहला प्रमाणित लॉसलेस (lossless) फ्रेमवर्क है, जो सटीकता से समझौता किए बिना कंप्यूटिंग लागत में औसतन 44.54% की कमी लाता है।

Ali Ghanbari, Ben Greenman, Sasan Tavakkol, Shibbir Ahmed2026-07-22
🤖 AI

Skillware: A Software Ontology and Engineering Lifecycle for Persistent Behavioral Artifacts

यह शोध पत्र "Skillware" प्रस्तुत करता है, जो एक सॉफ्टवेयर ऑन्टोलॉजी और इंजीनियरिंग लाइफसाइकिल है जो निरंतर एजेंट कौशल (persistent agent skills) को पारंपरिक सॉफ्टवेयर इंजीनियरिंग से अलग एक औपचारिक पहचान, जीवनचक्र निरंतरता और निष्पादन संबंध स्थापित करके स्वतंत्र, रखरखाव योग्य और विकसित होने योग्य सॉफ्टवेयर आर्टिफैक्ट्स के रूप में पुनर्व्याख्या करता है।

Haodi Fan, Zucong Lan2026-07-22