4305 search results - page 95 / 861 » The Test of Time |
157
click to vote
SIGSOFT
2006
ACM
15 years 12 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
209
click to vote
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
Manual debugging is driven by experiments—test runs that narrow down failure causes by systematically confirming or excluding individual factors. The BUGEX approach leverages t...
136
click to vote
ITC
1999
IEEE
15 years 10 months ago
1999
IEEE
The embedded core testing methodology at Advanced Micro Devices Inc. involves adopting a disciplined system for developing new products with a focus on time to market and engineer...
207
click to vote
INTEGRATION
2006
15 years 6 months ago
2006
Improving testability during the early stages of high-level synthesis has several benefits including reduced test hardware overheads, reduced test costs, reduced design iterations...
135
click to vote
IFM
2005
Springer
15 years 11 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...