Natural Symbolic Execution-Based Testing for Big Data Analytics.
Yaoxuan WuAhmad HumayunMuhammad Ali GulzarMiryung KimPublished in: Proc. ACM Softw. Eng. (2024)
Keyphrases
- symbolic execution
- big data analytics
- test generation
- test data generation
- static analysis
- specification language
- big data
- source code
- test cases
- data flow
- social media
- formal specification
- simulated annealing algorithm
- generation algorithm
- search algorithm
- real world
- fitness function
- software systems
- cloud computing
- open source