2669 पेपर
यह शोध पत्र स्पेसिफिकेशन-ड्रिवन डेवलपमेंट (SDD) के लिए एक व्यापक मार्गदर्शिका प्रस्तुत करता है, जो इसके सिद्धांतों, स्पेसिफिकेशन की तीन स्तरों की कठोरता और सहायक उपकरणों को रेखांकित करता है ताकि यह प्रदर्शित किया जा सके कि कैसे स्पेसिफिकेशन को प्राथमिक आर्टिफैक्ट (artifact) के रूप में मानने से विविध सॉफ्टवेयर डोमेन में एआई कोडिंग असिस्टेंट का प्रभावी ढंग से लाभ उठाया जा सकता है।
यह शोध पत्र RVDebloater प्रस्तुत करता है, जो एक नवीन अनुकूलनशील तकनीक है जो रोबोटिक वाहनों के परिचालन मोड के आधार पर फंक्शन स्तर पर अनावश्यक फर्मवेयर कोड को गतिशील रूप से हटा देती है, जिससे मिशन-महत्वपूर्ण कार्यक्षमता को न्यूनतम प्रदर्शन और मेमोरी ओवरहेड के साथ बनाए रखते हुए, हमले की सतह (attack surface) और संसाधन उपयोग को महत्वपूर्ण रूप से कम किया जाता है।
यह शोध पत्र तीन या अधिक भाषाओं वाले पॉलीग्लॉट सिस्टम के विश्लेषण के संबंध में वर्तमान अनुसंधान के अंतराल को संबोधित करता है, जिसमें प्रमुख चुनौतियों की पहचान की गई है और स्केलेबल, भाषा-अज्ञेय (लैंग्वेज-अगनोस्टिक) स्टैटिक एनालिसिस फ्रेमवर्क विकसित करने के लिए एक वैचारिक रोडमैप प्रस्तावित किया गया है।
1.2 मिलियन से अधिक कमिट्स (commits) के इस अनुभवजन्य अध्ययन से पता चलता है कि कोडिंग एजेंट, गैर-एजेंटों की तुलना में टेस्ट जेनरेट करने और विशेष रूप से उन्हें अत्यधिक मॉक (over-mock) करने की काफी अधिक संभावना रखते हैं, जो टेस्ट की रखरखाव क्षमता (maintainability) और प्रभावशीलता के बारे में चिंताएँ पैदा करता है और बेहतर एजेंट कॉन्फ़िगरेशन मार्गदर्शन की आवश्यकता को रेखांकित करता है।
यह शोध पत्र GitEvo प्रस्तुत करता है, जो एक बहु-भाषी और विस्तार योग्य उपकरण है जो चिकित्सकों, शोधकर्ताओं और शिक्षकों के लिए कोड विकास अध्ययनों का समर्थन करने हेतु Git-स्तरीय और कोड-स्तरीय विश्लेषण को एकीकृत करता है।
यह शोध पत्र एक इंटेलिजेलजे (IntelliJ) आईडिया (IDEA) प्लगइन विकसित करके सुरक्षा संबंधी कमजोरियों को रोकने के लिए एक सक्रिय दृष्टिकोण प्रस्तुत करता है, जो सुरक्षा-महत्वपूर्ण विधियों की पहचान करने के लिए कोड-स्तरीय मेट्रिक्स को बड़े भाषा मॉडल (large language models) के साथ जोड़ता है ताकि डेवलपर्स के लिए कार्रवाई-उन्मुख, रोकथाम-उन्मुख स्पष्टीकरण उत्पन्न किए जा सकें।
यह शोध पत्र "टेस्ट ऑब्सेस्ड बाय मेथड" (Test Obsessed by Method) नामक एक नवीन टेस्ट स्मेल प्रस्तावित करता है, जो उन परीक्षणों की पहचान करता है जो एक ही प्रोडक्शन मेथड के कई निष्पादन पथों (execution paths) को कवर करते हैं, और पायथन स्टैंडर्ड लाइब्रेरी पर एक अनुभवजन्य अध्ययन के माध्यम से इसके पता लगाने की पुष्टि करता है जो यह दर्शाता है कि ऐसे परीक्षण अक्सर कई व्यवहारों को सत्यापित करते हैं और उन्हें अधिक केंद्रित इकाइयों में पुनर्गठित किया जा सकता है।
यह शोध पत्र स्टेटिक एनालिसिस और एलएलएम-असिस्टेड रिव्यू का उपयोग करते हुए मानव-लिखित बेसलाइन के विरुद्ध तीन सी-टू-रस्ट ट्रांसलेशन टूल्स का मूल्यांकन करता है, जो यह प्रकट करता है कि हालांकि स्वचालित तरीके कुछ सुरक्षा संबंधी मुद्दों को कम करते हैं, वे नए गुणवत्ता संबंधी समझौते पेश करते हैं और सभी आयामों में मानव कोड के साथ लगातार मेल करने में विफल रहते हैं, जो अधिक व्यवस्थित, बहुआयामी मूल्यांकन दृष्टिकोण की आवश्यकता को रेखांकित करता है।
यह अध्ययन प्रदर्शित करता है कि एक लघु-स्तरीय व्यवसाय में लीड-प्रोसेसिंग वर्कफ़्लो के लिए लो-कोड प्लेटफॉर्म n8n को लागू करने से निष्पादन समय को लगभग 151 गुना कम करके और मैन्युअल त्रुटियों को समाप्त करके परिचालन दक्षता में महत्वपूर्ण सुधार होता है।
यह शोध पत्र सेट विभाजनों (set partitions) को सूचीबद्ध करने वाले एल्गोरिदम की समीक्षा करता है, उनकी गणनाओं के लिए अनुमानित सूत्र प्रदान करता है, और बेंचमार्किंग परीक्षणों के आधार पर डजोकिक एट अल. (Djokic et al.) के एल्गोरिदम की अनुशंसा करता है।