Login / Signup
Kevin Salvesen
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Test Generation
Search Strategy
Symbolic Execution
Simulated Annealing Algorithm
Top Venues
SBST@ICSE
</>
Publications
</>
Kevin Salvesen
,
Juan P. Galeotti
,
Florian Gross
,
Gordon Fraser
,
Andreas Zeller
Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing.
SBST@ICSE
(2015)