Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Insang Chung
Using Boolean Satisfiability Solving for Pairwise Test Generation From Cause-Effect Graphs: Comparison of Three Approaches
International Journal of Software Engineering and its Applications
Software