Behaviourally Adequate Software Testing.

Gordon Fraser, Neil Walkinshaw

Browse the full ICST paper archive.