<--- Back to Details
First PageDocument Content
Software quality / Fuzz testing / Symbolic execution / Software bug / Sage / Constraint programming / Security bug / Vulnerability / Concolic testing / Software testing / Software engineering / Computing
Date: 2012-03-05 17:25:15
Software quality
Fuzz testing
Symbolic execution
Software bug
Sage
Constraint programming
Security bug
Vulnerability
Concolic testing
Software testing
Software engineering
Computing

Add to Reading List

Source URL: research.microsoft.com

Download Document from Source Website

File Size: 3,08 MB

Share Document on Facebook

Similar Documents

Logic / Mathematical logic / Non-classical logic / Markov logic network / Software testing / Probabilistic logic / Software bug / Code coverage / Debugging / Inference / First-order logic / Buggy

Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering

DocID: 1xVks - View Document

Software engineering / Software / Code coverage / Software testing / ARG2 / Xdebug / Relational operator / Tarantula / Computer programming

Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd Schiller

DocID: 1xUJM - View Document

Empir Software Eng DOIs10664Toward an understanding of bug fix patterns Kai Pan & Sunghun Kim & E. James Whitehead Jr.

DocID: 1vo53 - View Document

An Extensive Comparison of Bug Prediction Approaches Marco D’Ambros, Michele Lanza REVEAL @ Faculty of Informatics University of Lugano, Switzerland Abstract—Reliably predicting software defects is one of software e

DocID: 1uAgg - View Document

Revisiting Common Bug Prediction Findings Using Effort-Aware Models Yasutaka Kamei† , Shinsuke Matsumoto†† , Akito Monden‡ , Ken-ichi Matsumoto‡ , Bram Adams† and Ahmed E. Hassan† † Software Analysis and

DocID: 1u6CA - View Document