Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
- 13 May 2003
- book chapter
- Published by Springer Nature
- p. 295-315
- https://doi.org/10.1007/3-540-44898-5_16
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Flow-sensitive type qualifiersPublished by Association for Computing Machinery (ACM) ,2002
- A System and Language for Building System-Specific, Static AnalysesPublished by Defense Technical Information Center (DTIC) ,2002
- An empirical study of operating systems errorsPublished by Association for Computing Machinery (ACM) ,2001
- Automatically validating temporal safety properties of interfacesPublished by Springer Nature ,2001
- Checking System Rules Using System-Specific, Programmer-Written Compiler ExtensionsPublished by Defense Technical Information Center (DTIC) ,2000
- Type-based race detection for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Detecting races in relay ladder logic programsPublished by Springer Nature ,1998
- LCLintPublished by Association for Computing Machinery (ACM) ,1994
- The Statistical Analysis of Discrete DataPublished by Springer Nature ,1989