Title: Formal Approaches to Software Testing (vol. # 3395)
Subjects: Logic design, Computer science, Software engineering, Information networks, Formal methods (Computer science), Congresses, Computer software, Testing, Computer software, testing