Author Info
Name
Affiliation
Papers
STEFAN HUSTER
Univ Tubingen, Dept Comp Sci, D-72076 Tubingen, Germany
2
Collaborators
Citations 
PageRank 
7
1
0.70
Referers 
Referees 
References 
2
76
25
Title
Citations
PageRank
Year
Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques.00.342017
Efficient Testing of Different Loop Paths10.362015