.png){kind=icon}
.png){kind=icon}
Return
Automated coverage-driven testing: combining symbolic execution and model checking
.png){kind=icon}
PRE
AI
DOI：10.1007/s11432-016-5589-6.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
7.6
Papers:
4.9K
Citations:
8.9K
