 Online - Werbung
|
|
|
Who's Online
|
|
Zur Zeit sind 476 Gäste und 0 Mitglied(er) online.
Sie sind ein anonymer Besucher. Sie können sich hier anmelden und dann viele kostenlose Features dieser Seite nutzen!
|
|
Haupt - Menü
|
|
|
Kostenlose Online Games
|
|
|
Terminkalender
|
|
|
Seiten - Infos
|
|
|
Online Web Tipps
|
|
|
SEO Challenge RankensteinSEO
|
|
|  |
|
|
|
|
|
|
|
Software-Infos-24/7.de - Infos, News & Tipps rund um Software !
Forschungsbeitrag von GrammaTech für Bug Injector von IEEE SCAM 2019 ausgezeichnet
Geschrieben am Montag, dem 03. Februar 2020 von Software-Infos-24/7.de
|
|
PR-Gateway: Ithaca, NY (USA) - 3. Februar 2020 - Während der International Working Conference zu Source Code Analysis & Manipulation (SCAM) wurde ein Forschungsbeitrag von GrammaTech mit dem "Distinguished Paper Award" des Institute of Electrical and Electronics Engineers (IEEE) Computer Society TCSE (Technical Council on Software Engineering) ausgezeichnet.
Die Veröffentlichung wurde nach mehreren Reviews und Abstimmungen durch die Komiteemitglieder ausgewählt. Das Dokument beschreibt ausführlich Bug Injector, ein System zur automatischen Erstellung von Benchmarks zur individuellen Evaluierung von Tools zur statischen Code-Analyse. Das Papier steht hier zum Download bereit: https://arxiv.org/pdf/1901.02819.pdf
Bug Injector fügt echten Programmen gezielt Fehler auf Basis eines Bug-Templates hinzu. Das Tool führt auf dem Host-Programm Tests aus, um dynamische Spuren zu erkennen. In dieses Spuren sucht es nach einem Punkt, an dem der Zustand zu den Vorgaben eines Bug-Templates passt. Hier modifiziert Bug Injector das Host-Programm, indem es anhand dieses Templates einen Fehler injiziert. Die injizierten Bugs dienen als Testfälle, um einen Benchmark zur Evaluierung eines Tools zur statischen Analyse zu erstellen. Bug Injector verbindet jeden eingefügten Fehler mit dem passenden Programm-Input, um den Bug auszuführen. Das Forscherteam von GrammaTech identifizierte zahlreiche Anforderungen und Desiderate für Fehler-Benchmarks. Daraus ergaben sich Test-Benchmarks "on demand", die diesen Anforderungen gerecht werden. Auch ermöglichte es dieser Ansatz, individuelle Benchmarks zu entwickeln, mit denen Tools für spezifische Einsatzszenarien - etwa eine vorgegebene Codebasis oder Fehlerklasse - evaluiert werden können. Die Eignung der erzeugten Benchmarks für die Evaluierung statischer Bug-Detection-Tools und zum Vergleich unterschiedlicher Werkzeuge konnte experimentell gezeigt werden.
Laut der SCAM Website ist es das Ziel der International Working Conference, Forscher und Praktiker zusammenzubringen, um theoretische Grundlagen, Techniken und Anwendungen im Bereich der Analyse und/oder Manipulation von Quell-Code auf Computersystemen weiter zu entwickeln. Denn obwohl sich das Gros der Software-Entwickler-Community anderen Aspekten der Systementwicklung und -evolution zuwendet, ist der Source-Code die einzige exakte Beschreibung des Verhaltens eines Systems. Die Analyse und Manipulation dieses Source-Codes bleibt nach wie vor ein wichtiges Gebiet.
Weitere Details zu Bug-Injector finden Sie im GrammaTech-Blog
GrammaTech auf der Embedded World 2020 vom 25. bis 27. Februar 2020 in Nürnberg: Halle 4, Stand 4-423
Bug-Injector research was sponsored by the Defense Advanced Research Projects Agency (DARPA) under Contract No. D17PC00096 and the Department of Homeland Security (DHS) Science and Technology Directorate, Cyber Security Division (DHS S&T/CSD) via contract number HHSP233201600062C. The views, opinions, findings, and conclusions or recommendations contained herein are those of the authors and should not be interpreted as necessarily representing the official views policies or endorsements, either expressed or implied, of DARPA or DHS.
About GrammaTech:
GrammaTech's advanced static analysis tools are used by software developers worldwide, spanning a myriad of embedded software industries including avionics, government, medical, military, industrial control, and other applications where reliability and security are paramount. Originally developed within Cornell University, GrammaTech is now a leading research center for software security and a commercial vendor of software-assurance tools and advanced cyber-security solutions. With both static and dynamic analysis tools that analyze source code as well as binary executables, GrammaTech continues to advance the science of superior software analysis, providing technology for developers to produce safer software. For more information, visit www.grammatech.com or follow us on LinkedIn: https://www.linkedin.com/company/grammatech
GrammaTech, Inc.
Rodney Fleming
Esty Street 531
14850 Ithaca, NY
+1-607-273-7340
www.grammatech.com
Pressekontakt:
sayIT Public Relations
Jan Schulze
Franz-Brombach-Str. 11
85435 Erding
jan@sayit-pr.de
08122-954 77 13
www.sayit-pr.de
(Weitere interessante Software News & Software Infos & Software Tipps gibt es hier.)
Zitiert aus der Veröffentlichung des Autors >> PR-Gateway << auf http://www.freie-pressemitteilungen.de. Haftungsausschluss: Freie-PresseMitteilungen.de / dieses News-Portal distanzieren sich von dem Inhalt der News / Pressemitteilung und machen sich den Inhalt nicht zu eigen!
|
|
Für die Inhalte dieser Veröffentlichung ist nicht Software-Infos-247.de als News-Portal sondern ausschließlich der Autor (PR-Gateway) verantwortlich (siehe AGB). Haftungsausschluss: Software-Infos-247.de distanziert sich von dem Inhalt dieser Veröffentlichung (News / Pressemitteilung inklusive etwaiger Bilder) und macht sich diesen demzufolge auch nicht zu Eigen! |
| "Forschungsbeitrag von GrammaTech für Bug Injector von IEEE SCAM 2019 ausgezeichnet" | Anmelden oder Einloggen | 0 Kommentare |
|
| | Für den Inhalt der Kommentare sind die Verfasser verantwortlich. |
|
|
|
Keine anonymen Kommentare möglich, bitte zuerst anmelden |
|
| Diese Web-Videos bei Software-Infos-247.de könnten Sie auch interessieren: |
OSCommerce: Design and Picture Options Tutorial
 | Oscommerce: Tutorial - Adding and Editing A Product
 | Prestashop: Prestashop 101 Day 3 (1.6) - Categories ...
 |
|
|
| Diese Fotos bei Software-Infos-247.de könnten Sie auch interessieren: |
Software-Infos-at-Digital-Science-Match-B ...
 | Software-Infos-at-Digital-Science-Match-B ...
 | Software-Infos-at-Digital-Science-Match-B ...
 | | |
|
| Diese Lexikon-Einträge bei Software-Infos-247.de könnten Sie auch interessieren: |
 Podcasting
Podcasting bezeichnet das Produzieren und Anbieten von Mediendateien (Audio oder Video) über das Internet. Das Kofferwort setzt sich aus den beiden Wörtern iPod und Broadcasting zusammen. Ein einzelner Podcast (deutsch: ein Hörstück, genauer Hördatei oder Bewegtbilddatei) ist somit eine Serie von Medienbeiträgen (Episoden), die über einen Feed (meistens RSS) automatisch bezogen werden können.
Man kann Podcasts als Radio- oder Fernsehsendungen auffassen, die sich unabhängig von Sendezeiten kon ...
| Diese Web-Links bei Software-Infos-247.de könnten Sie auch interessieren: |
· Software - Foren (1)
Links sortieren nach: Titel (A\D) Datum (A\D) Bewertung (A\D) Popularität (A\D)
Forum zu CMS und zu Blog-Systemen
Beschreibung: Forum zu CMS (wie Joomla, Typo3) und zu Blog-Systemen (wie Wordpress)!
Hinzugefügt am: 10.06.2016 Besucher: 1917 Link bewerten Kategorie: Software - Foren
| Diese Forum-Threads bei Software-Infos-247.de könnten Sie auch interessieren: |
365 QForm 9.0.9 (Foplips00, 04.04.2024)
Navigating the Shift: Influencer Marketing Strategies for Changing Consumer Behavior (Dmitriy989, 20.03.2024)
Digital Adoption Platform für meine Firma gesucht (Harald, 06.02.2024)
61 Graitec Advance PowerPack For Autodesk Revit 2024.1 (Foplips00, 23.01.2024)
423 SolidCAM 2023 SP1 HF1 Multilang for SolidWorks 2018-2024 (Foplips00, 22.01.2024)
128 InventorCAM 2023 SP1 HF1 for Autodesk Inventor 2018-2024 (Foplips00, 22.01.2024)
494 Coreform Cubit 2023.8.0 (Foplips00, 22.01.2024)
555 SolidCAM 2023 SP1 for Solid Edge (Foplips00, 22.01.2024)
978 AutoForm Plus R11 11.0.0.6 (Foplips00, 22.01.2024)
227 Graitec Advance PowerPack For Autodesk Revit 2024.1 (Foplips00, 22.01.2024)
| Diese Forum-Posts bei Software-Infos-247.de könnten Sie auch interessieren: |
Wenn du nach einer zuverlässigen [url=https://chatarmin.com/blog/pipedrive-whats-app-integration]Pipedrive WhatsApp[/url] Integration suchst, empfehle ich dir einen Besuch auf chatarmin.com. Dort find ... (unio, 21.04.2024)
proSports.Zone ist der richtige Ort, um mehr über den Boxing Day zu erfahren. Warum gibt es den Boxing Day? proSports.Zone bietet Einblicke in die historischen und kulturellen Hintergründe dieses Fei ... (unio, 18.04.2024)
Hey!
Wenn du überlegst, die ISAE 3402 Zertifizierung für dein Unternehmen zu erlangen, gibt es ein paar wichtige Schritte und Überlegungen. Zuerst solltest du sicherstellen, dass deine internen Kon ... (mickk, 16.04.2024)
Hey!
Also, direkt Erfahrungen habe ich mit dem Immobilienmarkt in Schopfheim nicht, aber ich hab ein bisschen im Netz gestöbert, um herauszufinden, wie die Lage so ist. Generell scheint es, als o ... (alyah, 09.04.2024)
Eine Möglichkeit ist es, dich online umzusehen. Es gibt verschiedene Garten-Shops und spezialisierte Anbieter, die eine breite Auswahl an Pflanzkübeln in verschiedenen Größen und Materialien anbieten. ... (Kuschelbaer, 26.03.2024)
Letztens habe ich was Cooles entdeckt. Ein Unternehmen, das sich darauf spezialisiert hat, Maschinenteile zu schützen, und dabei auch echt auf die Umgebung achtet. Was mich überzeugt hat, war, dass di ... (Erich, 25.03.2024)
Hallo!
Für die Suche nach einem leistungsstarken und effizienten industriellen Hochdruckreiniger, der auch mit hartnäckigem Schmutz und Ablagerungen fertig wird, bin ich zwar kein Experte, aber ich ... (alyah, 24.03.2024)
Hey!
Das Thema Kreditvergleichsportale kann am Anfang echt verwirrend sein, da gibt\'s so viele Optionen! Ich habe zwar keine persönlichen Erfahrungen damit, aber ich habe ein bisschen recherchiert ... (mickk, 24.03.2024)
Nachdem ich selbst eine unvergessliche Rundreise durch das Périgord erlebt habe, kann ich dir einige persönliche Einblicke und Tipps geben. Beginne deine Reise in einer der malerischen Städte des [url ... (Wieher, 24.02.2024)
Hey!
Das Kalibrieren eines Druckers kann anfangs echt knifflig sein. Ich hab zwar selbst keine direkte Erfahrung damit, aber ich bin im Netz auf eine Seite gestoßen, die dir sicher weiterhelfen kan ... (werner, 12.02.2024)
| Diese News bei Software-Infos-247.de könnten Sie auch interessieren: |
membraPure Geschäftsführer Dr. Erdmann Flindt stellt neues Produkt auf der diesjährigen Analytica vor (PR-Gateway, 25.04.2024)
Neuer TOC-Analysator zur Online-Überwachung in Rein- und Reinstwasseranwendungen
Auf der weltweit führenden Messe für Labortechnik, Analytik und Biotechnologie, der "Analytica" in München, stellte die membraPure GmbH ihren neuen aktuellen TOC-Analysator für die Online-Überwachung im Bereich der Rein- und Reinstwasseranwendung vor. Der miniTOC², so der Name des innovativen Produkts, ist das Ergebnis intensiver Forschungs- und Entwicklungsarbeit durch das interdisziplinäre Team des Unte ...
Internationale Auszeichnung für DSMZ-Datenbanken (PR-Gateway, 23.04.2024)
Das Leibniz-Institut DSMZ freut sich, dass die Bedeutung ihrer Digitalen Diversitätsplattform erneut international anerkannt wird
Vier internationale und drei europäische Auszeichnungen für die wissenschaftlichen Datenbanken, die Forschende am Leibniz-Institut DSMZ-Deutsche Sammlung von Mikroorganismen und Zellkulturen GmbH entwickeln, unterstreichen die globale wissenschaftliche Bedeutung des Instituts als Infrastruktur für biologische Daten. Die Global Biodata Coalition (GBC) zeichn ...
Geocon und Cairful gehen zusammen (PR-Gateway, 22.04.2024)
Software-Komplettlösungen für bundesweite Pflegeeinrichtungen - Pflegekräfte werden entlastet - Positiven Wandel in der Branche vorantreiben
BERLIN/DÜREN - "Zwei Kräfte - eine Vision" - so betiteln die beiden bisher eigenständigen Pflegesoftware-Unternehmen Geocon Software GmbH (Berlin) und Cairful GmbH (Düren/NRW) die Basis ihres anstehenden Zusammenschlusses. Zukünftig kommen dadurch alle softwareunterstützten Pflegeprozesse wie Dokumentation, Dienstplanung, Personaleinsatzsteuerung ...
SMROBOT bringt intelligenten Pool-Reinigungsroboter auf den Markt - Valor (schwertschmiedeviktor, 19.04.2024)
Unvergleichliche Reinigungsleistung mit fortschrittlicher KI-Technologie
Am 28. März 2024 stellte SMOROBOT offiziell die ValorTM -Serie intelligenter Poolreinigungsroboter (im Folgenden "Valor") vor und setzte damit einen neuen Standard in der automatisierten Poolreinigung und -pflege.
Mit der kontinuierlichen Weiterentwicklung der künstlichen Intelligenz (KI) sind Roboter ein fester Bestandteil unseres täglichen Lebens geworden. Die Einf ...
Graph Query Language (GQL) ist neuer ISO-Standard (PR-Gateway, 18.04.2024)
Die Abfragesprache für Graphdatenbanken ist die erste ISO-zertifizierte Datenbanksprache seit SQL im Jahr 1987
München - 18. April 2024 - Das ISO/IEC Joint Technical Committee 1 (JTC1) hat GQL (Graph Query Language) zum internationalen Standard erklärt. Die Abfragesprache für Graphdatenbanken definiert die Datenstrukturen und Grundoperationen für das Arbeiten mit ...
Stereoskopische Desktop-Monitore für den Militäreinsatz: Jetzt nach NATO-Standard abgeschirmt und verzont (PR-Gateway, 16.04.2024)
Komplette 3D-Stereo-Arbeitsplatz-Lösungen nach NATO SDIP-27 Standard (Level A, B und C) für militärische Geo-Informationsanwendungen
Weltweit setzen Streitkräfte heute digitale, 3D-stereoskopische Monitore für die Bildauswertung ein. Die stereoskopische Bildanalyse ist eine Schlüsseltechnologie, da sie im Vergleich zur monoskopischen Einzelbildabdeckung aus derselben Quelle und mit gleicher Auflösung einen wesentlich besser interpretierbaren Bildinhalt bietet. Im Rahmen militärischer ...
wowiconsult veranstaltet Branchentreffs in Stuttgart, Bochum und Hamburg (PR-Gateway, 15.04.2024)
FORUM Wohnungswirtschaft 2024
Die wowiconsult GmbH richtet auch in diesem Jahr die Veranstaltungsreihe "FORUM Wohnungswirtschaft" aus. In drei Städten bringt das Software- und Dienstleistungsunternehmen Firmen, Verbände und Experten der Wohnungs- und Immobilienwirtschaft aus dem ganzen Land zusammen.
Mehr als 300 Teilnehmer werden in diesem Jahr zur Veranstaltungsreihe "FORUM Wohnungswirtschaft" erwartet. Auf den Veranstaltungen in Stuttgart, Bochum und Hamburg disk ...
Erweiterte Partnerschaft: (PR-Gateway, 10.04.2024)
Universal Robots tritt dem "Connections Program" von MathWorks bei
Odense/München, 10. April 2024: Universal Robots (UR) ist ab sofort Teil des "Mathworks Connections Program" von MathWorks, dem führenden Entwickler von Software für mathematische Berechnungen.
Das Programm vereint Unternehmen, die kommerziell verfügbare Pr ...
Kipp startet mit neuem SAP-Shop in der Cloud durch (PR-Gateway, 10.04.2024)
Jena / Sulz am Neckar, 10. April 2024 - Mit seinem modernisierten B2B-Onlineshop demonstriert der Normelemente-Hersteller KIPP eindrucksvoll, wie unternehmerische Tradition und digitale Innovation Hand in Hand gehen. Das Projekt in Zusammenarbeit mit der Digitalagentur dotSource setzt auf fortschrittlichen E-Commerce in der Cloud-Umgebung von SAP.
Kunden aus verschiedensten Branchen schätzen seit vielen Jahren die umfangreichen Produktkataloge für Spanntechnik, No ...
enviaM ist Branchensieger und ''Digital-Champion 2024'' (PR-Gateway, 08.04.2024)
enviaM, der führende regionale Energiedienstleister in Ostdeutschland, ist digital auf der Höhe der Zeit und wurde dafür in der Studie "Digital-Champions 2024" von FOCUS-MONEY und DEUTSCHLAND TEST sowie dem IMWF Institut für Management- und Wirtschaftsforschung als Branchensieger der Kategorie "Energieversorger (regional)" ausgezeichnet. Punkten konnte enviaM in Bereichen wie der Digitalisierung im Unternehmen, der Verwendung datengestützter Algorithmen und Software zur Steuerung von ...
| Werbung bei Software-Infos-247.de: |
| Forschungsbeitrag von GrammaTech für Bug Injector von IEEE SCAM 2019 ausgezeichnet |
|
|
Aktuelles Amazon-Schnäppchen
|
|
|
Video Tipp @ Software-Infos-247.de
|
|
|
Online Werbung
|
|
|
Verwandte Links
|
|
|
Artikel Bewertung
|
|
durchschnittliche Punktzahl: 0
Stimmen: 0
|
|
Online Werbung
|
|
|
Möglichkeiten
|
|
|
|
