Software Analysis, Testing, and Evolution

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.