3544 search results - page 245 / 709 » Software Testing |
158
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
189
click to vote
COMSWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
— The telecom and the internet world is converging towards all-IP network architecture and the operators are keen to provide innovative multimedia services coupled with advanced ...
192
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
230
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...
160
click to vote
DDECS
2007
IEEE
16 years 26 days ago
2007
IEEE
- As shown by previous studies, shorts between the interconnect wires should be considered as the predominant cause of failures in CMOS circuits. Fault models and tools for targeti...