Mining Program Source Code for Improving Software Quality

Abstract : While the last decade has witnessed great advances in assuring high software quality through static verification against software hazards and unexpected behavior, the field has pretty much focused on statically verifying software applications against common properties to detect common pro... View More