Login / Signup
Yadira Jacquez
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Specification Languages
Object Oriented Design
Manually Created
Process Algebra
Top Venues
HASE
</>
Publications
</>
Salamah Salamah
,
Omar Ochoa
,
Yadira Jacquez
Using Pairwise Testing to Verify Automatically-Generated Formal Specifications.
HASE
(2015)