172 papers
Dit artikel introduceert Lockbox, een Zero Trust-architectuur die geavanceerde isolatie, encryptie en strikte toegangscontroles implementeert om de veilige verwerking van gevoelige cloud-workloads, inclusief AI-gestuurde analyses, binnen enterprise-omgevingen mogelijk te maken.
Dit artikel presenteert een geautomatiseerde pipeline die Large Language Models (LLMs) gebruikt om flakke tests in quantumsoftware te detecteren en hun oorzaken te analyseren, waarbij het bestaande dataset met 54% wordt uitgebreid en Google Gemini de beste prestaties levert met een F1-score van 0,9420 voor detectie.
Dit artikel belicht de barrières voor Nieuw-Zeelandse onderzoekers bij software-engineeringconferenties en stelt strategieën voor, zoals hybride deelname en hervormingen, om een eerlijkere wereldwijde participatie te bevorderen.
Dit artikel introduceert een hybride analyseframework dat concolische uitvoering combineert met LLM-gestuurde padprioritering en deep learning om zero-day AI-genereren malware met bewezen garanties en hoge nauwkeurigheid te detecteren.
Dit onderzoek toont aan dat geavanceerde Large Language Models, ondersteund door een dubbele validatieframework, effectief kunnen worden ingezet om automatisch UML-klassediagrammen te genereren uit natuurlijke taalvereisten en deze modellen betrouwbaar te evalueren.
Het paper introduceert AgenticCyOps, een raamwerk dat de beveiliging van multi-agent AI-systemen in enterprise-cyberoperaties verbetert door aanvalsoppervlakken te analyseren en vijf defensieve principes toe te passen om de exploitatie van vertrouwensgrenzen aanzienlijk te verminderen.
ToolRosetta is een geautomatiseerd framework dat open-source code repositories en API's omzet in MCP-compatibele tools, waardoor LLM-agenten complexe taken kunnen uitvoeren met minimale menselijke tussenkomst en verbeterde prestaties.
Dit onderzoek toont aan dat ChatGPT, ondanks beperkingen zoals hallucinaties, in staat is om realistische synthetische systeemvereistenspecificaties te genereren, hoewel grondige expertevaluatie onvermijdelijk blijft.
Dit paper introduceert RoadLogic, een open-source tool die declaratieve OpenSCENARIO-specificaties omzet in uitvoerbare simulaties voor het testen van autonome voertuigen door middel van Answer Set Programming, bewegingsplanning en specificatiegebaseerde monitoring.
Dit artikel beschrijft de ervaringen met het ontwikkelen van drie software-engineeringcurricula voor professionals en presenteert een systematische aanpak met basisprincipes voor het effectief integreren van vakken over requirements engineering in deze dynamische en modulaire opleidingen.
Dit paper presenteert een voorlopig verslag over het Artefact Model voor Regelgevende Requirements Engineering (AM4RRE), dat is ontworpen om de integratie van regelgevende compliance in de softwareontwikkelingscyclus te stroomlijnen door de complexiteit van verschillende perspectieven aan te pakken.
Dit paper introduceert EmbC-Test, een RAG-gebaseerde aanpak die de tijd voor het handmatig schrijven van tests voor ingebouwde C-software met tot 66% verkort door automatisch gegenereerde tests te produceren die 100% syntactisch correct zijn en voor 85% slagen in runtime-validatie.
Dit artikel presenteert een projectgebaseerd curriculum dat agile methoden en AI-vaardigheden integreert om studenten voor te bereiden op AI-gedreven softwareontwikkeling, waarbij een casestudy aantoont dat deze aanpak praktische competenties bevordert maar ook aanpassingen in het onderwijs vereist om fundamentele kennis te waarborgen.
Dit paper introduceert EsoLang-Bench, een benchmark die esoterische programmeertalen gebruikt om aan te tonen dat grote taalmodellen, ondanks hoge scores op standaardtests, gebrek hebben aan echt redeneervermogen en in plaats daarvan voornamelijk op memorisatie vertrouwen.
Deze empirische studie introduceert een taxonomie van 'interaction smells' in multi-turn mens-LLM-codegeneratie, analyseert hun verdeling over zes modellen en stelt een nieuw multi-agent framework genaamd InCE voor om deze kwaliteitsproblemen te verminderen en het succespercentage te verhogen.
Dit paper introduceert neurale debuggers, taalmodellen die traditionele debuggers nabootsen door interactieve controle over Python-uitvoering te bieden, waardoor zowel voorwaartse als achterwaartse uitvoeringsvoorspelling mogelijk wordt en de basis wordt gelegd voor geavanceerde agentische coderingssystemen.
MORCoRA is een multi-objectieve zoektechniek die refactoringsuggesties genereert die niet alleen de codekwaliteit verbeteren, maar ook rekening houden met de beschikbaarheid van deskundige reviewers om een snelle goedkeuring te waarborgen.
Dit paper onderzoekt hoe kunstmatige intelligentie de softwaretestprocessen transformeert door geautomatiseerde testcasegenereering en validatie mogelijk te maken, wat leidt tot hogere efficiëntie, nauwkeurigheid en schaalbaarheid, terwijl het ook de uitdagingen rondom datakwaliteit, transparantie en de balans tussen automatisering en menselijk toezicht adresseert.
Deze studie analyseert de beveiliging en kwaliteit van door LLM's gegenereerde code in meerdere programmeertalen en concludeert dat hoewel AI-codegeneratie mogelijk is, de effectiviteit varieert en vaak tekortschiet in het toepassen van moderne beveiligingsfuncties en best practices.
Dit paper introduceert iProg, een tool die interactieve gestructureerde induktieve programmering toepast om via een samenwerkingsprotocol tussen mens en LLM betrouwbare en onderhoudbare data-analysesystemen te genereren, wat leidt tot een significante verbetering in kwaliteit en ontwikkelingstijd ten opzichte van bestaande Low Code/No Code-methoden.