2825 search results - page 263 / 565 » Support for Object-Oriented Testing |
161
click to vote
SAT
2009
Springer
15 years 11 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
142
click to vote
ICDCS
2008
IEEE
15 years 11 months ago
2008
IEEE
To rapidly evolve new designs of peer-to-peer (P2P) multimedia streaming systems, it is highly desirable to test and troubleshoot them in a controlled and repeatable experimental ...
145
click to vote
TOOLS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
142
click to vote
CSMR
2007
IEEE
15 years 11 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
144
click to vote
KI
2007
Springer
15 years 11 months ago
2007
Springer
To achieve complex missions an autonomous unmanned aerial vehicle (UAV) operating in dynamic environments must have and maintain situational awareness. This can be achieved by cont...