Publication | Closed Access
An Instrumentation Approach for Hardware-Agnostic Software Characterization
18
Citations
18
References
2016
Year
EngineeringHardware EmulationRuntime VerificationHardware Verification LanguageProgram AnalysisSoftware TestingComputer ArchitectureComputer EngineeringSoftware EngineeringSoftware AnalysisInstrumentation ApproachComputer ScienceFormal VerificationSystem Software
| Year | Citations | |
|---|---|---|
Page 1
Page 1