Suchergebnisse - Testing and Debugging—Symbolic execution

Automated Testing and Debugging for Big Data Analytics von 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 …”
Volltext

Symbolic Execution of Network Software Based on Unit Testing von 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 …”
Volltext

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

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

Preface: Special issue on software verification and testing von 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 …”
Volltext

An Uneven Distributed System for Dynamic Taint Analysis Framework von 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 …”
Volltext