Number of the records: 1

Localize faults from alias-free programs using verification based model

Title	Localize faults from alias-free programs using verification based model
Author info	Safeeullah Soomro, Syed Asif Ali Shah, Wajiha Shah
Author	Soomro Safeeullah (34%)
Co-authors	Shah Seyed Asif Ali (33%) Shah Wajiha (33%)
Source document	ASC 2008 : 12th IASTED International Conference on Artificial Intelligence and Soft Computing, Palma de Mallorca, 1.-3.9.2008. S. 208-213. - Calgary : ACTA Press, 2008
Keywords	model-based software debugging fix-point computation fault localization
Language	English
Country	Canada
Public work category	AFC
No. of Archival Copy	31783
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xpca - PUBLIKAČNÁ ČINNOSŤ

unrecognised

Number of the records: 1