Cargando…
CoVeriTest with Adaptive Time Scheduling (Competition Contribution)
CoVeriTest, which is integrated in the analysis framework CPAchecker, adopts verification technology for test-case generation. It encodes individual test goals as reachability queries, which are then processed by verifiers. To increase the effectiveness on a broad class of testing tasks, CoVeriTest...
Autores principales: | Jakobs, Marie-Christine, Richter, Cedric |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2021
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7978792/ http://dx.doi.org/10.1007/978-3-030-71500-7_18 |
Ejemplares similares
-
CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution)
por: Jakobs, Marie-Christine
Publicado: (2020) -
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)
por: Afzal, Mohammad, et al.
Publicado: (2020) -
HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)
por: Ruland, Sebastian, et al.
Publicado: (2020) -
Distributed Learning in the Classroom: Effects of Rereading Schedules Depend on Time of Test
por: Greving, Carla E., et al.
Publicado: (2019) -
VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution)
por: Darke, Priyanka, et al.
Publicado: (2021)