Number of items: 1.
Conference or Workshop Item (A Paper)
Salvesen, Kevin and Galeotti, Juan Pablo and Gross, Florian and Fraser, Gordon and Zeller, Andreas
(2015)
Using Dynamic Symbolic Execution to Generate Inputs in Search-based GUI Testing.
This list was generated on Thu Jul 31 23:22:23 2025 CEST.