Výsledky vyhľadávania - Testing and Debugging—Symbolic execution

Automated Testing and Debugging for Big Data Analytics Autor Gulzar, Muhammad Ali

“… This shift in user demographics calls for immediate advancements in the development, debugging, and testing practices of big data applications, which are falling behind compared to the DISC framework…”
Získať plný text

Symbolic Execution of Network Software Based on Unit Testing Autor Zhou Lin, Liu Fei, Gan Shuitao, Qin Xiaojun, Han Wenbao

“… Symbolic execution is a systematic program analysis technique that has become increasingly popular in network software testing, due to algorithmic advances and availability of computational power…”
Získať plný text

Closed Symbolic Execution for Verifying Program Termination Autor Vidal, G.

“…Symbolic execution, originally introduced as a method for program testing and debugging, is usually incomplete because of infinite symbolic execution paths…”
Získať plný text

Preface: Special issue on software verification and testing Autor Merayo, Mercedes G., Salaün, Gwen

“… be very difficult, if not impossible, to detect manually. Software Verification and Testing is a research discipline of software engineering aiming at augmenting…”
Získať plný text

An Uneven Distributed System for Dynamic Taint Analysis Framework Autor Xuefei Wang, Hengtai Ma, Ke Yang, Hongliang Liang

“… A popular idea is that we can combine dynamic taint analysis with symbolic execution techniques or fuzz techniques forming the testing framework to test automatically…”
Získať plný text