| 627 | -- | 628 | Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons. Special section of Tests and Proofs 2016 |
| 629 | -- | 657 | Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand. How testing helps to diagnose proof failures |
| 659 | -- | 684 | Catherine Dubois, Alain Giorgetti. Tests and proofs for custom data generators |
| 685 | -- | 711 | Roberto Bruni, Roberto Giacobazzi, Roberta Gori. Code obfuscation against abstraction refinement attacks |
| 713 | -- | 738 | Wanling Xie, Shuangqing Xiang, Huibiao Zhu. A UTP approach for rTiMo |
| 739 | -- | 757 | Zhiping Shi, Aixuan Wu, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song. Formal analysis of the kinematic Jacobian in screw theory |
| 759 | -- | 0 | Rosemary Monahan. Daniel Kroening and Ofer Strichman: Decision procedures - Springer Verlag, 2016, XXI, +356 ISBN 978-3-662-50496-3 (Hardback, €69, 67), http: //www.decision-procedures.org/ |
| 761 | -- | 762 | Jonathan P. Bowen. Egon Börger and Alexander Raschke: Modeling companion for software practitioners - Springer, 2018, XXI+349 pp, ISBN: 978-3-662-56639-8 (Paperback, £ 46.99), eISBN: 978-3-662-56641-1 (eBook, £ 36.99), http: //dx.doi.org/10.1007/978-3-662-56641-1 |