2441 search results - page 39 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
103
click to vote
APSEC
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper describes an automated approach to generating test cases for an object-oriented class. The approach is derived from state-based testing methods and refers to a state ma...
ICST
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we deal with coverage criteria for boundary testing. We focus on the automatic generation of boundary tests based on OCL expressions and evaluate the quality of the...
FPL
2004
Springer
15 years 4 months ago
2004
Springer
—This paper presents a methodology and a tool for automatic synthesis of highly efficient intrusion detection systems using a high-level, graph-based partitioning methodology and...
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
110
click to vote
ISSRE
2008
IEEE
15 years 5 months ago
2008
IEEE
Systems connected to the Internet are highly susceptible to denial-of-service attacks that can compromise service availability, causing damage to customers and providers. Due to e...