scholarly journals Test Selection for Object-Oriented Software Based on Formal Specifications

Author(s):  
C. Péraire ◽  
S. Barbey ◽  
D. Buchs
2014 ◽  
Vol 40 (3) ◽  
pp. 307-323 ◽  
Author(s):  
Alex Groce ◽  
Todd Kulesza ◽  
Chaoqiang Zhang ◽  
Shalini Shamasunder ◽  
Margaret Burnett ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document