Volume 18,
Number 1,
March 2006
- John Derrick, Mark Harman, Robert M. Hierons:
Guest Editorial.
1-2
Electronic Edition (link) BibTeX
- Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak:
Testing methods for X-machines: a review.
3-30
Electronic Edition (link) BibTeX
- Mike Stannett:
Simulation testing of automata.
31-41
Electronic Edition (link) BibTeX
- Sergiy A. Vilkomir, Jonathan P. Bowen:
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.
42-62
Electronic Edition (link) BibTeX
- Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich:
A formal approach to property testing in causally consistent distributed traces.
63-83
Electronic Edition (link) BibTeX
- Hasan Ural, Craig Williams:
Constructing checking sequences for distributed testing.
84-101
Electronic Edition (link) BibTeX
Volume 18,
Number 2,
June 2006
- David Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya:
A formal relationship between program slicing and partial evaluation.
103-119
Electronic Edition (link) BibTeX
- Steve McKeever, Wayne Luk:
Provably-correct hardware compilation tools based on pass separation techniques.
120-142
Electronic Edition (link) BibTeX
- Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock:
The verified software repository: a step towards the verifying compiler.
143-151
Electronic Edition (link) BibTeX
- Karl Lermer, Colin J. Fidge:
Procedure compilation in the refinement calculus.
152-180
Electronic Edition (link) BibTeX
- Christie Bolton, Jim Davies:
A singleton failures semantics for Communicating Sequential Processes.
181-210
Electronic Edition (link) BibTeX
- Harald Fecher, Mila E. Majster-Cederbaum:
Action Refinement Applied to Late Decisions.
211-230
Electronic Edition (link) BibTeX
- Regivan H. Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly:
Formal Aspects of Correctness and Optimality of Interval Computations.
231-243
Electronic Edition (link) BibTeX
- Sabine Glesner:
Finite Integer Computations: An Algebraic Foundation for Their Correctness.
244-262
Electronic Edition (link) BibTeX
Volume 18,
Number 3,
September 2006
- Eerke A. Boiten, Michael Butler:
Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05".
263
Electronic Edition (link) BibTeX
- Graeme Smith, John Derrick:
Verifying data refinements using a model checker.
264-287
Electronic Edition (link) BibTeX
- Ana Cavalcanti, Jim Woodcock, Steve Dunne:
Angelic nondeterminism in the unifying theories of programming.
288-307
Electronic Edition (link) BibTeX
- Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne:
Tank monitoring: a pAMN case study.
308-328
Electronic Edition (link) BibTeX
- Moshe Deutsch, Martin C. Henson:
An analysis of refinement in an abortive paradigm.
329-363
Electronic Edition (link) BibTeX
- Martin C. Henson, Moshe Deutsch, Besnik Kajtazi:
The specification logic nuZ.
364-395
Electronic Edition (link) BibTeX
Volume 18,
Number 4,
December 2006
Copyright © Sat May 16 23:59:02 2009
by Michael Ley (ley@uni-trier.de)
