News - Central | Alle News  News - Central | Lexikon  News - Central | Web_Links  News - Central | Impressum  News - Central | AGB  Mitteilung zu News - Central senden

News Portale @ News Central - News Center & News Guide

Suche:  
 News Portale @ News-Central.de <- Startseite   Einloggen oder Neu anmelden    
Neueste
Top-News
@ N-C.de:
Foto: Tier-Friedhof.Net Screenshot.
AHA! Nachhilfe in Bremen: Vertrautheit und Vertrauen bringen den Lernerfolg!
Screenshot LandLeben-Infos.de
Sünde beichten auf Wir-beichten.de!
TreppenSteiger - eine Alternative zum TreppenLift!
News - Central / Who's Online Who's Online
Zur Zeit sind 357 Gäste und 0 Mitglied(er) online.
Sie sind ein anonymer Benutzer. Sie können sich hier anmelden

News - Central / Online Werbung Online Werbung

News - Central / Hauptmenü Hauptmenü
News-Central - Services
- News-Central - News
- News-Central - Links
- News-Central - Lexikon
- News-Central - Kalender
- News-Central - Testberichte
- News-Central - Seiten Suche

Redaktionelles
- Alle News-Central News
- News-Central Rubriken
- Top 5 bei News-Central
- Web Infos & Tipps

Mein Account
- Log-In @ News-Central
- Mein Account
- Mein Tagebuch
- Log-Out @ News-Central
- Account löschen

Interaktiv
- News-Central Link senden
- News-Central Event senden
- News-Central Testbericht senden
- News-Central Frage stellen
- News-Central News mitteilen
- News-Central Hinweise geben
- News-Central Erfahrungen posten
- Feedback geben
- Kontakt
- Seite weiterempfehlen

Community
- News-Central Mitglieder
- News-Central Gästebuch

Information
- News-Central Impressum
- News-Central AGB & Datenschutz
- News-Central FAQ/ Hilfe
- News-Central Statistiken
- News-Central Werbung

News - Central / Languages Languages
Sprache für das Interface auswählen


News - Central - News Center & News Guide !

News - Central News:  Forschungsbeitrag von GrammaTech für Bug Injector von IEEE SCAM 2019 ausgezeichnet

Geschrieben am Montag, dem 03. Februar 2020 von News-Central.de


News-Central Infos 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 News-Central.de als News-Portal sondern ausschließlich der Autor (PR-Gateway) verantwortlich (siehe AGB). Haftungsausschluss: News-Central.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/Neuanmeldung | 0 Kommentare
Für den Inhalt der Kommentare sind die Verfasser verantwortlich.

Keine anonymen Kommentare möglich, bitte zuerst anmelden

Diese Web-Videos bei News-Central.de könnten Sie auch interessieren:

VW I.D. Vizzion – Kommt der Tesla-Killer von VW? – ...

VW I.D. Vizzion – Kommt der Tesla-Killer von VW? –  ...
Hyundai Kona Elektro: Kompaktes SUV mit Strom - NEW ...

Hyundai Kona Elektro: Kompaktes SUV mit Strom - NEW ...
Mercedes-AMG GT R: Das Monster aus der grünen Hölle ...

Mercedes-AMG GT R: Das Monster aus der grünen Hölle ...

Alle Web-Video-Links bei News-Central.de: News-Central.de Web-Video-Verzeichnis



Diese Testberichte bei News-Central.de könnten Sie auch interessieren:

 Rotwein Femar Roma Rosso DOC Der Femar Roma Rosso DOC (0,75L) von Femar Vini Sr, IT-Monte Porzio Catone, Roma, ist einer der besten Rotweine, den man zu seinem Preis bekommt - kaum zu toppen! (Weitere Testberichte zu Le ... (Peter, 07.4.2024)

 REEVA Instant-Nudelgericht RIND GESCHMACK Reeva Instant Nudeln mit BBQ-Rindfleischgeschmack (60g): In nur 5 Minuten fertig – mit 300 ml heißem Wasser übergießen, 5 Minuten ziehen lassen und umrühren. Solide kleine Mahlzeit ... (xyz_101, 04.4.2024)

 Saperavi 2018 - Rotwein aus Russland Saperavi ist eine dunkle Rebsorte aus dem Alasani-Tal in der Region Kachetien in Ost-Georgien. Der russische Saperavi 2018 kommt aus Sennoy im Temryuksky District desKrasnodar Kra ... (HildeBL2022, 20.2.2023)

 Japanische Nudelsuppe Ramen von OYAKATA (Sojasoße) Hier in der Variante mit dem Geschmack von Sojasoße und einer Gemüsemischung aus Schnittlauch, Mais, Karotten und Lauch. Mir hat sie nicht zugesagt - ich fand sie geschmacksarm. ( ... (KlausFPM, 20.2.2023)

 Wesenitz-Bitter - schmackhafter sächsischer Magenbitter Der Sächsischer Magenbitter Wesenitz-Bitter (33%) ist mild und schmackhaft. Der Wesenitz-Bitter wird seit 1906 nach einem überlieferten Rezept in Dürrröhrsdorf hergestellt.

 Saftorangen Zur Zeit im Angebot bei Famila: Ägyptische Saftorangen "Valencia". Bitte beachten: Bei optimaler Reife ist das Verhältnis zwischen Süße und Säure besonders ausgew ... (Heinz-absolut-Berlin, 05.5.2021)

 Badesalz AntiStress 1300g - Meersalz mit 100% natürlichem ätherischem Rosmarin- & Wacholderöl Das Meersalz verbessert die Hautbeschaffenheit und hat auf den Körper eine positive Wirkung, es versorgt ihn mit notwendigen Makro-und Mikroelementen. Das Badesalz ist reich ... (Bernd-Berlin-13189, 05.5.2021)

 Lamm-Hüfte tiefgefroren aus Neuseeland (Metro) Lamm-Hüfte tiefgefroren aus Neuseeland von der Metro 4 Stück á 175 g Stücke, ohne Fettdeckel, ohne Knochen, aeinzeln vak.-verpackt ca. 700 g Qualität und Geschmac ... (Petra-38-Berlin, 05.5.2021)

 Greywacke Sauvignon Blanc Marlborough NZL trocken 0,75l Ein trockener Weißwein mit kräftiger gelber Farbe aus Neuseeland, würziger Geschmack mit Fruchtaromen. Er passt sehr gut zu Gerichten mit Meeresfrüchten und zu asiatischen G ... (Heinz-integerBLN, 02.5.2021)

 Doña María Mole Gewürzpaste Diese Paste ist das Topping für ihre Enchiladas. Und wenn sie sich beim Essen fragen, ist da etwa Schokolade drin, richtig, auch die kann man zum Würzen nehmen. B ... (Frederik de Kulm, 24.4.2021)

Diese News bei News-Central.de könnten Sie auch interessieren:

 BMF erhält Zulassung der FDA nach 510(k)-für kosmetische Zahnverblendungen (PR-Gateway, Dienstag, 23. April 2024)


Boston, München, 23. April 2023. Boston Micro Fabrication (BMF), ein führender Anbieter fortschrittlicher Fertigungslösungen für Ultrapräzisionsanwendungen, hat die 510(k)-Zulassung der US-amerikanischen Food and Drug Administration (FDA) für sein innovatives UltraThineer?-Material erhalten. Damit werden die weltweit dünnsten kosmetischen Zahnverblendungen hergestellt. Die Präzisionsmikro-Stereolithografie (PµSL) eine 3D-Drucktechnologie von BMF, ermöglicht eine hohe Auflösung, Genau ...

 2.000 Euro für wichtigen Zweck: Asseco Solutions unterstützt die Arbeit des Kinderhospizdienstes Karlsruhe (PR-Gateway, Dienstag, 23. April 2024)
Spendenaktion von Karlsruher IT-Spezialisten

Karlsruhe, 23.04.2024 - Es ist ein Thema, über das oft bereits das Sprechen schwerfällt. Umso wichtiger ist die Arbeit derer, die sich aktiv für Betroffene engagieren: Die haupt- und ehrenamtlichen Mitarbeitenden des Kinderhospizdienstes Karlsruhe betreuen schwer- oder unheilbar kranke Kinder und Jugendliche mit ihren Familien und arbeiten tagtäglich daran, ihre Lebensqualität so weit wie möglich zu verbessern. Um die wichtige Arbeit des Di ...

 Starre Unternehmensstrukturen hemmen Innovationskraft (PR-Gateway, Dienstag, 23. April 2024)
Studie zur Arbeitszufriedenheit 2024

Die Menschen in Deutschland beklagen sich nicht - jedenfalls nicht mit Blick auf ihren Job. Die repräsentativen Ergebnisse der Arbeitszufriedenheitsstudie von AVANTGARDE Experts, die in Zusammenarbeit mit YouGov unter 1.050 Arbeitnehmer:innen in Deutschland durchgeführt wurde, zeigen: 2024 befindet sich die Arbeitszufriedenheit deutscher Mitarbeitender auf höchstem Niveau. Insbesondere der IT-Sektor verzeichnet im Branchenvergleich Rekordergebnisse ...

 E-Rechnungs-Gipfel in Berlin: Countdown zur obligatorischen E-Rechnung (PR-Gateway, Dienstag, 23. April 2024)


Kreuzlingen, April 2024 - Im 10. Jahr des E-Rechnungs-Gipfels ist es so weit: Die verpflichtende E-Rechnung für den B2B Bereich wird zum 1. Januar 2025 eingeführt. Es hat sich ein politischer Grundkonsens entwickelt, dass Deutschland in diesem Digitalisierungs-Feld mit den Nachbarländern mithalten sollte.



Die Formate und die übrigen Rahmenbedingungen sind nun klar und es kann mit der Umsetzung begonnen werden. Denn allein die Vorteile der Automatisierung des Beste ...

 Internationale Auszeichnung für DSMZ-Datenbanken (PR-Gateway, Dienstag, 23. April 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 ...

 Cannabis Hot Stock vor Riesendeals - Testsystem für Autofahrer. Massives Kaufsignal. Neuer 357% Cannabis Aktientip nach 50.133% mit Aurora Cannabis ($ACB), 91.220% mit Curaleaf Holdings ($CURA) und 29 (PR-Gateway, Dienstag, 23. April 2024)


Cannabis Hot Stock vor Riesendeals - Testsystem für Autofahrer. 392% Cannabis Aktientip nach 294.900% mit Canopy Growth



23.04.24

AC Research



Vancouver ( www.aktiencheck.de, Anzeige)

https://www.irw-press.at/prcom/images/messages/2024/74329/aktiencheck022304.001.png

...

 Geocon und Cairful gehen zusammen (PR-Gateway, Montag, 22. April 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 ...

 Cannabis Hot Stock entwickelt Testsystem für Autofahrer. Neuer 357% Cannabis Aktientip nach 50.133% mit Aurora Cannabis ($ACB), 91.220% mit Curaleaf Holdings ($CURA) und 294.900% mit Canopy Growth ($C (PR-Gateway, Montag, 22. April 2024)


Cannabis Hot Stock entwickelt Testsystem für Autofahrer. Neuer 357% Cannabis Aktientip nach 294.900% mit Canopy Growth



22.04.24 10:34

AC Research



Vancouver ( www.aktiencheck.de , Anzeige)

https://www.irw-press.at/prcom/images/messages/2024/74312/AC-220424-3.001.png


< ...

 Goldpreis erreicht 2.400$ - Neuer 321% Gold Hot Stock mit 419 Mio. $ Gold-Lagerstätte und riesigem Moly-Vorkommen. Neuer 321% Gold Hot Stock nach 1.359% mit Barrick Gold Corporation ($GOLD), 1.563% m (PR-Gateway, Montag, 22. April 2024)


Goldpreis erreicht 2.400$ - Neuer 321% Gold Hot Stock. Mit 419 Mio. $ Gold-Lagerstätte und riesigem Moly-Vorkommen



22.04.24 08:18

AC Research



Vancouver ( www.aktiencheck.de , Anzeige)

https://www.irw-press.at/prcom/images/messages/2024/74310/AC-220424-2.001.png



...

 PTA IT-Beratung erhält Siegel \'\'Klimaneutral durch Kompensation\'\' von PRIMAKLIMA (PR-Gateway, Montag, 22. April 2024)
Unternehmen erreicht damit seine Klimaziele

Mannheim, 22. April 2024. Die PTA IT-Beratung hat jüngst das Siegel "Klimaneutral durch Kompensation" von PRIMAKLIMA erhalten. Mit dem Siegel bestätigen die IT-Berater aus Mannheim ihr gestecktes Klimaziel: Als klimaneutraler Standort durch Kompensation ermittelt und kompensiert die PTA IT-Beratung als Unternehmen mindestens die Emissionen aus der Wärmeerzeugung, der Stromversorgung und ihres eigenen Fuhrparks. Bereits 2021 hatte die Geschäf ...

Werbung bei News-Central.de:





Forschungsbeitrag von GrammaTech für Bug Injector von IEEE SCAM 2019 ausgezeichnet

 
News - Central / Video Tipp @ News-Central.de Video Tipp @ News-Central.de

News - Central / Online Werbung Online Werbung

News - Central / Verwandte Links Verwandte Links
· Mehr zu dem Thema News-Central Infos
· Nachrichten von News-Central


Der meistgelesene Artikel zu dem Thema News-Central Infos:
ImmobilienScout24 startet eigenes News-Portal - "ImmobilienNews" sind online!


News - Central / Artikel Bewertung Artikel Bewertung
durchschnittliche Punktzahl: 0
Stimmen: 0

Bitte nehmen Sie sich einen Augenblick Zeit, diesen Artikel zu bewerten:

schlecht
normal
gut
Sehr gut
Exzellent



News - Central / Online Werbung Online Werbung

News - Central / Möglichkeiten Möglichkeiten

Druckbare Version  Druckbare Version

Diesen Artikel an einen Freund senden  Diesen Artikel an einen Freund senden





Firmen- / Produktnamen, Logos, Handelsmarken sind eingetragene Warenzeichen bzw. Eigentum ihrer Besitzer und werden ohne Gewährleistung einer freien Verwendung benutzt. Artikel und alle sonstigen Beiträge, Fotos und Images sowie Kommentare etc. sind Eigentum der jeweiligen Autoren, der Rest © 2015!

Wir betonen ausdrücklich, daß wir keinerlei Einfluss auf die Gestaltung und/oder auf die Inhalte verlinkter Seiten haben und distanzieren uns hiermit ausdrücklich von allen Inhalten aller verlinken Seiten und machen uns deren Inhalte auch nicht zu Eigen. Für die Inhalte oder die Richtigkeit von verlinkten Seiten übernehmen wir keinerlei Haftung. Diese Erklärung gilt für alle auf der Homepage angebrachten Links und für alle Inhalte der Seiten, zu denen Banner, Buttons, Beiträge oder alle sonstigen Verlinkungen führen.

Sie können die Schlagzeilen unserer neuesten Artikel durch Nutzung der Datei backend.php oder ultramode.txt direkt auf Ihre Homepage übernehmen, diese werden automatisch aktualisiert.

News Central: - News Portal.news Center & News Guide / Impressum - AGB (inklusive Datenschutzhinweise) - Werbung. Diese Seite verwendet Cookies. Wenn Sie sich weiterhin auf dieser Seite aufhalten, akzeptieren Sie unseren Einsatz von Cookies.

Web-Site Engine Code ist Copyright © 2003 by PHP-Nuke. PHP-Nuke ist Freie Software unter der GNU/GPL Lizenz.
Erstellung der Seite: 0,87 Sekunden