Spirit: satisfiability problem implementation for redundancy identification and test generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Emil Gizdarski, Hideo Fujiwara. Spirit: satisfiability problem implementation for redundancy identification and test generation. In 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan. pages 171-178, IEEE Computer Society, 2000. [doi]

This author has not been identified. Look up 'Emil Gizdarski' in GoogleThis author has not been identified. Look up 'Hideo Fujiwara' in Google

runs on WebDSL