Výsledky vyhľadávania
Názov Fault localization models using dependencies Aut.údaje Safeeullah Soomro ... [et al.] Autor Soomro Safeeullah (25%)
Spoluautori Memon Abdul Hameed (25%)
Shah Asif Ali (25%)
Shah Wajiha (25%)
Zdroj.dok. Engineering the computer science and information technology. S. 23-40. - Vukovar : InTech, 2009 / Soomro Safeeullah ; Soomro Safeeullah Kľúč.slová model-based diagnosis fault detection model-based software debugging fault localization Jazyk dok. angličtina Krajina Chorvátsko Systematika 004 Kategória publikačnej činnosti AEC Číslo archívnej kópie 31757 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ 
nerozpoznaný
Názov Localize faults from alias-free programs using verification based model Aut.údaje Safeeullah Soomro, Syed Asif Ali Shah, Wajiha Shah Autor Soomro Safeeullah (34%)
Spoluautori Shah Seyed Asif Ali (33%)
Shah Wajiha (33%)
Zdroj.dok. 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 Kľúč.slová model-based software debugging fix-point computation fault localization Jazyk dok. angličtina Krajina Kanada Kategória publikačnej činnosti AFC Číslo archívnej kópie 31783 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ nerozpoznaný
Názov Using abstract dependences to localize faults from procedural programs Aut.údaje Safeeullah Soomro Autor Soomro Safeeullah (100%)
Zdroj.dok. AIAP´07 : proceedings of the 25th conference on proceedings of the 25th IASTED international multi-conference: artifical intelligence and applications. S. 180-185. - Anaheim, CA, USA : ACTA Press, 2007 Kľúč.slová model-based software debugging fix-point computation fault localization Jazyk dok. angličtina Krajina Spojené štáty Systematika 004 Kategória publikačnej činnosti AFC Číslo archívnej kópie 31778 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ nerozpoznaný