Efficient Reduction of Model-Based Generated Test Suites through Test Case Pair Prioritization
暂无分享,去创建一个
[1] Rajiv Gupta,et al. A methodology for controlling the size of a test suite , 1990, Proceedings. Conference on Software Maintenance 1990.
[2] Leonardo Mendonça de Moura,et al. Generating efficient test sets with a model checker , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
[3] M S Waterman,et al. Identification of common molecular subsequences. , 1981, Journal of molecular biology.
[4] Gordon Fraser,et al. Creating Test-Cases Incrementally with Model-Checkers , 2007, GI Jahrestagung.
[5] Gordon Fraser,et al. Redundancy Based Test-Suite Reduction , 2007, FASE.
[6] S. Ranville,et al. Winnowing tests: Getting quality coverage from a model checker without quantity , 2001, 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219).
[7] Insup Lee,et al. Data flow testing as model checking , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
[8] Gregg Rothermel,et al. Empirical studies of test‐suite reduction , 2002, Softw. Test. Verification Reliab..