Main menu:

Accepted Papers :

Mining Timed Regular Expressions from System Traces
Greta Cutulenco, Yogi Joshi, Apurva Narayan and Sebastian Fischmeister

By the power of SMT! Mining function contracts to better bounded model checking
Azat Abdullin and Marat Akhin

On the Feasibility of Detecting Cross-Platform Code Clones via Identifier Similarity
Xiao Cheng, Lingxiao Jiang, Hao Zhong, Haibo Yu and Jianjun Zhao

Automatic Prediction of Bug Fixing Effort Measured by Code Churn Size
Ferdian Thung

Duplicate Issue Detection for the Android Open Source Project
Kasthuri Jayarajah, Meeralakshmi Radhakrishnan and Camellia Zakaria

Mining Testing Questions on Stack Overflow
Pavneet Singh Kochhar