1516 search results - page 138 / 304 » Trends in Software Verification |
190
Voted
PTS
2010
15 years 1 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
108
click to vote
ECEASST
2010
15 years 24 days ago
2010
Abstract: The need of confidence that a product or service actually possesses declared behavioural / structural characteristics is the main reason for certification. It seems that ...
122
click to vote
RULEML
2007
Springer
15 years 9 months ago
2007
Springer
Nowadays the increasing complexity of cars has become a major challenge due to the growing rate of electronic components and software. This trend has an impact on all phases of the...
133
Voted
ECLIPSE
2004
ACM
15 years 8 months ago
2004
ACM
Pair programming requires two programmers working together at one computer. However, the trend toward globally distributed organizations makes long-distance collaboration necessar...
123
Voted
DSD
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a component-based framework and its supporting simulation tool for joint software-hardware modelling and performance analysis of multiprocessor embedded systems. This j...