Abstract: Data flow testing (DFT) focuses on the flow of data through a program. Despite its higher fault-detection ability over other structural testing ...
Our approach synergistically combines two techniques: dynamic symbolic execution and counterexample- guided abstraction refinement-based model checking. At the.
Data flow testing (DFT) focuses on the flow of data through a program. Despite its higher fault-detection ability over other structural testing techniques, ...
Our approach synergistically combines two techniques: dynamic symbolic execution and counterexample- guided abstraction refinement-based model checking. At the.
A hybrid DFT framework is introduced that is based on dynamic symbolic execution (DSE), enhanced with a novel guided path search to improve testing ...
Aug 23, 2016 · Combining symbolic execution and model checking for data flow testing. In: Proceed- ings of IEEE/ACM 37th International Conference on.
Type checking can validate safety properties (“a well-typed program cannot go wrong at execution”) and can help a compiler generate target code. Program ...
MCT identifies the sequencing of states that occur during the program's execution and determines whether or not the sequences of states meet the safety property ...
The two techniques complement each other: (1) symbolic execution abstracts the control and data dependencies to generate verifiable models for model checking, ...
People also ask
What is the difference between model checking and symbolic execution?
Can data flow testing be performed at two conceptual levels?
Which testing type can be applied to a data flow diagram?
What is the purpose of data flow testing?
The models of MPI program paths are generated on-the-fly during symbolic execution, and verified w.r.t. the expected properties by model checking. To improve ...