Tao Xie

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Development Projects

Evolutionary Algorithm

Embedded Software

Mutation Testing

Top Venues

Publications

Markus Becker, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller
Binary mutation testing through dynamic translation. DSN (2012)
Tao Xie, Wolfgang Müller, Florian Letombe
Mutation-analysis driven functional verification of a soft microprocessor. SoCC (2012)
Markus Becker, Daniel Baldin, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller
XEMU: an efficient QEMU based binary mutation testing framework for embedded software. EMSOFT (2012)
Tao Xie, Wolfgang Müller, Florian Letombe
HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. DSD (2011)
Tao Xie, Wolfgang Müller, Florian Letombe
IP-XACT based system level mutation testing. HLDVT (2011)
Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Tao Xie
RTOS-aware refinement for TLM2.0-based HW/SW designs. DATE (2010)
Tao Xie, Wolfgang Müller, Florian Letombe
Efficient Mutation-Analysis Coverage for Constrained Random Verification. DIPES/BICC (2010)
Tim Schattkowsky, Tao Xie, Wolfgang Müller
A UML frontend for IP-XACT-based IP management. DATE (2009)