Autor
Corina S. Pasareanu
Papers que incluyen a Corina S. Pasareanu entre los autores de la fuente. Un mismo nombre puede corresponder a investigadores distintos.
1 resultados
Reins orienta las planificaciones de hilos hacia errores de concurrencia
Reins guía la planificación de hilos con restricciones propuestas por un agente y activa más errores inyectados que la mejor línea base en una configuración de prueba.