Ausgabe 6/2018
EXTENDED VERSIONS OF PAPERS PRESENTED AT TAP 2016 (pp 627-684)
Inhalt (8 Artikel)
Editorial
Special section of Tests and Proofs 2016
Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Rob Hierons
Original Article
How testing helps to diagnose proof failures
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
Original Article
Code obfuscation against abstraction refinement attacks
Roberto Bruni, Roberto Giacobazzi, Roberta Gori
Original Article
Formal analysis of the kinematic Jacobian in screw theory
Zhiping Shi, Aixuan Wu, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song
Book Review
Egon Börger and Alexander Raschke: Modeling companion for software practitioners
Jonathan P. Bowen