2 papers
cs.SE2024
Multi-Pass Targeted Dynamic Symbolic Execution
Tuba Yavuz
Dynamic symbolic execution (DSE) provides a precise means to analyze programs and it can be used to generate test cases and to detect a variety of bugs including memory vulnerabili…
cs.SE2024
Generating Maximal Configurations and Their Variants Using Code Metrics
Tuba Yavuz, Chin Khor, Ken +2
Testing configurable systems continues to be challenging and costly. Generation of configurations for testing tends to use either techniques based on semantic sampling (e.g., logic…