Loading...
Symbiotic 8: Parallel and Targeted Test Generation: (Competition Contribution)
The setup of Symbiotic 8 for Test-Comp 2021 brings radical changes in the test generation for coverage-branches property. Similarly as in Symbiotic 7, we generate tests by running our fork of symbolic executor Klee on the analyzed program. Symbiotic 8, however, runs several instances of Klee in...
Na minha lista:
| Udgivet i: | Fundamental Approaches to Software Engineering |
|---|---|
| Main Authors: | , , |
| Format: | Artigo |
| Sprog: | Inglês |
| Udgivet: |
2021
|
| Fag: | |
| Online adgang: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7978811/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-71500-7_20 |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|