Sciweavers

391 search results - page 15 / 79
» A genetic programming approach to automated software repair
Sort
View
GECCO
2009
Springer
166views Optimization» more  GECCO 2009»
15 years 6 months ago
Genetic programming in the wild: evolving unrestricted bytecode
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
Michael Orlov, Moshe Sipper
PEPM
2010
ACM
15 years 1 months ago
A3PAT, an approach for certified automated termination proofs
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
Evelyne Contejean, Andrey Paskevich, Xavier Urbain...
PPPJ
2003
ACM
15 years 5 months ago
A stochastic approach to automated design improvement
The object-oriented approach to software development facilitates and encourages programming practices that increase reusability, correctness and maintainability in code. This is a...
Mark Kent O'Keeffe, Mel Ó Cinnéide
LREC
2010
216views Education» more  LREC 2010»
15 years 1 months ago
Automatic Grammar Rule Extraction and Ranking for Definitions
Learning texts contain much implicit knowledge which is ideally presented to the learner in a structured manner - a typical example being definitions of terms in the text, which w...
Claudia Borg, Mike Rosner, Gordon J. Pace
SCESM
2006
ACM
247views Algorithms» more  SCESM 2006»
15 years 5 months ago
Automating software architecture exploration with M2Aspects
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
Ingolf H. Krüger, Gunny Lee, Michael Meisinge...