Neuste Artikel für Software-Engineering

Forscher entwickeln eine Technik, um Malware bei der Erkennung zu umgehen.

Neue Methoden verbessern die Effizienz der Softwareverifikation mit Hilfe von zusätzlichen Invarianten.

Ein Framework vereinfacht Peephole-Optimierungen für bessere Leistung in Java-Anwendungen.

Eine neue Methode, um die Zuverlässigkeit und Klarheit von JavaScript-Regulären Ausdrücken zu gewährleisten.

Eine neue Logik verbessert das Studium von Agenteninteraktionen in komplexen Systemen.

Dynamische Anpassung von Datenstrukturen für effiziente Performance bei wechselnden Arbeitslasten.

Dieser Artikel untersucht, wie grosse Sprachmodelle Logikcodes effektiv simulieren.

Eine Studie hebt hervor, wie Datenkontamination die Bewertungen von Code-Modellen beeinflusst.

Konzentrier dich darauf, solide Forschung zu nutzen, um die Praktiken in der Softwareentwicklung zu verbessern.

Ein Überblick über den Raft-Algorithmus für Konsens in verteilten Systemen.

Eine neue Methode zur Bestätigung der SQL-Integrität basierend auf OCL-Regeln.

CoderUJB bewertet die Leistung von LLM in echten Java-Programmieraufgaben.

DeepSample bietet effektive Techniken, um Deep Neural Networks effizient und genau zu testen.

Lern, wie LLMs helfen können, C-Programmierung sicherer und effizienter zu machen.

Eine neue Methode verbessert On-Device-Modelle für effizientes KI-Funktionsaufrufen.

Die Rolle von generativer KI bei der Verbesserung von Software-Sicherheitspraktiken erkunden.

Ein neues Modell verbessert die Analyse von WebAssembly-Code durch gemischtes Datenverständnis.

Eine Studie zeigt, wie Codeänderungen die Softwarequalitätsmetriken beeinflussen.

Ein neuer Ansatz, um die Softwareleistung durch dynamische Abstimmungsmethoden zu verbessern.

Ein neuer Ansatz reduziert die Komplexität bei der Überprüfung der Korrektheit von Datenstrukturen.

MLRefScanner verbessert die Erkennung von Code-Refactorings in Python-Machine-Learning-Projekten.

Ein praktischer Leitfaden für Forscher, die gemischte Methoden in der Softwaretechnik verwenden.

Eine Studie über das Teilen, die Pflege und die Qualität von Softwareforschungsartefakten.

Eine neue Methode zur Bewertung von Sprachmodellen, um die Zuverlässigkeit zu verbessern.

Studenten für Softwaretests begeistern mit teamorientiertem Lernen und Open-Source-Projekten.

LogSD verbessert die Anomalieerkennung in Log-Daten, indem es sich auf seltene Ereignisse konzentriert.

Lern, wie wichtig es ist, verteilte Programmabläufe mit den Spezifikationen zu validieren.

Untersuchen, wie LLMs den Screening-Prozess bei systematischen Übersichten unterstützen können.

Die Erforschung der Rolle von Hypereigenschaften bei der Verifizierung komplexer Softwaresysteme.

Ein Blick auf die Komplexitäten von Systemen-von-Systemen in der modernen Softwareentwicklung.

Untersuche die Rolle der menschlichen Aspekte in der Softwaremodellierung und deren Auswirkungen.

Ein Blick auf TopKAT und seine Rolle bei der Analyse von Computerprogrammen.

Ein neuer Ansatz zur Verbesserung der Erkennung von Codeklonen über Softwareprojekte hinweg.

Eine neue Plattform hat sich zum Ziel gesetzt, die Sicherheitstests für moderne Fahrzeugtechnologien zu verbessern.

Gamification steigert das Engagement und die Motivation von Studierenden in Software-Engineering-Programmen.

Diese Studie untersucht die Speichereffizienz in grossen Sprachmodellen durch Niedrigrang-Zerlegung.

Ein neuartiger Ansatz zur Verbesserung der Graphkonsistenz durch Transformationsregeln und Anwendungsbedingungen.

WeChat verbessert die Effizienz der Messberechnung mit BSI-Technologie für bessere Entscheidungen.

Erkunde die Natur, Typen und realen Anwendungen von Constraint-Satisfaction-Problemen.

Ein Blick darauf, wie verschiedene Überwachungssysteme komplexe Verhaltensweisen überprüfen.