Sciweavers

291 search results - page 13 / 59
» Software-Test
Sort
View
89
Voted
COMPSAC
2005
IEEE
15 years 7 months ago
Model-Based Software Testing and Verification
tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...
Aditya P. Mathur
79
Voted
ISPW
2005
IEEE
15 years 7 months ago
Software Testing Process Automation Based on UTP - A Case Study
Wei Chen, Qun Ying, Yunzhi Xue, Chen Zhao
ISCIS
2004
Springer
15 years 7 months ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali