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 Feb 26 08:30:26 2026 CET.