Predicting bugs using symbolic execution graph

Many bug prediction algorithms have been developed by academia, and also some algorithms were adopted by the industry. These algorithms help reviewers to better distribute their time among patches, since some of them require more care. Symbolic execution is a static analysis method that can be used...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Horváth, Gábor, Pataki, Norbert
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Algorithms Predictions Source code Static code analysis
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!