1356 search results - page 202 / 272 » The ideal of verified software |
187
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Software for resource constrained embedded devices is often implemented in the Java programming language because the Java compiler and virtual machine provide enhanced safety, por...
156
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
182
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
197
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
Embedded systems are being deployed as a part of critical infrastructures and are vulnerable to malicious attacks due to internet accessibility. Intrusion detection systems have b...
181
click to vote
ENTCS
2006
15 years 6 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...