Výsledky vyhľadávania
Názov Verification based model localizes faults from procedural programs Aut.údaje Safeeullah Soomro Autor Soomro Safeeullah (100%)
Zdroj.dok. Frontiers in robotics, automation and control. S. 55-70. - Vukovar : InTech, 2008 Kľúč.slová software verification model-based software debugging model-based diagnosis Heslá geogr. 3 004 Jazyk dok. angličtina Krajina Chorvátsko Systematika 004 Kategória publikačnej činnosti AEC Číslo archívnej kópie 31759 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Abstract dependence models in software debugging Aut.údaje Bernhard Peischl, Safeeullah Soomro, Franz Wotawa Autor Peischl Bernhard (34%)
Spoluautori Soomro Safeeullah (33%)
Wotawa Franz (33%)
Zdroj.dok. DX' 06 : 17th international workshop on principles of diagnosis, Penaranda de Duero, Burgos, Spain, June 26 - 28, 2006. S. 203-210. - Burgos : Universidad de Burgos, 2006 Kľúč.slová fault diagnosis software verification testing Jazyk dok. angličtina Krajina Španielsko Systematika 004 Kategória publikačnej činnosti BEE Číslo archívnej kópie 31785 Kategória ohlasu ABREU, Rui - ZOETEWEIJ, Peter - VAN GEMUND, Arjan J. C. A dynamic modeling approach to software multiple-fault localization. In DX'08 : proceedings of the 19th international workshop on principles of diagnosis (DX'08), Blue Mountains, September 22-24, 2008. Canberra : National ICT Australia, 2008, pp. [1-8].
MAYER, Wolfgang A. - STUMPTNER, Markus. Model-based debugging - state of the art and future challenges. In Electronic notes in theoretical computer science. ISSN 1571-0661, 2007, vol. 174, no. 4, pp. 61-82.
Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Lightweight fault localization with abstract dependences Aut.údaje Bernhard Peischl, Safeeullah Soomro, Franz Wotawa Autor Peischl Bernhard (34%)
Spoluautori Soomro Safeeullah (33%)
Wotawa Franz (33%)
Zdroj.dok. ICEIS´2006 : 8th international conference on enterprise information systems, 23 - 27, May 2006, Paphos, Cyprus. S. [1-6]. - Setúbal : ICEIS computer society, 2006 Kľúč.slová fault diagnosis software verification testing Jazyk dok. angličtina Krajina Portugalsko Systematika 16 Kategória publikačnej činnosti AFC Číslo archívnej kópie 31777 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Fault localization based on abstract dependencies Aut.údaje Franz Wotawa, Safeeullah Soomro Autor Wotawa Franz (50%)
Spoluautori Soomro Safeeullah (50%)
Zdroj.dok. Innovations in applied artificial intelligence : 18th international conference on industrial and engineering, applications of artificial intelligence and expert systems, IEA/AIE, 2005, Bari, Italy, June 22-24, 2005 : proceedings, Lecture notes in computer science, Vol. 3533. S. 357-359. - Berlin : Springer Berlin Heidelberg, 2005 Kľúč.slová fault diagnosis software verification testing Jazyk dok. angličtina Krajina Nemecko Systematika 004 Kategória publikačnej činnosti AFC Číslo archívnej kópie 31784 Kategória ohlasu MU, Chunyan. Quantitative program dependence graphs. In Lecture notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) : ICFEM 2012 : 14th international conference on formal engineering methods, Kyoto (Japan), 12 November 2012 - 16 November 2012. ISSN 0302-9743, 2012, vol. 7635, pp. 103-118.
Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ