1929 search results - page 187 / 386 » Change Propagation Analysis Using Domain Information |
167
click to vote
AADEBUG
1995
Springer
15 years 8 months ago
1995
Springer
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
206
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...
145
click to vote
RAS
2000
15 years 4 months ago
2000
Most of the current work on automated facial expression analysis attempt to recognize a small set of prototypic expressions, such as joy and fear. Such prototypic expressions, how...
135
click to vote
FSS
2010
15 years 3 months ago
2010
The paper investigates fuzzy relations on a finite domain in the cutworthy framework, dealing with a new property coming from the information theory. If the domain of a relation i...
222
click to vote
DKE
2011
14 years 8 months ago
2011
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...