Natural Symbolic Execution-Based Testing for Big Data Analytics

Symbolic execution is an automated test input generation technique that models individual program paths as logical constraints. However, the realism of concrete test inputs generated by SMT solvers often comes into question. Existing symbolic execution tools only seek arbitrary solutions for given p...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of the ACM on software engineering Ročník 1; číslo FSE; s. 2677 - 2700
Hlavní autoři:	Wu, Yaoxuan, Humayun, Ahmad, Gulzar, Muhammad Ali, Kim, Miryung
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 12.07.2024
Témata:	Software and its engineering Software testing and debugging Naturalness DISC Applications Symbolic Execution
ISSN:	2994-970X, 2994-970X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!