Search results
Title Fault localization models using dependencies Author info Safeeullah Soomro ... [et al.] Author Soomro Safeeullah (25%)
Co-authors Memon Abdul Hameed (25%)
Shah Asif Ali (25%)
Shah Wajiha (25%)
Source document Engineering the computer science and information technology. S. 23-40. - Vukovar : InTech, 2009 / Soomro Safeeullah ; Soomro Safeeullah Keywords model-based diagnosis fault detection model-based software debugging fault localization Language English Country Croatia systematics 004 Public work category AEC No. of Archival Copy 31757 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title Detect and localize faults in alias - free programs using specification knowledge Author info Safeeullah Soomro, Franz Wotawa Author Soomro Safeeullah (50%)
Co-authors Wotawa Franz (50%)
Source document 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 Keywords model-based software debugging model-based diagnosis fault detection and localization Language English systematics 004 Public work category AFC No. of Archival Copy 31776 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title Verification based model localizes faults from procedural programs Author info Safeeullah Soomro Author Soomro Safeeullah (100%)
Source document Frontiers in robotics, automation and control. S. 55-70. - Vukovar : InTech, 2008 Keywords software verification model-based software debugging model-based diagnosis Headings Geogr. 3 004 Language English Country Croatia systematics 004 Public work category AEC No. of Archival Copy 31759 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title Lightweight debugging techniques Author info Bernhard Peischl, Safeeullah Soomro, Franz Wotawa Author Peischl Bernhard (34%)
Co-authors Soomro Safeeullah (33%)
Wotawa Franz (33%)
Source document IJCAI-05 : nineteenth international joint conference on artificial intelligence, Edinburgh, Scotland, 30 July - 5 August 2005 : working notes of the IJCAI-05 workshop on model-based systems. S. 25-35. - Edinburgh : Professional book center, 2005 Keywords fault diagnosis model-based diagnosis Language English Country Great Britian systematics 004 Public work category AFC No. of Archival Copy 31780 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title Using abstract dependencies in debugging Author info Franz Wotawa, Safeeullah Soomro Author Wotawa Franz (50%)
Co-authors Soomro Safeeullah (50%)
Source document Qualitative reasoning QR-05 : 19th international workshop on qualitative reasoning QR-05, Graz University of Technology, May 18-20, 2005. S. 23-28. - Graz : QR-05, 2005 Keywords fault diagnosis model-based diagnosis Language English Country Austria systematics 004 Public work category BEE No. of Archival Copy 31781 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ