3 works on record
Software Engineering and Formal Methods
Testing Software and Systems
Testing of Software and Communication Systems