Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems.

Axel Legay, Sean Sedwards

Browse the full ISoLA paper archive.