Tao Xie

According to our database, Tao Xie authored at least 10 papers between 2009 and 2014.

Collaborative distances:

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

2014

Quality metrics driven functional verification for IP based SoC design

Tao Xie

PhD thesis, 2014

Methods for the Design and Development.

Harald Anacker, Michael Dellnitz, Kathrin Flaßkamp, Stefan Groesbrink, Philip Hartmann, Christian Heinzemann, Christian Horenkamp, Bernd Kleinjohann, Lisa Kleinjohann, Sebastian Korf, Martin Krüger, Wolfgang Müller, Sina Ober-Blöbaum, Simon Oberthür, Mario Porrmann, Claudia Priesterjahn, Rafael Radkowski, Christoph Rasche, Jan Rieke, Maik Ringkamp, Katharina Stahl, Dominik Steenken, Jörg Stöcklein, Robert Timmermann, Ansgar Trächtler, Katrin Witting, Tao Xie, Steffen Ziegert

Proceedings of the Design Methodology for Intelligent Technical Systems, 2014

2012

Mutation-analysis driven functional verification of a soft microprocessor.

Tao Xie, Wolfgang Müller, Florian Letombe

Proceedings of the IEEE 25th International SOC Conference, 2012

XEMU: an efficient QEMU based binary mutation testing framework for embedded software.

Markus Becker, Daniel Baldin, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller

Proceedings of the 12th International Conference on Embedded Software, 2012

Binary mutation testing through dynamic translation.

Markus Becker, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

2011

IP-XACT based system level mutation testing.

Tao Xie, Wolfgang Müller, Florian Letombe

Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.

Tao Xie, Wolfgang Müller, Florian Letombe

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2010

Efficient Mutation-Analysis Coverage for Constrained Random Verification.

Tao Xie, Wolfgang Müller, Florian Letombe

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

RTOS-aware refinement for TLM2.0-based HW/SW designs.

Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Tao Xie

Proceedings of the Design, Automation and Test in Europe, 2010

2009

A UML frontend for IP-XACT-based IP management.

Tim Schattkowsky, Tao Xie, Wolfgang Müller

Proceedings of the Design, Automation and Test in Europe, 2009