Sign in
Li Huang
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Test Suite
Preprocessing
Pairwise
Experimental Evaluation
Top Venues
ICTSS
CoRR
Softw. Test. Verification Reliab.
</>
Publications
</>
Li Huang
,
Bertrand Meyer
A failed proof can yield a useful test.
Softw. Test. Verification Reliab.
33 (7) (2023)
Li Huang
,
Bertrand Meyer
,
Manuel Oriol
Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites.
ICTSS
(2023)
Li Huang
,
Bertrand Meyer
,
Manuel Oriol
Seeding Contradiction: a fast method for generating full-coverage test suites.
CoRR
(2023)