1273 search results - page 215 / 255 » The data mining approach to automated software testing |
ICTAI
2007
IEEE
15 years 4 months ago
2007
IEEE
Cerebral aneurysms are weak or thin spots on blood vessels in the brain that balloon out. While the majority of aneurysms do not burst, those that do would lead to serious complic...
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
120
click to vote
SIGIR
2012
ACM
13 years 3 days ago
2012
ACM
The detection and improvement of low-quality information is a key concern in Web applications that are based on user-generated content; a popular example is the online encyclopedi...
100
click to vote
IUI
2012
ACM
13 years 5 months ago
2012
ACM
The status updates posted to social networks, such as Twitter and Facebook, contain a myriad of information about what people are doing and watching. During events, such as sports...
78
Voted
WWW
2005
ACM
15 years 10 months ago
2005
ACM
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages, such as the Extensible Mark...