Title: Tests and Proofs
            
                Lecture Notes in Computer Science
Subjects: Software engineering, Testing, Computer software, Congresses, Verification, Formal methods (Computer science)