Model Based Testing and Abstract Interpretation in the Railway Signaling Context.

Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini

Browse the full ICST paper archive.