Author Info
Name
Affiliation
Papers
YADIRA JACQUEZ
Univ Texas El Paso, Dept Comp Sci, El Paso, TX 79968 USA
1
Collaborators
Citations 
PageRank 
2
2
0.38
Referers 
Referees 
References 
3
13
5
Title
Citations
PageRank
Year
Using Pairwise Testing to Verify Automatically-Generated Formal Specifications20.382015