Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report -- Software Bug Localization Based on Key Range Invariants -- Evaluating the Strategies of Statement Selection in Automated Program Repair -- Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis -- Recognizing potential runtime types from Python Docstrings -- An Empirical Study of Dynamic Types for Python Projects -- What Strokes to Modify in the Painting? Code Changes Prediction for Object-Oriented Software -- How Reliable Is Your Outsourcing Service for Data Mining? A Metamorphic Method for Verifying the Result Integrity -- CMSuggester: Method Change Suggestion to Complement Multi-Entity Edits -- Mining Function Call Sequence Patterns across Different Versions of the Project for Defect Detection -- Parallel Reachability Testing Based on Hadoop MapReduce -- An Automated Test Suite Generating Approach for Stateful Web Services.