Sign in
Janice Chin
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Software Testing
High Level
Formal Verification
Test Cases
Top Venues
CoRR
Art Sci. Eng. Program.
</>
Publications
</>
Janice Chin
,
David Pearce
Finding Bugs with Specification-Based Testing is Easy!
Art Sci. Eng. Program.
5 (3) (2021)
Janice Chin
,
David Pearce
Finding Bugs with Specification-Based Testing is Easy!
CoRR
(2021)