2255 search results - page 9 / 451 » High Assurance Software Systems |
TAP
2008
Springer
13 years 8 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
ICST
2009
IEEE
14 years 3 months ago
2009
IEEE
Software products released into the field typically have some number of residual defects that either were not detected or could not have been detected during testing. This may be...
CC
2005
Springer
14 years 2 months ago
2005
Springer
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
IASTEDSEA
2004
13 years 10 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
Malware and rootkits are serious security vulnerabilities, and they can be designed to be resistant to anti-viral software, or even totally undetectable. This paper described a hi...