Silva Galiana, Josep Francesc(Universitat Politècnica de València, 2024-06-10)
Este video explica qué es el testeo concólico (del anglicismo "concolic testing"), para qué sirve y cómo se utiliza en la generación de casos de test. Se explica cómo generar casos de prueba con esta técnica.
Mesnard, Fred; Payet, Etienne; Vidal, Germán(Cambridge University Press, 2020-09)
[EN] Concolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases with the aim of maximizing code coverage. ...
Palacios Corella, Adrián(Universitat Politècnica de València, 2020-03-20)
[ES] Erlang es un lenguaje de programación funcional con concurrencia mediante paso de mensajes basado en el modelo de actores. Éstas y otras características lo hacen especialmente adecuado para aplicaciones distribuidas ...
[EN] Concolic testing is a well-known validation technique for imperative and object oriented programs. In a previous paper, we have introduced an adaptation of this technique to logic programming. At the heart of our ...