Statistics
Publications
1
Citations
48
H-Index
1
Active since
2013
Affiliations
Università della Svizzera italiana(Current)
Andre Mis is an author at Università della Svizzera italiana specializing in formal methods, computer engineering, and automated reasoning.
Publications per year
2013–2013
1
1
Search-based data-flow test generation
Mattia Vivanti, Andre Mis, Alessandra Gorla et al. · 2013 · 48 citations
1–1 of 1