Daniele Coati, Rosario Distefano, Nicola Bombieri, Franco Fummi, Michela Mirenda, Carlo Laudanna, Rosalba Giugno. A SystemC-based platform for assertion-based verification and mutation analysis in systems biology. In 17th Latin-American Test Symposium, LATS 2016, Foz do Iguacu, Brazil, April 6-8, 2016. pages 159-164, IEEE, 2016. [doi]
Abstract is missing.