The software model checker BLAST Applications to software engineering
Software testing and analysis - process, principles and techniques