1722 search results - page 71 / 345 » Generating Tests from Counterexamples |
TSE
2010
14 years 8 months ago
2010
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
105
click to vote
FASE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Automating the generation of object-oriented unit tests is a challenging task. This is mainly due to the complexity and peculiarities that the principles of object-orientation imp...
ICSM
2003
IEEE
15 years 3 months ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
CNSR
2005
IEEE
15 years 3 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...