247 search results - page 20 / 50 » Partition testing with usage models |
101
Voted
ISSS
2002
IEEE
15 years 7 months ago
2002
IEEE
Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks. One of the reasons is while most hardware system...
122
click to vote
CNSR
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper, a modeling and simulation framework is proposed for generating data for training and testing intrusion detection systems. The framework can develop models of web us...
136
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
140
click to vote
ACL
2010
15 years 13 days ago
2010
This paper presents a probabilistic model for sense disambiguation which chooses the best sense based on the conditional probability of sense paraphrases given a context. We use a...
131
click to vote
ECBS
2010
IEEE
15 years 9 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...