4305 search results - page 380 / 861 » Analysing Protocol Implementations |
164
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
189
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
At the 2003 EuSpRIG meeting, we presented a framework and software infrastructure to generate and analyse an audit trail for a spreadsheet file. This report describes the results ...
133
click to vote
CSDA
2010
15 years 6 months ago
2010
This paper analyses the use of factor analysis for instrumental variable estimation when the number of instruments tends to infinity. We consider cases where the unobserved factor...
145
click to vote
ERCIM
2008
15 years 6 months ago
2008
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
167
Voted
ENTCS
2006
15 years 6 months ago
2006
Motivated by the concerns of theorem-proving, we generalise the notion of proof tree to that of hierarchical proof tree. Hierarchical trees extend ordinary trees by adding partial...