Question |
Raised by |
Status |
Solution |
|
Alford, Ronald Wayne |
Need
Question |
|
Explain
why failure set must be restrictive in some detail. |
Bahety, Anand Baldeodas |
Need
Solution |
|
|
Bucatanschi, Dan George |
Need
Question |
|
|
Chandra, Deepti Jagdish |
Need
Question |
|
Branches
and loops appear to increase the amount of computations in a symbolic testing
a lot, especially when the conditions are computed by a complex symbolic
formula. Which kinds of applications are suitable for symbolic testing? |
Huynh, Thuan Quang |
Need
Solution |
|
|
Nguyen, Bao Ngoc |
Need
Question |
|
Discuss
how fault-based testing is a better way of verifying program correctness in
comparison to Structural Coverage. |
Konda, Shravya Reddy |
Need
Solution |
|
|
Lee, Joonghoon |
Need
Question |
|
The
framework in this paper is similar to fault-seeding method. This framework
requires the pre-specified association set for every L. How to generate such
an associate set? How to control the size of the association set? |
Liu, Liping |
Need
Solution |
|
What is
the difference between the fault-based and traditional approaches? What is
each approach trying to do? |
Wongsuphasawat, Krist |
Need
Solution |
|
The
goal of fault-based testing is to certify that a program is free of certain
kinds of faults. What other testing technique(s) that we discussed in class
had this as a goal, rather having the goal of finding faults? |
Reisner, Elnatan
Benjamin |
Need
Solution |
|
|
Schulman, Aaron David |
Need
Question |
|
What are
the two necessary and sufficient conditions for fault-based testing to ensure
program correctness with respect to its specification? Explain each of them
briefly. |
Sharara, Hossam Samy Elsai |
Need
Solution |
|
How
does this technique differ from mutation testing? |
Stuckman, Jeff |
Need
Solution |
|
|
Teoh, Alison Lui Koon |
Need
Question |
|
When
doing fault-based testing with real or symbolic inputs, the assumption is
that both the outputs can be verified with some oracles. Is some oracle
always necessary? |
Thakor, Shashvat Advait |
Need
Solution |
|
|
Vador, Sachin Shashikant |
Need
Question |
|
|
Donlon, Eileen Merle |
Need
Question |
|
In symbolic
testing we replace constants with symbols to model infinitely many
executions. Explain domain dependent and domain independent transformations
by giving one example for each. Which one is harder to test afterwards and
why? |
Zazworka, Nico |
Need Solution |
|