TY - GEN
T1 - Mining parametric specifications
AU - Lee, Choonghwan
AU - Chen, Feng
AU - Roşu, Grigore
PY - 2011
Y1 - 2011
N2 - Specifications carrying formal parameters that are bound to concrete data at runtime can effectively and elegantly capture multi-object behaviors or protocols. Unfortunately, parametric specifications are not easy to formulate by nonexperts and, consequently, are rarely available. This paper presents a general approach for mining parametric specifications from program executions, based on a strict separation of concerns: (1) a trace slicer first extracts sets of independent interactions from parametric execution traces; and (2) the resulting non-parametric trace slices are then passed to any conventional non-parametric property learner. The presented technique has been implemented in jMiner, which has been used to automatically mine many meaningful and non-trivial parametric properties of OpenJDK 6.
AB - Specifications carrying formal parameters that are bound to concrete data at runtime can effectively and elegantly capture multi-object behaviors or protocols. Unfortunately, parametric specifications are not easy to formulate by nonexperts and, consequently, are rarely available. This paper presents a general approach for mining parametric specifications from program executions, based on a strict separation of concerns: (1) a trace slicer first extracts sets of independent interactions from parametric execution traces; and (2) the resulting non-parametric trace slices are then passed to any conventional non-parametric property learner. The presented technique has been implemented in jMiner, which has been used to automatically mine many meaningful and non-trivial parametric properties of OpenJDK 6.
KW - dynamic analysis
KW - parametric specifications
UR - http://www.scopus.com/inward/record.url?scp=79959890862&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79959890862&partnerID=8YFLogxK
U2 - 10.1145/1985793.1985874
DO - 10.1145/1985793.1985874
M3 - Conference contribution
AN - SCOPUS:79959890862
SN - 9781450304450
T3 - Proceedings - International Conference on Software Engineering
SP - 591
EP - 600
BT - ICSE 2011 - 33rd International Conference on Software Engineering, Proceedings of the Conference
T2 - 33rd International Conference on Software Engineering, ICSE 2011
Y2 - 21 May 2011 through 28 May 2011
ER -