High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM.
Yuyou FanJohn RegehrPublished in: CGO (2024)
Keyphrases
- high throughput
- formal methods
- microarray
- genome wide
- systems biology
- biological data
- model checking
- knowledge based systems
- artificial intelligence
- protein protein interactions
- genomic data
- formal specification
- low latency
- software engineering
- mass spectrometry data
- proteomic data
- dna sequencing
- gene expression
- data sets
- development lifecycle
- formal specification language
- mass spectrometry
- modeling language
- machine learning