2026-07-20
2 items 76 entities 91 connections
Processed 32 entities and 31 relations.
System-on-Chip Hardware-Software Interface Control and Status Registers General-Purpose Registers Clock Domain Crossing Parity Error-Correcting Code Cyclic Redundancy Check Triple Module Redundancy RTL Universal Verification Methodology Object-Oriented Programming Constrained-Random Stimulus Generation Functional Coverage Verification Signoff Coverage Closure Regression Test Stimulus Constraints Test Sequences Testbench IP Core Device Driver Bus Interface APB AHB AXI4 TileLink IDesignSpec Suite Agnisys Executable Golden Specification Coverage Point Design Tape-Out
Processed 44 entities and 60 relations.
Mu2 Zest JQF PIT AFL libFuzzer OSS-Fuzz Greybox Fuzzing Coverage-Guided Greybox Fuzzing Mutation Testing Mutation-Analysis-Guided Fuzzing Differential Testing Coverage-Guided Property Testing Mutation Score Code Coverage Program Mutant Test Adequacy PIE Model Execution-Based Pruning Infection-Based Pruning Fuzzing Oracle Regression Testing Fuzzing Corpus Mutant Pruning k-Least-Executed Mutant Filter k-Random Mutant Filter CoverageClassLoader MutationClassLoader Guiding Greybox Fuzzing with Mutation Testing Vasudev Vikram Rohan Padhye Isabella Laybourn Ao Li Nicole Nair Kelton OBrien Rafaello Sanna Carnegie Mellon University Google Google Closure Compiler ChocoPy Gson Jackson Apache Tomcat Mu2 Source Code