2005 · 16 citations · 8 references
Unilateral pulmonary artery occlusion testing with dobutamine infusion is useful in determining patient eligibility for pulmonary resection.
8
Luca de Alfaro, Thomas A. Henzinger · 2001 · 1.2K citations
Light-weight Formalism, Specification Language, Formal Specification +15
TorX: Automated Model-Based Testing
G.J. Tretmans, Hendrik Brinksma · University of Twente Research Information · 2003 · 179 citations · Full text
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte · Theoretical Computer Science · 2005 · 117 citations
Automatic Testing with Formal Methods
Jan Tretmans, Axel Belinfante · Data Archiving and Networked Services (DANS) · 1999 · 86 citations · Full text
Optimal strategies for testing nondeterministic systems
Lev Nachmanson, Margus Veanes, Wolfram Schulte et al. · 2004 · 73 citations