Tatiana Mangels

According to our database, Tatiana Mangels authored at least 3 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Efficient Analysis at Edge.

Tatiana Mangels, Alin Murarasu, Forest Oden, Alexey Fishkin, Daniel Becker

Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

2013

Integrated module testing and module verification.

Tatiana Mangels

PhD thesis, 2013

2012

CTGEN - a Unit Test Generator for C

Tatiana Mangels, Jan Peleska

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012