Volume 30, Issue 6

Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.

Search all Formal Aspects of Computing articles

November 2018

EXTENDED VERSIONS OF PAPERS PRESENTED AT TAP 2016 (pp 627-684)

8 articles in this issue

Special section of Tests and Proofs 2016
Bernhard K. Aichernig
Carlo A. Furia
Rob Hierons
Editorial 13 November 2018 Pages: 627 - 628
How testing helps to diagnose proof failures
Guillaume Petiot
Nikolai Kosmatov
Jacques Julliand
Original Article 12 June 2018 Pages: 629 - 657
Tests and proofs for custom data generators
Catherine Dubois
Alain Giorgetti
Original Article 12 July 2018 Pages: 659 - 684
Code obfuscation against abstraction refinement attacks
Roberto Bruni
Roberto Giacobazzi
Roberta Gori
Original Article 24 July 2018 Pages: 685 - 711
A UTP approach for rTiMo
Wanling Xie
Shuangqing Xiang
Huibiao Zhu
Original Article 10 August 2018 Pages: 713 - 738
Formal analysis of the kinematic Jacobian in screw theory
Zhiping Shi
Aixuan Wu
Xiaoyu Song
Original Article 24 September 2018 Pages: 739 - 757
Daniel Kroening and Ofer Strichman: Decision procedures
Rosemary Monahan
Book Review 02 August 2018 Pages: 759 - 759
Egon Börger and Alexander Raschke: Modeling companion for software practitioners
Jonathan P. Bowen
Book Review 22 October 2018 Pages: 761 - 762

Volume 30, Issue 6

Search

Navigation