FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2153037049> ?p ?o ?g. }

• W2153037049 abstract "Automated debugging, i.e., automated fault localization in programs, is an important and challenging problem. In literature the use of AI techniques like model-based diagnosis have been reported in order to solve the debugging problem at least partially. Most recently stating the debugging problem as a constraint satisfaction problem has been suggested including the integration of pre- and post-conditions. In this paper we follow this approach and report on most recent results obtained when using a today's constraint solver. Moreover, we show that there is a very good correspondence between the running time required for finding bugs and the structure of the program's constraint representation. We are able to prove this relationship with a linear correlation coefficient of 0.9. The empirical results indicate that the constraint satisfaction approach is very promising when focusing on debugging methods and functions up to 1,000 lines of code with an expected debugging time of less than 1 1/2 minute." @default.
• W2153037049 created "2016-06-24" @default.
• W2153037049 creator A5011388533 @default.
• W2153037049 creator A5024512583 @default.
• W2153037049 date "2011-07-01" @default.
• W2153037049 modified "2023-10-18" @default.
• W2153037049 title "Program Debugging Using Constraints -- Is it Feasible?" @default.
• W2153037049 cites W1482651513 @default.
• W2153037049 cites W1498833306 @default.
• W2153037049 cites W1514468887 @default.
• W2153037049 cites W1544758358 @default.
• W2153037049 cites W1554266125 @default.
• W2153037049 cites W1598380601 @default.
• W2153037049 cites W1858603130 @default.
• W2153037049 cites W1968847337 @default.
• W2153037049 cites W1969981172 @default.
• W2153037049 cites W1986146602 @default.
• W2153037049 cites W1989556004 @default.
• W2153037049 cites W2025304834 @default.
• W2153037049 cites W2034674470 @default.
• W2153037049 cites W2050882124 @default.
• W2153037049 cites W2059372025 @default.
• W2153037049 cites W2108309071 @default.
• W2153037049 cites W2112640524 @default.
• W2153037049 cites W2115307993 @default.
• W2153037049 cites W2122947685 @default.
• W2153037049 cites W2137012271 @default.
• W2153037049 cites W2141109493 @default.
• W2153037049 cites W2144386448 @default.
• W2153037049 cites W2153418968 @default.
• W2153037049 cites W2172154252 @default.
• W2153037049 cites W2293624369 @default.
• W2153037049 cites W2337098149 @default.
• W2153037049 cites W2969610403 @default.
• W2153037049 cites W3156824852 @default.
• W2153037049 cites W71163553 @default.
• W2153037049 cites W2514806637 @default.
• W2153037049 doi "https://doi.org/10.1109/qsic.2011.39" @default.
• W2153037049 hasPublicationYear "2011" @default.
• W2153037049 type Work @default.
• W2153037049 sameAs 2153037049 @default.
• W2153037049 citedByCount "5" @default.
• W2153037049 countsByYear W21530370492014 @default.
• W2153037049 countsByYear W21530370492016 @default.
• W2153037049 countsByYear W21530370492019 @default.
• W2153037049 countsByYear W21530370492020 @default.
• W2153037049 countsByYear W21530370492022 @default.
• W2153037049 crossrefType "proceedings-article" @default.
• W2153037049 hasAuthorship W2153037049A5011388533 @default.
• W2153037049 hasAuthorship W2153037049A5024512583 @default.
• W2153037049 hasConcept C126255220 @default.
• W2153037049 hasConcept C136388014 @default.
• W2153037049 hasConcept C137631369 @default.
• W2153037049 hasConcept C154945302 @default.
• W2153037049 hasConcept C168065819 @default.
• W2153037049 hasConcept C173404611 @default.
• W2153037049 hasConcept C17744445 @default.
• W2153037049 hasConcept C199360897 @default.
• W2153037049 hasConcept C199539241 @default.
• W2153037049 hasConcept C199622910 @default.
• W2153037049 hasConcept C2524010 @default.
• W2153037049 hasConcept C2776036281 @default.
• W2153037049 hasConcept C2776359362 @default.
• W2153037049 hasConcept C2778770139 @default.
• W2153037049 hasConcept C33923547 @default.
• W2153037049 hasConcept C41008148 @default.
• W2153037049 hasConcept C44616089 @default.
• W2153037049 hasConcept C49937458 @default.
• W2153037049 hasConcept C80444323 @default.
• W2153037049 hasConcept C94625758 @default.
• W2153037049 hasConceptScore W2153037049C126255220 @default.
• W2153037049 hasConceptScore W2153037049C136388014 @default.
• W2153037049 hasConceptScore W2153037049C137631369 @default.
• W2153037049 hasConceptScore W2153037049C154945302 @default.
• W2153037049 hasConceptScore W2153037049C168065819 @default.
• W2153037049 hasConceptScore W2153037049C173404611 @default.
• W2153037049 hasConceptScore W2153037049C17744445 @default.
• W2153037049 hasConceptScore W2153037049C199360897 @default.
• W2153037049 hasConceptScore W2153037049C199539241 @default.
• W2153037049 hasConceptScore W2153037049C199622910 @default.
• W2153037049 hasConceptScore W2153037049C2524010 @default.
• W2153037049 hasConceptScore W2153037049C2776036281 @default.
• W2153037049 hasConceptScore W2153037049C2776359362 @default.
• W2153037049 hasConceptScore W2153037049C2778770139 @default.
• W2153037049 hasConceptScore W2153037049C33923547 @default.
• W2153037049 hasConceptScore W2153037049C41008148 @default.
• W2153037049 hasConceptScore W2153037049C44616089 @default.
• W2153037049 hasConceptScore W2153037049C49937458 @default.
• W2153037049 hasConceptScore W2153037049C80444323 @default.
• W2153037049 hasConceptScore W2153037049C94625758 @default.
• W2153037049 hasLocation W21530370491 @default.
• W2153037049 hasOpenAccess W2153037049 @default.
• W2153037049 hasPrimaryLocation W21530370491 @default.
• W2153037049 hasRelatedWork W10294138 @default.
• W2153037049 hasRelatedWork W1238319306 @default.
• W2153037049 hasRelatedWork W1566725154 @default.
• W2153037049 hasRelatedWork W1852477053 @default.
• W2153037049 hasRelatedWork W1994652641 @default.
• W2153037049 hasRelatedWork W2009080961 @default.
• W2153037049 hasRelatedWork W2065519213 @default.

• next