Complier Validation via Equivalence Modulo Inputs
总览
Equivalence Modulo Inputs (EMI)
- 思想:利用输入子集上动态执行程序 P P P和理所有输入上静态编译 P P P之间的相互作用。
- 给定程序 P P P以及一组输入值 I I I,输入集 I I I 诱导了一个程序的自然集合 l \mathscr{l} l,每个程序 Q ∈ l Q \in \mathscr{l} Q∈l在 I I I上相当于 P P P: ∀ i ∈ I , Q ( i ) = P ( i ) \forall i \in I, Q(i)=P(i) ∀i∈I,