Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955497831> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2955497831 abstract "Dynamic model inference techniques have been the center of many research projects recently. There are now multiple open source implementations of state-of-the-art algorithms, which provide basic abstraction and merging capabilities. Most of these tools and algorithms have been developed with one particular application in mind, which is program comprehension. The output models can abstract away the details of the program and represent the software behaviour in a concise and easy to understand form. However, one application context that is less studied is using such inferred models for debugging, where the behaviour to abstract is a faulty behaviour (e.g., a set of execution traces including a failed test case). We tried to apply some of the existing model inference techniques in a real-world industrial context to support program comprehension for debugging. Our initial experiments have shown many limitations both in terms of implementation as well as the algorithms. The paper will discuss the root cause of the failures and proposes ideas for future improvement." @default.
- W2955497831 created "2019-07-12" @default.
- W2955497831 creator A5064815475 @default.
- W2955497831 creator A5070634219 @default.
- W2955497831 date "2019-05-01" @default.
- W2955497831 modified "2023-09-24" @default.
- W2955497831 title "An Empirical Study on Practicality of Specification Mining Algorithms on a Real-World Application" @default.
- W2955497831 cites W1559171143 @default.
- W2955497831 cites W1592055490 @default.
- W2955497831 cites W1936067247 @default.
- W2955497831 cites W1963918008 @default.
- W2955497831 cites W1983981400 @default.
- W2955497831 cites W2004865374 @default.
- W2955497831 cites W2010895736 @default.
- W2955497831 cites W2026252407 @default.
- W2955497831 cites W2074001172 @default.
- W2955497831 cites W2076343783 @default.
- W2955497831 cites W2095979141 @default.
- W2955497831 cites W2110908283 @default.
- W2955497831 cites W2111757195 @default.
- W2955497831 cites W2115803466 @default.
- W2955497831 cites W2120437191 @default.
- W2955497831 cites W2122579913 @default.
- W2955497831 cites W2124081952 @default.
- W2955497831 cites W2126529005 @default.
- W2955497831 cites W2150990363 @default.
- W2955497831 cites W2151489688 @default.
- W2955497831 cites W2156553998 @default.
- W2955497831 cites W2165575313 @default.
- W2955497831 cites W2186626863 @default.
- W2955497831 cites W2242407529 @default.
- W2955497831 cites W4237335675 @default.
- W2955497831 cites W4239854741 @default.
- W2955497831 cites W4241887322 @default.
- W2955497831 cites W56856764 @default.
- W2955497831 doi "https://doi.org/10.1109/icpc.2019.00020" @default.
- W2955497831 hasPublicationYear "2019" @default.
- W2955497831 type Work @default.
- W2955497831 sameAs 2955497831 @default.
- W2955497831 citedByCount "5" @default.
- W2955497831 countsByYear W29554978312021 @default.
- W2955497831 countsByYear W29554978312022 @default.
- W2955497831 countsByYear W29554978312023 @default.
- W2955497831 crossrefType "proceedings-article" @default.
- W2955497831 hasAuthorship W2955497831A5064815475 @default.
- W2955497831 hasAuthorship W2955497831A5070634219 @default.
- W2955497831 hasBestOaLocation W29554978312 @default.
- W2955497831 hasConcept C11413529 @default.
- W2955497831 hasConcept C41008148 @default.
- W2955497831 hasConceptScore W2955497831C11413529 @default.
- W2955497831 hasConceptScore W2955497831C41008148 @default.
- W2955497831 hasLocation W29554978311 @default.
- W2955497831 hasLocation W29554978312 @default.
- W2955497831 hasOpenAccess W2955497831 @default.
- W2955497831 hasPrimaryLocation W29554978311 @default.
- W2955497831 hasRelatedWork W2003465964 @default.
- W2955497831 hasRelatedWork W2333698505 @default.
- W2955497831 hasRelatedWork W2351491280 @default.
- W2955497831 hasRelatedWork W2358668433 @default.
- W2955497831 hasRelatedWork W2371447506 @default.
- W2955497831 hasRelatedWork W2386767533 @default.
- W2955497831 hasRelatedWork W2390279801 @default.
- W2955497831 hasRelatedWork W2748952813 @default.
- W2955497831 hasRelatedWork W2899084033 @default.
- W2955497831 hasRelatedWork W303980170 @default.
- W2955497831 isParatext "false" @default.
- W2955497831 isRetracted "false" @default.
- W2955497831 magId "2955497831" @default.
- W2955497831 workType "article" @default.