163 search results - page 22 / 33 » Requirements Discovery during the Testing of Safety-Critical... |
ASPDAC
1995
ACM
13 years 11 months ago
1995
ACM
One of the interesting problems in hardware-software co-design is that of debugging embedded software in conjunction with hardware. Currently, most software designers wait until a...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
SIGSOFT
2000
ACM
14 years 4 days ago
2000
ACM
It is essential to manage versions of software products created during software development. There are various versioning tools actually used in these days, although most of them ...
ANSOFT
1998
13 years 7 months ago
1998
Systematic discovery and exploitation of commonality across related software systems is a fundamental technical requirement for achieving successful software reuse. By examining a...
PPOPP
2012
ACM
12 years 3 months ago
2012
ACM
In program debugging, reproducibility of bugs is a key requirement. Unfortunately, bugs in concurrent programs are notoriously difficult to reproduce because bugs due to concurre...