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 Sun Dec 14 15:57:49 2025 CET.