1273 search results - page 81 / 255 » The data mining approach to automated software testing |
ENTCS
2008
14 years 10 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
In this investigation, we propose a probabilistic approach for estimating the ages of Blog authors by means of Naive Bayesian Classifier. We can learn context of characteristic wor...
PAKDD
2005
ACM
15 years 3 months ago
2005
ACM
Abstract. Discriminative and generative methods provide two distinct approaches to machine learning classification. One advantage of generative approaches is that they naturally mo...
GECCO
2008
Springer
14 years 11 months ago
2008
Springer
A well-designed fitness function is essential to the effectiveness and efficiency of evolutionary testing. Fitness function design has been researched extensively. For fitness ...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Automating the generation of object-oriented unit tests is a challenging task. This is mainly due to the complexity and peculiarities that the principles of object-orientation imp...