Titlebook: Evolution Driven by Organismal Behavior; A Unifying View of L Rui Diogo Book 2017 Springer International Publishing AG 2017 Developmental c

MURKY

Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverageograms, its scalability however is limited due to the combinatorial explosion of the path space. We propose to take advantage of data flow analysis to better perform dynamic symbolic execution in the context of generating test inputs for maximum structural coverage. In particular, we utilize the cha