1620 search results - page 85 / 324 » Testing Polymorphic Properties |
110
Voted
ICECCS
1997
IEEE
15 years 6 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
164
Voted
GLVLSI
2009
IEEE
15 years 12 days 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...
215
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
119
Voted
SIGSOFT
2006
ACM
15 years 8 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...
110
click to vote
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...