10715 search results - page 287 / 2143 » Proofs from Tests |
178
click to vote
COLT
2007
Springer
16 years 27 days ago
2007
Springer
Property testing deals with tasks where the goal is to distinguish between the case that an object (e.g., function or graph) has a prespecified property (e.g., the function is li...
156
click to vote
ERLANG
2006
ACM
16 years 21 days ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
182
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using rand...
192
click to vote
SAFECOMP
2005
Springer
16 years 6 days ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
176
click to vote
ATS
2009
IEEE
15 years 12 months ago
2009
IEEE
Caches are crucial components in modern processors (both stand-alone or integrated into SoCs) and their test is a challenging task, especially when addressing complex and high-fre...