Amanote Research

Amanote Research

    RegisterSign 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
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy