391 search results - page 48 / 79 » A genetic programming approach to automated software repair |
111
click to vote
ICST
2009
IEEE
14 years 9 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
145
click to vote
KDD
1998
ACM
15 years 4 months ago
1998
ACM
BAYDA is a software package for flexible data analysis in predictive data mining tasks. The mathematical model underlying the program is based on a simple Bayesian network, the Na...
133
click to vote
NFM
2011
14 years 6 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...
217
click to vote
POPL
2008
ACM
16 years 3 days ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...