Sangharatna Godboley

4 Questions 11 Answers 0 Followers

Questions related from Sangharatna Godboley

Benchmarks for White-box coverage criteria?

Hi David, It seems me to that you are focussing on white-box coverage criteria. Also, you consider dynamic symbolic execution. Which benchmarks you are considering. If I am not wrong so you...

21 April 2018 1,566 2 View

Whether MC/DC (an extremely powerful coverage criterion for Boolean expressions) is only in Disjunctive Normal Form (DNF)/ Sum of Product (SOP)?

I want to know whether it is feasible for Product of Sum (POS). Let us discuss with following three samples: 1. if((x60)||(z

23 August 2017 2,226 0 View

Whether PCT (Predicate-Complete Test) Coverage and Modified Condition/Decision Coverage (MC/DC) are comparable?

I read the paper titled PCT, in which it is mentioned that PCT is stronger than Multiple Condition Coverage (MCC), but it has never compared PCT with MC/DC in entire paper. So, as we know MCC is...

22 August 2017 3,269 0 View

How does short circuit evaluation affect MC/DC?

I know that executing with a complex boolean expression, due to short circuit evaluation some atomic conditions are unvisited/not-tested/not-executed for both true and false value. Actually...

09 May 2017 5,341 13 View