Search Results - Testing and Debugging—Symbolic execution

Automated Testing and Debugging for Big Data Analytics by 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…”
Get full text

Symbolic Execution of Network Software Based on Unit Testing by 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…”
Get full text

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

“…Symbolic execution, originally introduced as a method for program testing and debugging, is usually incomplete because of infinite symbolic execution paths…”
Get full text

Preface: Special issue on software verification and testing by 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…”
Get full text

An Uneven Distributed System for Dynamic Taint Analysis Framework by 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…”
Get full text