1273 search results - page 170 / 255 » The data mining approach to automated software testing |
221
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
321
click to vote
TCSV
2008
15 years 6 months ago
2008
Automated pedestrian detection, counting, and tracking have received significant attention in the computer vision community of late. As such, a variety of techniques have been inve...
176
click to vote
BIBE
2004
IEEE
15 years 10 months ago
2004
IEEE
Phylogenetic reconstruction from gene-order data has attracted attention from both biologists and computer scientists over the last few years. So far, our software suite GRAPPA is...
202
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
167
click to vote
COMSWARE
2007
IEEE
16 years 23 days ago
2007
IEEE
— Recent studies on wireless sensor networks (WSN) have shown that the duration of contacts and inter-contacts are power law distributed. While this is a strong property of these...