Výsledky vyhľadávania
Názov Path conditions help to locate and localize faults from programs Aut.údaje Safeeullah Soomro, Zahid Hussain, Ayaz Keerio Autor Soomro Safeeullah (34%)
Spoluautori Hussain Zahid (33%)
Keerio Ayaz (33%)
Zdroj.dok. Sindh University research journal : (science series). Vol. 43. no. 2 (2011), pp. 189-194. - Jamshoro : University of Sindh, 2011 Kľúč.slová fault detection path conditions software analysis Jazyk dok. angličtina Krajina Pakistan Systematika 004 Kategória publikačnej činnosti ADE Číslo archívnej kópie 31766 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Relationship between the verification based model and the functional dependences model using program specification Aut.údaje Safeeullah Soomro, Abdul Baqi Autor Soomro Safeeullah (50%)
Spoluautori Baqi Abdul (50%)
Zdroj.dok. Lecture notes in computer science : Advanced intelligent computing theories and applications: with aspects of artificial intelligence : 6th international conference on intelligent computing, ICIC 2010, Changsha, China, August 18-21, 2010, Proceedings. Vol. 6216 (2010), pp. 535-542. - [s. l.] : Springer international publishing, 2010 Kľúč.slová functional dependenices models model-based software debugging fault detection and localization Jazyk dok. angličtina Krajina Nemecko Systematika 004 Kategória publikačnej činnosti AFC Číslo archívnej kópie 31751 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ 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Ť Názov Detect and localize faults in alias - free programs using specification knowledge Aut.údaje Safeeullah Soomro, Franz Wotawa Autor Soomro Safeeullah (50%)
Spoluautori Wotawa Franz (50%)
Zdroj.dok. Next - generation applied intelligence : 22nd international conference on industrial, engineering and other applications of applied intelligent systems, IEA/AIE 2009, Tainan, Taiwan, June 2009. S. 379-388. - [s. l.] : Springer International Publishing, 2009 Kľúč.slová model-based software debugging model-based diagnosis fault detection and localization Jazyk dok. angličtina Systematika 004 Kategória publikačnej činnosti AFC Číslo archívnej kópie 31776 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ