1722 search results - page 13 / 345 » Generating Tests from Counterexamples |
TSE
1998
13 years 9 months ago
1998
APN
2011
Springer
13 years 1 months ago
2011
Springer
FMCAD
2008
Springer
13 years 11 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
ATS
2009
IEEE
14 years 4 months ago
2009
IEEE
High performance designs often use the on-chip device PLLs for accurate test clock generation during testing. The on-chip clock generator is designed in a programmable way to faci...
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...