Computerwissenschaften - Software-Entwicklung

Das Verständnis menschlicher Faktoren ist entscheidend für die Entwicklung sicherer automatisierter Fahrzeuge.

Ein Blick auf die Sicherheitsherausforderungen und Lösungen für Hardware in der Cloud.

Eine neue Methode verbessert die Codevervollständigung mit Hilfe von Datenflussanalyse.

Eine Studie über Sicherheitslücken bei der Überprüfung von Smart-Contract-Adressen und ein vorgeschlagener Erkennungsansatz.

Diese Studie bewertet die Leistung von LCGMs bei Kodierungsaufgaben in Englisch und Chinesisch.

Untersuchen, wie sich generative KI-Tools auf die Produktivität von Software-Profis auswirken.

Neue Methoden verbessern die Erkennung von Ponzi-Schemata bei Kryptowährungsinvestments.

Dieses Framework nutzt mehrere Agenten und Aufgabengraphen für eine effiziente Problemlösung.

Die Verbesserung des Zugangs zu Forschungsartefakten steigert die Qualität der Softwareanforderungen.

Eine frische Methode zum Trainieren von Code-Modellen, die sich auf Semantik und Ausführungsverhalten konzentriert.

Innovative Methode verbessert die Effizienz beim Bugfixing mit LLM-generierten Patches.

Lern, wie digitale Zwillinge das Design und den Betrieb von Raumfahrzeugen verbessern können.

Ein neuer Ansatz, um generatorbasiertes Fuzzing zu verbessern, indem man sich auf Datentypen konzentriert.

Ein Leitfaden zur Umwandlung von nicht-idiomatischem Python-Code mit modernen Techniken.

Lern die Fuzzing-Techniken kennen, um die Sicherheit von Webanwendungen zu verbessern.

StackSight verwandelt WebAssembly mit KI-Techniken in lesbaren C++-Code.

Neue Algorithmen verbessern die Geschwindigkeit und Genauigkeit der Merkmalsauswahl in statistischen Modellen.

Frühe Validierung und Verifizierung stellen sicher, dass Systeme den Bedürfnissen entsprechen und teure Fehler minimiert werden.

Neue Methode bewertet automatisch die Vertrauenswürdigkeit von ML-Vorhersagen.

Erforschen von Methoden für effektive Multi-Label-Klassifikation in der Softwareentwicklung.

Eine neue Metrik, um zu messen, wie schwierig es ist, Programmiersprachen zu kompilieren.

AI nutzen, um die Vektorisierung zu automatisieren, was die Effizienz und Richtigkeit des Codes verbessert.

Ein neues Framework verbessert die Erstellung von Commit-Nachrichten durch Automatisierung.

Erforschen, wie Geräte zusammenarbeiten können für bessere Effizienz und Leistung.

Erkunde Strategien, um die Softwarequalität in offenen, kollaborativen Entwicklungsumgebungen sicherzustellen.

Ein Überblick über metamorphisches Testen und seine Rolle in der Softwarequalität.

Diese Studie bewertet, wie GPT-4 bei Reverse-Engineering-Aufgaben hilft.

M2CVD verbessert die Erkennung von Software-Schwachstellen durch kollaborative Modellansätze.

Ein neuer Ansatz verbessert die Erkennung von Sicherheitsanfälligkeiten in Software durch den Einsatz fortschrittlicher Modelle.

Ein neuer Massstab, um LLMs für Java-Programmieraufgaben zu bewerten.

Eine neue Methode verbessert Code-Sprachmodelle durch effektive Testfälle und Präferenzlernen.

Dieses Papier stellt eine Methode vor, um die Qualität von LLM-generiertem Code zu gewährleisten.

Die Fortschritte in der Quantencomputing erfordern effektives Testen und Debuggen für zuverlässige Software.

Diese Forschung konzentriert sich darauf, wie die Qualität von TDD gemessen und berichtet wird.

LogBatcher vereinfacht das Parsen von Logs mit grossen Sprachmodellen, ganz ohne vorheriges Training.

Lerne, wie ökologische Modellierung hilft, Umweltprobleme anzugehen.

Dieser Artikel besprecht die Risiken von Package-Halluzinationen in code-generierenden Modellen.

Eine neue Methode verbessert LLMs zur Erstellung von hochwertigem UI-Code.

Den Einsatz von Sprachmodellen, um die Fehlersuche und Testeffizienz von Software zu verbessern.

Ein neuer Benchmark testet die Fähigkeit von LLMs, Softwareanfälligkeiten zu finden.