Main menu: |
Accepted Papers :
Mining Timed Regular Expressions from System Traces
By the power of SMT! Mining function contracts to better bounded model checking
On the Feasibility of Detecting Cross-Platform Code Clones via Identifier Similarity
Automatic Prediction of Bug Fixing Effort Measured by Code Churn Size
Duplicate Issue Detection for the Android Open Source Project
Mining Testing Questions on Stack Overflow
|