185 search results - page 22 / 37 » Generating test cases for specification mining |
FLAIRS
2006
13 years 9 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
ICDM
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper, we present Concept Chain Queries (CCQ), a special case of text mining in document collections focusing on detecting links between two topics across text documents. ...
CCS
2010
ACM
13 years 5 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
PAKDD
2010
ACM
14 years 13 days ago
2010
ACM
During social interactions in a community, there are often sub-communities that behave in opposite manner. These antagonistic sub-communities could represent groups of people with ...
ECMDAFA
2008
Springer
13 years 9 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...