FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.
Although the principal analogy between counterexample generation and white box testing has been repeatedly addressed, the usage patterns and performance requirements for software testing are quite different from formal verification. Our tool FShell provides a versatile testing environment for C prog...
| Հիմնական հեղինակներ: | , , , |
|---|---|
| Այլ հեղինակներ: | |
| Ձևաչափ: | Journal article |
| Լեզու: | English |
| Հրապարակվել է: |
Springer
2008
|