125 search results - page 13 / 25 » Automated Test Set Generation for Statecharts |
PVLDB
2010
13 years 6 months ago
2010
As the amount of user generated content grows, personal information management has become a challenging problem. Several information management approaches, such as desktop search,...
CODES
2008
IEEE
13 years 9 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
JAR
2000
13 years 7 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
ISI
2008
Springer
13 years 7 months ago
2008
Springer
We present a generative model for determining the information content of a message without analyzing the message content. Such a tool is useful for automated analysis of the vast ...
ACSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
One of the biggest obstacles faced by user command based anomaly detection techniques is the paucity of data. Gathering command data is a slow process often spanning months or yea...