4306 search results - page 195 / 862 » Timed Testing with TorX |
99
Voted
ISSRE
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
91
Voted
ICTAC
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
124
click to vote
VTS
2000
IEEE
15 years 5 months ago
2000
IEEE
The performance of deep sub-micron designs can be affected by various parametric variations, manufacturing defects, noise or even modeling errors that are all statistical in natur...
107
Voted
CADE
2002
Springer
16 years 1 months ago
2002
Springer
We show that a conjunctive normal form (CNF) formula F is unsatisfiable iff there is a set of points of the Boolean space that is stable with respect to F. So testing the satisfiab...
94
Voted
ROMAN
2007
IEEE
15 years 7 months ago
2007
IEEE
— For controlling robots in an urban search and rescue (USAR) application, we present a wearable joystick with improved sensing capability as well as Giant MagnetoResistance(GMR)...