Computerwissenschaften - Software-Entwicklung

Eine neue Methode kombiniert KI und statische Analyse für bessere Code-Vorschläge.

OMP GPT ist darauf spezialisiert, OpenMP-Pragmas für effizientes Coden in HPC zu generieren.

Eine Studie über die Auswirkungen von LLMs in Universitätskursen für Softwaretechnik.

Ein neuer Algorithmus verbessert die Analyse von komplexen Systemen in Geschäftsprozessen.

Instiller verbessert das Fuzz-Testing von CPUs mit effizienten Techniken und besserer Fehlersuche.

MobFuzz verbessert Fuzz-Tests mit multi-objektiven Optimierungen für bessere Software-Sicherheit.

Diese Methode verbessert die Codierungsgenauigkeit durch wiederverwendbares Funktionslernen und Refactoring.

Wir stellen Z3alpha vor, eine neue Methode zur Generierung von SMT-Strategien mit Monte Carlo Tree Search.

SPViz ermöglicht massgeschneiderte Visualisierungstools für ein besseres Verständnis von Softwareprojekten.

Lern, wie man Systeme erstellt, die von Anfang an benutzerfreundliches Design priorisieren.

Eine neue Methode verbessert die Testgenerierung mit grossen Sprachmodellen für eine bessere Abdeckung.

Ein Framework für anpassbare Graphdarstellungen in der Codeanalyse vorstellen.

Die Softwaretests für Studenten durch Gamifizierung spannend machen.

Erforschen, wie ChatGPT die Qualität von Commit-Nachrichten in der Softwareentwicklung verbessern kann.

Dieser Artikel beschäftigt sich mit Methoden, um GPT-3.5 effektiv für die Automatisierung von Code-Reviews zu nutzen.

Die Kombination von LLMs und formaler Verifikation, um die Programmiergenauigkeit und Effizienz zu verbessern.

Diese Studie schlägt neue syntaktische Zucker auf Basis echter Programmiermuster in Java vor.

Diese Studie untersucht die Schwierigkeiten, Bugs in Deep-Learning-Systemen zu identifizieren.

Hier ist FormNexus, ein Verfahren zur effizienten Automatisierung von Webformulartests.

Ein neuer Datensatz liefert Einblicke in die Nutzung von vortrainierten Modellen in Softwareprojekten.

Erforsche die wichtigsten Hindernisse, mit denen agile Teams im Datenmanagement konfrontiert sind, und effektive Lösungen.

Erforschen, wie Verantwortung die Praktiken der Softwareentwicklung und die Dynamik im Team beeinflusst.

Eine neue Methode reduziert falsche Positive in statischen Analysewerkzeugen mit Hilfe von Fuzz-Tests.

Ein neues System verbessert die Generierung von Commit-Nachrichten, indem es den Code-Kontext in den Vordergrund stellt.

Erfahre, wie Organisationen talentierte IT-Profis halten können, trotz der harten Konkurrenz.

Eine Erkundung der Herausforderungen und Strategien zur Verbesserung der Software-Sicherheit.

Ein neuer Ansatz verbessert die Effizienz und Qualität von Code-Reviews durch Deep Learning.

Die Bewertung der ModKalibrierung, um die Codequalität und das Vertrauen der Entwickler zu verbessern.

Dieses Papier bewertet die Effizienz des generierten Codes von verschiedenen Modellen.

Ein Datensatz zur Verbesserung der Genauigkeit der Einheitstest-Generierung mit grossen Sprachmodellen.

Forschung zeigt, wie wichtig benutzerorientiertes Softwaredesign ist, um Fehler zu beheben.

Entdecke, wie Object Graph Programming die Datenverarbeitung in der Softwareentwicklung vereinfacht.

Wir stellen ein Tool vor, mit dem Entwickler individuelle Vorlagen für Fehlerberichte erstellen können.

Lerne, wie agentenbasierte Modelle und SAGE das Verständnis von komplexen Systemen verbessern.

Dieses Papier bespricht Methoden, um LLM-Dienste effizient zu nutzen.

JUNO nutzt neue Software-Tools, um die Neutrino-Forschung und Datenanalyse zu optimieren.

Eine neue Methode verbessert die Effizienz von Regressionstests mit historischen Daten.

Bewertung, wie gut Sprachmodelle bei Programmieraufgaben aus der Sicht der Nutzer unterstützen.

Diese Studie untersucht, wie Entwickler Codeänderungen im Linux-Kernel erklären.

Diese Studie zeigt, wie sich Code-Snippets auf die Qualität der Antworten bei Programmieranfragen auswirken.