Search results
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 Dedo Oskár a škriatok Akoty Author info Anna Minichová; ilustrovala Blanka Votavová Author Minichová Anna
Another authors Votavová Blanka (Illustrator)
Issue data Bratislava : Mladé letá , 1985. - 96 s. : il. 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Ť