Mutation‐inspired symbolic execution for software testing
Abstract Software testing is a complex and costly stage during the software development lifecycle. Nowadays, there is a wide variety of solutions to reduce testing costs and improve test quality. Focussing on test case generation, Dynamic Symbolic Execution (DSE) is used to generate tests with good...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2022-10-01
|
| Series: | IET Software |
| Online Access: | https://doi.org/10.1049/sfw2.12063 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|