A carregar...
CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution)
Our CoVeriTest submission, which is implemented in the analysis framework CPAchecker, uses verification techniques for automatic test-case generation. To this end, it checks the reachability of every test goal and generates one test case per reachable goal. Instead of checking the reachability of ev...
Na minha lista:
| Publicado no: | Fundamental Approaches to Software Engineering |
|---|---|
| Autor principal: | |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7418135/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-45234-6_30 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|