Login / Signup
Jacob Legg
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Test Data
Object Model
Object Oriented Systems
Desirable Properties
Top Venues
FMICS
</>
Publications
</>
John Hatcliff
,
Jason Belt
,
Robby
,
Jacob Legg
,
Danielle Stewart
,
Todd Carpenter
Automated Property-Based Testing from AADL Component Contracts.
FMICS
(2023)