Search results
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Ť Title Webmining pomocou technológie Browser Helper Object v prehliadači Internet Explorer Par.title [Webmining using Browser Helper Object technology in Internet Explorer browser] Author info Anton Národa; vedúci bakalárskej práce: Ondrej Šuch Author Národa Anton
Another authors Šuch Ondrej 1972- (Školiteľ (konzultant))
Corporation Univerzita Mateja Bela . Fakulta prírodných vied . Katedra informatiky , Banská Bystrica, Slovensko Issue data Banská Bystrica , 2010. - 41 s. Note Súbežný názov eng.. - Katedra informatiky Fakulta prírodných vied Univerzita Mateja Bela v Banskej Bystrici Keywords webmining browser helper object debugovanie debugging Language Slovak Country Slovak Republic systematics 004.4 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xk - Kvalifikačné práce Copy count 1, currently available 0, at library only 1 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 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Ť 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 Using abstract dependences to localize faults from procedural programs Author info Safeeullah Soomro Author Soomro Safeeullah (100%)
Source document 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 Keywords model-based software debugging fix-point computation fault localization Language English Country United States of America systematics 004 Public work category AFC No. of Archival Copy 31778 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title Towards lightweight fault localization in procedural programs Author info Bernhard Peischl, Safeeullah Soomro, Franz Wotawa Author Peischl Bernhard (34%)
Co-authors Soomro Safeeullah (33%)
Wotawa Franz (33%)
Source document Advances in applied artificial intelligence : 19th international conference on industrial, engineering and other applications of applied intelligent systems, IEA/AIE , Annecy, France, June 27-30, 2006. S. 660-667. - Berlin : Springer Berlin Heidelberg, 2006 Keywords model-based software debugging control software procedural abstraction Language English Country Germany systematics 004 Public work category AFC No. of Archival Copy 31779 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ