443 search results - page 39 / 89 » Testing for Software Vulnerability Using Environment Perturb... |
DATE
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper, we analyze the use of UML as a starting point to go from design issues to end of production testing of complex embedded systems. The first point is the analysis of ...
ICSE
2005
IEEE-ACM
15 years 12 months ago
2005
IEEE-ACM
End users develop more software than any other group of programmers, using software authoring devices such as e-mail filtering editors, by-demonstration macro builders, and spread...
AAAI
2004
15 years 1 months ago
2004
Learning how to create, test, and revise models is a central skill in scientific reasoning. We argue that qualitative modeling provides an appropriate level of representation for ...
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...