Sciweavers

411 search results - page 30 / 83
» Automatically finding patches using genetic programming
Sort
View
GECCO
2008
Springer
130views Optimization» more  GECCO 2008»
13 years 11 months ago
Parsimony pressure made easy
The parsimony pressure method is perhaps the simplest and most frequently used method to control bloat in genetic programming. In this paper we first reconsider the size evolutio...
Riccardo Poli, Nicholas Freitag McPhee
CORR
2011
Springer
189views Education» more  CORR 2011»
13 years 5 months ago
A Factorial Experiment on Scalability of Search Based Software Testing
Software testing is an expensive process, which is vital in the industry. Construction of the test-data in software testing requires the major cost and to decide which method to us...
Arash Mehrmand, Robert Feldt
COR
2008
164views more  COR 2008»
13 years 10 months ago
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem. The problem consists of automatica...
Enrique Alba, J. Francisco Chicano
PLDI
2006
ACM
14 years 3 months ago
Combining type-based analysis and model checking for finding counterexamples against non-interference
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa
ICRA
1994
IEEE
81views Robotics» more  ICRA 1994»
14 years 2 months ago
Finding All Gravitationally Stable Orientations of Assemblies
Previous work by Mattikalli et al.[1] considered the stability of assemblies of frictionless contacting bodies with uniform gravity. A linear programming-based technique was descr...
Raju Mattikalli, David Baraff, Pradeep K. Khosla