Open AccessUsing Formal Methods for Test Case Generation According to Transition-Based Coverage Criteria
Author(s) -
Ahmad A. Saifan,
Wafa Bani Mustafa
Publication year - 2015
Publication title -
jordanian journal for computers and information technology/jordanian journal of computers and information technology
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.161
H-Index - 3
eISSN - 2415-1076
pISSN - 2413-9351
DOI - 10.5455/jjcit.71-1442380075
Subject(s) - test (biology) , computer science , transition (genetics) , reliability engineering , chemistry , engineering , geology , paleontology , biochemistry , gene