论文信息 - Model-based Test Generation Using Quantified CSPs - 字舞流文

Model-based Test Generation Using Quantified CSPs

Martin Sachenbacher | Stefan Schwoon

[1] Martin Sachenbacher,et al. Constraint Optimization and Abstraction for Embedded Intelligent Systems , 2008, CPAIOR.

[2] Tracy Larrabee,et al. Test pattern generation using Boolean satisfiability , 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[3] P. Pandurang Nayak,et al. A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[4] Brian C. Williams,et al. Model-based programming of intelligent embedded systems and robotic space explorers , 2003, Proc. IEEE.

[5] Alessandro Cimatti,et al. Formal verification of diagnosability via symbolic model checking , 2003, IJCAI 2003.

[6] Peter Struss,et al. Testing Physical Systems , 1994, AAAI.

[7] David Lee,et al. Testing Finite-State Machines: State Identification and Verification , 1994, IEEE Trans. Computers.

[8] Peter Struss,et al. Fault-Model-Based Test Generation for Embedded Software , 2007, IJCAI.

[9] Jussi Rintanen,et al. Diagnosability Testing with Satisfiability Algorithms , 2007, IJCAI.

[10] Joël Ouaknine,et al. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems , 2003, Int. J. Found. Comput. Sci..