FRINK Linked Data Fragments server

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

• W77946476 endingPage "10" @default.
• W77946476 startingPage "10" @default.
• W77946476 abstract "Programstate-space exploration is central to software security, testing, and verification. In this paper, we propose a novel technique for state-space exploration of software that maintains an ongoing interaction with its environment. Our technique uses a combination of symbolic and concrete execution to build an abstract model of the analyzed application, in the form of a finite-state automaton, and uses the model to guide further state-space exploration. Through exploration, MACE further refines the abstract model. Using the abstract model as a scaffold, our technique wields more control over the search process. In particular: (1) shifting search to different parts of the search-space becomes easier, resulting in higher code coverage, and (2) the search is less likely to get stuck in small local state-subspaces (e.g., loops) irrelevant to the application's interaction with the environment. Preliminary experimental results show significant increases in the code coverage and exploration depth. Further, our approach found a number of new deep vulnerabilities." @default.
• W77946476 created "2016-06-24" @default.
• W77946476 creator A5000765311 @default.
• W77946476 creator A5010153339 @default.
• W77946476 creator A5019426968 @default.
• W77946476 creator A5025656093 @default.
• W77946476 creator A5042162324 @default.
• W77946476 creator A5054036050 @default.
• W77946476 date "2011-08-08" @default.
• W77946476 modified "2023-09-27" @default.
• W77946476 title "MACE: model-inference-assisted concolic exploration for protocol and vulnerability discovery" @default.
• W77946476 cites W138607541 @default.
• W77946476 cites W1482663303 @default.
• W77946476 cites W1529010373 @default.
• W77946476 cites W1530266714 @default.
• W77946476 cites W1538375546 @default.
• W77946476 cites W1553308705 @default.
• W77946476 cites W157156687 @default.
• W77946476 cites W1596552075 @default.
• W77946476 cites W1606152849 @default.
• W77946476 cites W1710734607 @default.
• W77946476 cites W1738125499 @default.
• W77946476 cites W1989445634 @default.
• W77946476 cites W2009489720 @default.
• W77946476 cites W2011367000 @default.
• W77946476 cites W2049867480 @default.
• W77946476 cites W2069486211 @default.
• W77946476 cites W2075773711 @default.
• W77946476 cites W2096307462 @default.
• W77946476 cites W2096449544 @default.
• W77946476 cites W2101512909 @default.
• W77946476 cites W2107794009 @default.
• W77946476 cites W2115675703 @default.
• W77946476 cites W2117058582 @default.
• W77946476 cites W2140839850 @default.
• W77946476 cites W2143221733 @default.
• W77946476 cites W2145802904 @default.
• W77946476 cites W2156453323 @default.
• W77946476 cites W2158966008 @default.
• W77946476 cites W2162284942 @default.
• W77946476 cites W73629738 @default.
• W77946476 cites W1577783648 @default.
• W77946476 cites W301824129 @default.
• W77946476 hasPublicationYear "2011" @default.
• W77946476 type Work @default.
• W77946476 sameAs 77946476 @default.
• W77946476 citedByCount "38" @default.
• W77946476 countsByYear W779464762012 @default.
• W77946476 countsByYear W779464762013 @default.
• W77946476 countsByYear W779464762014 @default.
• W77946476 countsByYear W779464762015 @default.
• W77946476 countsByYear W779464762016 @default.
• W77946476 countsByYear W779464762018 @default.
• W77946476 countsByYear W779464762019 @default.
• W77946476 countsByYear W779464762020 @default.
• W77946476 countsByYear W779464762021 @default.
• W77946476 crossrefType "proceedings-article" @default.
• W77946476 hasAuthorship W77946476A5000765311 @default.
• W77946476 hasAuthorship W77946476A5010153339 @default.
• W77946476 hasAuthorship W77946476A5019426968 @default.
• W77946476 hasAuthorship W77946476A5025656093 @default.
• W77946476 hasAuthorship W77946476A5042162324 @default.
• W77946476 hasAuthorship W77946476A5054036050 @default.
• W77946476 hasConcept C105795698 @default.
• W77946476 hasConcept C110251889 @default.
• W77946476 hasConcept C11219265 @default.
• W77946476 hasConcept C12362212 @default.
• W77946476 hasConcept C154945302 @default.
• W77946476 hasConcept C167822520 @default.
• W77946476 hasConcept C177264268 @default.
• W77946476 hasConcept C199360897 @default.
• W77946476 hasConcept C2524010 @default.
• W77946476 hasConcept C2776214188 @default.
• W77946476 hasConcept C2776760102 @default.
• W77946476 hasConcept C2777904410 @default.
• W77946476 hasConcept C2779639559 @default.
• W77946476 hasConcept C33923547 @default.
• W77946476 hasConcept C38652104 @default.
• W77946476 hasConcept C41008148 @default.
• W77946476 hasConcept C48103436 @default.
• W77946476 hasConcept C72434380 @default.
• W77946476 hasConcept C80444323 @default.
• W77946476 hasConcept C95713431 @default.
• W77946476 hasConcept C98045186 @default.
• W77946476 hasConceptScore W77946476C105795698 @default.
• W77946476 hasConceptScore W77946476C110251889 @default.
• W77946476 hasConceptScore W77946476C11219265 @default.
• W77946476 hasConceptScore W77946476C12362212 @default.
• W77946476 hasConceptScore W77946476C154945302 @default.
• W77946476 hasConceptScore W77946476C167822520 @default.
• W77946476 hasConceptScore W77946476C177264268 @default.
• W77946476 hasConceptScore W77946476C199360897 @default.
• W77946476 hasConceptScore W77946476C2524010 @default.
• W77946476 hasConceptScore W77946476C2776214188 @default.
• W77946476 hasConceptScore W77946476C2776760102 @default.
• W77946476 hasConceptScore W77946476C2777904410 @default.
• W77946476 hasConceptScore W77946476C2779639559 @default.
• W77946476 hasConceptScore W77946476C33923547 @default.

• next