2 works on record
Applying Formal Methods: Testing, Performance, and M/E-Commerce
Formal Approaches to Software Testing and Runtime Verification
2006