Los puntos clave no están disponibles para este artículo en este momento.
Las especificaciones que llevan parámetros formales que están vinculados a datos concretos en tiempo de ejecución pueden capturar de manera efectiva y elegante los comportamientos o protocolos de múltiples objetos. Desafortunadamente, las especificaciones paramétricas no son fáciles de formular por no expertos y, en consecuencia, rara vez están disponibles. Este artículo presenta un enfoque general para la minería de especificaciones paramétricas a partir de ejecuciones de programas, basado en una estricta separación de preocupaciones: (1) un extractor de trazas primero extrae conjuntos de interacciones independientes de trazas de ejecución paramétricas; y (2) las porciones de trazas no paramétricas resultantes se pasan a cualquier aprendiz de propiedades no paramétrico convencional. La técnica presentada se ha implementado en jMiner, que se ha utilizado para minar automáticamente muchas propiedades paramétricas significativas y no triviales de OpenJDK 6.
Lee et al. (Sat,) estudiaron esta cuestión.