Information and Software Technology · 2010 · 12 citations · 11 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureEmbedded SystemsFault-tolerant ComputingBuilt-in Self-testDefect DetectionDesign For TestabilityEmbedded Memory BlocksFault DetectionFault DiagnosisEmbedded System TestingEmbedded TestEmbedded TestabilityEmbedded TestingHardware Fault DetectionMemory Error DetectionMemory Fault HandlingProfiling
11
Nicholas Nethercote, Julian Seward · 2007 · 2.3K citations
Nicholas Nethercote, Julian Seward · ACM SIGPLAN Notices · 2007 · 682 citations
Static and dynamic analysis: synergy and duality
Michael D. Ernst · 2003 · 280 citations