967 search results - page 92 / 194 » Automated benchmarking and analysis tool |
154
Voted
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
125
Voted
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Recently, tools for the analysis and visualization of code coverage have become widely available. At first glance, their value in assessing and improving the quality of automated ...
129
Voted
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
222
Voted
POPL
2008
ACM
16 years 4 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
112
Voted
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper is concerned with approximate delay computation algorithms for combinational circuits. As a result of intensive research in the early 90’s [3, 8] efficient tools exi...