Binary mutation testing through dynamic translation
Becker, M., Kuznik, C., Joy, M. M., Tao Xie, Mueller, W.
Published in IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012) (01.06.2012)
Published in IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012) (01.06.2012)
Get full text
Conference Proceeding
Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software
Becker, Markus, Kuznik, Christoph, Mueller, Wolfgang
Published in 2014 17th Euromicro Conference on Digital System Design (01.08.2014)
Published in 2014 17th Euromicro Conference on Digital System Design (01.08.2014)
Get full text
Conference Proceeding
WiP Abstract: Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems
Becker, Markus, Kuznik, Christoph, Mueller, Wolfgang
Published in 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) (15.04.2014)
Published in 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) (15.04.2014)
Get full text
Conference Proceeding
Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC
Kuznik, C., Muller, W.
Published in 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing (01.12.2011)
Published in 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing (01.12.2011)
Get full text
Conference Proceeding
Aspect enhanced functional coverage driven verification in the SystemC HDVL
Get full text
Conference Proceeding
The system verification methodology for advanced TLM verification
Oliveira, Marcio F.S., Kuznik, Christoph, Le, Hoang M., Große, Daniel, Haedicke, Finn, Mueller, Wolfgang, Drechsler, Rolf, Ecker, Wolfgang, Esen, Volkan
Published in Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis (07.10.2012)
Published in Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis (07.10.2012)
Get full text
Conference Proceeding
Verification of a CAN bus model in SystemC with functional coverage
Defo, Gilles B, Kuznik, Christoph, Müller, Wolfgang
Published in International Symposium on Industrial Embedded System (SIES) (01.07.2010)
Published in International Symposium on Industrial Embedded System (SIES) (01.07.2010)
Get full text
Conference Proceeding