Model-based testing and validation on artificial intelligence systems
暂无分享,去创建一个
Gang Liu | Qun Liu | Wentao Zhang | Qun Liu | Gang Liu | Wentao Zhang
[1] Ali Mili,et al. Towards the verification and validation of online learning systems: general framework and applications , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.
[2] Koushik Sen,et al. Rule-Based Runtime Verification , 2004, VMCAI.
[3] Bojan Cukic,et al. Performability modeling of mobile software systems , 2004, 15th International Symposium on Software Reliability Engineering.
[4] Krysia Broda,et al. Applying connectionist modal logics to distributed knowledge representation problems , 2004, Int. J. Artif. Intell. Tools.
[5] Tim Menzies,et al. Verification and Validation and Artificial Intelligence , 2005, Adv. Comput..
[6] Zhihao Chen,et al. Validation methods for calibrating software effort models , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..