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 Tue Oct 14 20:29:57 2025 CEST.