1414 search results - page 44 / 283 » Automated Metamorphic Testing |
CCS
2007
ACM
13 years 11 months ago
2007
ACM
Remotely-launched software exploits are a common way for attackers to intrude into vulnerable computer systems. As detection techniques improve, remote exploitation techniques are...
SE
2007
13 years 9 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
Since pre-silicon functional verification is insufficient to detect all design errors, re-spins are often needed due to malfunctions that escape into the silicon. This paper pre...
ACSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
SIGCSE
2008
ACM
13 years 7 months ago
2008
ACM
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...