Tatiana Mangels

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 1

Top Topics

Computationally Expensive

Search Algorithm

Top Venues

University of Bremen (PHD)

Education History

University of Bremen

PHD

Publications

Tatiana Mangels, Alin Murarasu, Forest Oden, Alexey Fishkin, Daniel Becker
Efficient Analysis at Edge. ICPE Companion (2017)
Tatiana Mangels, Jan Peleska
CTGEN - a Unit Test Generator for C SSV (2012)