Sciweavers

291 search results - page 13 / 59
» Software-Test
Sort
View
COMPSAC
2005
IEEE
15 years 5 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
69
Voted
ISPW
2005
IEEE
15 years 5 months ago
Software Testing Process Automation Based on UTP - A Case Study
Wei Chen, Qun Ying, Yunzhi Xue, Chen Zhao
97
Voted
ISCIS
2004
Springer
15 years 5 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