Výsledky vyhledávání - "Theory of computation Semantics and reasoning Program reasoning Abstraction"

Using symbolic evaluation to understand behavior in configurable software systems Autor Reisner, Elnatan, Song, Charles, Ma, Kin-Keung, Foster, Jeffrey S., Porter, Adam

“… We used symbolic evaluation to discover how the settings of run-time configuration options affect line, basic block, edge, and condition coverage for our subjects under a given test suite…”
Získat plný text