Metamorphic Model-Based Testing Applied on NASA DAT -- An Experience Report
暂无分享,去创建一个
Mikael Lindvall | Dharmalingam Ganesan | Robert E. Wiegand | Ragnar Ardal | M. Lindvall | D. Ganesan | Ragnar Ardal
[1] Alex Groce,et al. Randomized Differential Testing as a Prelude to Formal Verification , 2007, 29th International Conference on Software Engineering (ICSE'07).
[2] Thomas L. Clune,et al. Software Testing and Verification in Climate Model Development , 2011 .
[3] Larry Apfelbaum,et al. Model Based Testing , 1997 .
[4] Rance Cleaveland,et al. Assessing model-based testing: an empirical study conducted in industry , 2014, ICSE Companion.
[5] Christoph Schulze,et al. An initial evaluation of model-based testing , 2013, 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
[6] Mikael Lindvall,et al. An introduction to agile methods , 2004, Adv. Comput..
[7] Aldo Dagnino,et al. Agile Software Development in Large Organizations , 2004, Computer.
[8] Christoph Schulze,et al. Model-based testing of NASA's OSAL API — An experience report , 2013, 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE).
[9] Huai Liu,et al. How Effectively Does Metamorphic Testing Alleviate the Oracle Problem? , 2014, IEEE Transactions on Software Engineering.
[10] Andreas Hoffmann,et al. Model-Based Testing , 2012, IEEE Software.