Matches in SemOpenAlex for { <https://semopenalex.org/work/W1497288712> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1497288712 endingPage "14" @default.
- W1497288712 startingPage "1" @default.
- W1497288712 abstract "Softwares are often built without specification. Tools to automatically extract specification from software are needed and many techniques have been proposed. One type of these specifications – temporal API specification – is often specified in the form of automaton (i.e., FSA/PFSA). There have been many work on mining software temporal specification using dynamic analysis techniques; i.e., analysis of software program traces. Unfortunately, the issues of scalability, robustness and accuracy of these techniques have not been comprehensively addressed. In this paper, we describe a framework that enables assessments of the performance of a specification miner in generating temporal specification of software through traces recorded from its API interaction. Our framework requires the temporal specification produced by the miner to be expressed as probabilistic finite state automaton (PFSA). The framework accepts a user-defined simulator PFSA and a specification miner. It produces quality assurance measures on the specification generated by the miner. We investigate metrics used in these measures by adapting techniques found in artificial intelligence, program analysis, bioinformatics and data mining to the software specification domain. Extensive experiments on two specification miners have been performed to evaluate the effectiveness of the proposed quality assurance measures." @default.
- W1497288712 created "2016-06-24" @default.
- W1497288712 creator A5073352371 @default.
- W1497288712 creator A5081036622 @default.
- W1497288712 date "2006-01-01" @default.
- W1497288712 modified "2023-09-27" @default.
- W1497288712 title "Towards Better Quality Specification Miners" @default.
- W1497288712 cites W122598200 @default.
- W1497288712 cites W1486103693 @default.
- W1497288712 cites W1511185761 @default.
- W1497288712 cites W1555524669 @default.
- W1497288712 cites W1596127723 @default.
- W1497288712 cites W1602667807 @default.
- W1497288712 cites W1853995153 @default.
- W1497288712 cites W196133890 @default.
- W1497288712 cites W1969005071 @default.
- W1497288712 cites W1979414609 @default.
- W1497288712 cites W2004865374 @default.
- W1497288712 cites W2026453487 @default.
- W1497288712 cites W2034750619 @default.
- W1497288712 cites W2055640060 @default.
- W1497288712 cites W2076343783 @default.
- W1497288712 cites W2077813307 @default.
- W1497288712 cites W2082863623 @default.
- W1497288712 cites W2095374884 @default.
- W1497288712 cites W2116973066 @default.
- W1497288712 cites W2121059325 @default.
- W1497288712 cites W2123886726 @default.
- W1497288712 cites W2128158689 @default.
- W1497288712 cites W2129304537 @default.
- W1497288712 cites W2129913453 @default.
- W1497288712 cites W2131507481 @default.
- W1497288712 cites W2132069690 @default.
- W1497288712 cites W2132264164 @default.
- W1497288712 cites W2145268834 @default.
- W1497288712 cites W2146908974 @default.
- W1497288712 cites W2155988490 @default.
- W1497288712 cites W2166064672 @default.
- W1497288712 cites W2171177497 @default.
- W1497288712 cites W2295399529 @default.
- W1497288712 cites W2613161123 @default.
- W1497288712 cites W3106729728 @default.
- W1497288712 hasPublicationYear "2006" @default.
- W1497288712 type Work @default.
- W1497288712 sameAs 1497288712 @default.
- W1497288712 citedByCount "0" @default.
- W1497288712 crossrefType "journal-article" @default.
- W1497288712 hasAuthorship W1497288712A5073352371 @default.
- W1497288712 hasAuthorship W1497288712A5081036622 @default.
- W1497288712 hasConcept C102780508 @default.
- W1497288712 hasConcept C115903868 @default.
- W1497288712 hasConcept C116253237 @default.
- W1497288712 hasConcept C124101348 @default.
- W1497288712 hasConcept C149091818 @default.
- W1497288712 hasConcept C186846655 @default.
- W1497288712 hasConcept C199360897 @default.
- W1497288712 hasConcept C2777904410 @default.
- W1497288712 hasConcept C41008148 @default.
- W1497288712 hasConceptScore W1497288712C102780508 @default.
- W1497288712 hasConceptScore W1497288712C115903868 @default.
- W1497288712 hasConceptScore W1497288712C116253237 @default.
- W1497288712 hasConceptScore W1497288712C124101348 @default.
- W1497288712 hasConceptScore W1497288712C149091818 @default.
- W1497288712 hasConceptScore W1497288712C186846655 @default.
- W1497288712 hasConceptScore W1497288712C199360897 @default.
- W1497288712 hasConceptScore W1497288712C2777904410 @default.
- W1497288712 hasConceptScore W1497288712C41008148 @default.
- W1497288712 hasLocation W14972887121 @default.
- W1497288712 hasOpenAccess W1497288712 @default.
- W1497288712 hasPrimaryLocation W14972887121 @default.
- W1497288712 hasRelatedWork W1596074769 @default.
- W1497288712 hasRelatedWork W1607632848 @default.
- W1497288712 hasRelatedWork W19379602 @default.
- W1497288712 hasRelatedWork W1969980738 @default.
- W1497288712 hasRelatedWork W2063518545 @default.
- W1497288712 hasRelatedWork W2148174150 @default.
- W1497288712 hasRelatedWork W2148722514 @default.
- W1497288712 hasRelatedWork W2184255123 @default.
- W1497288712 hasRelatedWork W229077924 @default.
- W1497288712 hasRelatedWork W2385810983 @default.
- W1497288712 hasRelatedWork W2406746345 @default.
- W1497288712 hasRelatedWork W2500955866 @default.
- W1497288712 hasRelatedWork W2533905916 @default.
- W1497288712 hasRelatedWork W2809362514 @default.
- W1497288712 hasRelatedWork W2888633590 @default.
- W1497288712 hasRelatedWork W3092148827 @default.
- W1497288712 hasRelatedWork W3209132992 @default.
- W1497288712 hasRelatedWork W47483118 @default.
- W1497288712 hasRelatedWork W2185207579 @default.
- W1497288712 hasRelatedWork W2879018835 @default.
- W1497288712 isParatext "false" @default.
- W1497288712 isRetracted "false" @default.
- W1497288712 magId "1497288712" @default.
- W1497288712 workType "article" @default.