Skip to content
STIMSMITH
← prev 2026-06-27 next →

2026-06-27

4 items 31 entities 25 connections

proGenesys-Program Generation Tool Based on Genetic Systems.

 source →

Processed 5 entities and 5 relations.

proGenesys proGenesys: Program Generation Tool Based on Genetic Systems Genetic Algorithms Evolutionary Algorithms Program Generation

MicroTESK: a test program generator

 source →

Processed 6 entities and 6 relations.

MicroTESK Assembly-level test program generation Formal specification-driven test generation Functional verification of microprocessors ARMv8 MIPS64

Same Coverage, Less Bloat: Accelerating Binary-only Fuzzingwith Coverage-preserving Coverage-guided Tracing

 source →

Processed 15 entities and 9 relations.

x86 x86-64 PC-relative addressing Absolute addressing Position-independent code (PIC) Interrupt int3 Conditional jump Direct jump Indirect jump Indirect call Return (ret) Jump table Program Counter (PC) QEMU

Test program generation for functional verification of PowerPC ...

 source →

Processed 5 entities and 5 relations.

PowerPC PowerPC test program generator Formal model of PowerPC architecture Heuristic database of testing expertise PowerPC verification methodology