Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs
"The automated generation of test cases for heap allocated, complex, structures is particularly difficult. Various state of the art tools tackle this problem by bounded exhaustive exploration of potential test cases, using constraint solving mechanisms based on techniques such as search, model...
Guardado en:
| Autores principales: | Aguirre, Nazareno, Bengolea, Valeria, Galeotti, Juan Pablo, Frías, Marcelo |
|---|---|
| Formato: | Ponencias en Congresos acceptedVersion |
| Lenguaje: | Inglés |
| Publicado: |
2022
|
| Acceso en línea: | https://ri.itba.edu.ar/handle/123456789/4007 |
| Aporte de: |
Ejemplares similares
-
Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs
por: Aguirre, N.M., et al. -
Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs
por: Frias, Marcelo, et al.
Publicado: (2011) -
Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs
por: Aguirre, N.M
Publicado: (2011) -
Bounded exhaustive test input generation from hybrid invariants
por: Rosner, N., et al. -
Bounded exhaustive test input generation from hybrid invariants
por: Rosner, N., et al.