Background: Genome-scale metabolic network models have been widely used for analysing the cellular behaviour of organisms both qualitatively and quantitatively. An iterative semi-automated procedure for model validation ...