3547 search results - page 278 / 710 » Pseudo-Exhaustive Testing for Software |
170
click to vote
ICFEM
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
203
click to vote
FATES
2004
Springer
16 years 24 days ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
194
click to vote
DFT
2003
IEEE
16 years 22 days ago
2003
IEEE
The implementation of imaging arrays for System-On-a-Chip (SOC) is aided by using faulttolerant light sensors. Fault-tolerant redundancy in an Active Pixel Sensor (APS) is obtaine...
219
click to vote
FMICS
2008
Springer
15 years 9 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
193
click to vote
ACL
1998
15 years 8 months ago
1998
The Natural Language Understanding Engine Test Environment (ETE) is a GUI software tool that aids in the development and maintenance of large, modular, natural language understand...