<--- Back to Details
First PageDocument Content
Software bug / Genetic programming / Algorithm / Mutation / Control flow / Applied mathematics / Mathematics / Test case / Zune / Software testing / Mathematical optimization / Fuzz testing
Date: 2010-05-18 11:43:35
Software bug
Genetic programming
Algorithm
Mutation
Control flow
Applied mathematics
Mathematics
Test case
Zune
Software testing
Mathematical optimization
Fuzz testing

d oi:[removed][removed] Automatic Program Repair with

Add to Reading List

Source URL: www.cs.virginia.edu

Download Document from Source Website

File Size: 723,17 KB

Share Document on Facebook

Similar Documents

Journal of Global Optimization manuscript No. (will be inserted by the editor) Stabilizer-based symmetry breaking constraints for mathematical programs Leo Liberti · James Ostrowski

DocID: 1v0h9 - View Document

OPTIMA 88 Mathematical Optimization Society Newsletter Philippe L. Toint MOS Chair’s Column

DocID: 1uTp0 - View Document

The Annals of Probability 2004, Vol. 32, No. 1B, 1030–1067 © Institute of Mathematical Statistics, 2004 A STOCHASTIC REPRESENTATION THEOREM WITH APPLICATIONS TO OPTIMIZATION AND OBSTACLE PROBLEMS

DocID: 1sOP9 - View Document

Optimization of Electrical Production The production of electricity in France is optimized everyday with the help of a mathematical software developed at Inria, in collaboration with EDF R&D. Substantial performance is a

DocID: 1rxID - View Document

Mathematical optimization / Control theory / Systems science / Academia / Cybernetics / Systems theory / Operations research / Model predictive control / Dynamic programming / Optimal control / Trajectory optimization / Sequential quadratic programming

Timed-Elastic-Bands for Time-Optimal Point-To-Point Nonlinear Model Predictive Control

DocID: 1ru4i - View Document