NEWS
Home / Search for: Wafa Bani Mustafa

USING FORMAL METHODS FOR TEST CASE GENERATION ACCORDING TO TRANSITION-BASED COVERAGE CRITERIA

(Received: 2015-09-15, Revised: 2015-11-01 , Accepted: 2015-11-08)
Ahmad A. Saifan,Wafa Bani Mustafa
#Formal method #Perfect developer #Test case generation #Cruise control system (CCS).
  • Views: 3942
  • Downloads: 1545
  • DOI: 10.5455/jjcit.71-1442380075
  • Cited by: 5
Abstract

JJCIT is indexed in