4609 search results - page 243 / 922 » Automatic Generation of Sigma-Protocols |
231
click to vote
GLVLSI
2009
IEEE
15 years 4 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
159
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
155
click to vote
BROADNETS
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract — In order to perform valid experiments, traffic generators used in network simulators and testbeds require up to date models of traffic as it exists on real network lin...
171
click to vote
UPP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
213
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...