Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567306564> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1567306564 endingPage "312" @default.
- W1567306564 startingPage "298" @default.
- W1567306564 abstract "In this paper we describe an approach for automated modelbased test case and test data generation based on constraint types well known from bounded model checking. Our main contribution consists of a demonstration showing how this process can be considerably accelerated by using abstract interpretation techniques for preliminary explorations of the model state space. The techniques described support models for concurrent synchronous reactive systems under test with clocks and dense-time." @default.
- W1567306564 created "2016-06-24" @default.
- W1567306564 creator A5039105876 @default.
- W1567306564 creator A5043732986 @default.
- W1567306564 creator A5054540716 @default.
- W1567306564 date "2011-01-01" @default.
- W1567306564 modified "2023-10-15" @default.
- W1567306564 title "Automated Test Case Generation with SMT-Solving and Abstract Interpretation" @default.
- W1567306564 cites W1531103278 @default.
- W1567306564 cites W1579437898 @default.
- W1567306564 cites W1919297764 @default.
- W1567306564 cites W2043100293 @default.
- W1567306564 cites W2061097805 @default.
- W1567306564 cites W2093397547 @default.
- W1567306564 cites W2108959714 @default.
- W1567306564 cites W2113159073 @default.
- W1567306564 cites W2129395888 @default.
- W1567306564 cites W2155180508 @default.
- W1567306564 cites W4298255709 @default.
- W1567306564 doi "https://doi.org/10.1007/978-3-642-20398-5_22" @default.
- W1567306564 hasPublicationYear "2011" @default.
- W1567306564 type Work @default.
- W1567306564 sameAs 1567306564 @default.
- W1567306564 citedByCount "55" @default.
- W1567306564 countsByYear W15673065642012 @default.
- W1567306564 countsByYear W15673065642013 @default.
- W1567306564 countsByYear W15673065642014 @default.
- W1567306564 countsByYear W15673065642015 @default.
- W1567306564 countsByYear W15673065642016 @default.
- W1567306564 countsByYear W15673065642017 @default.
- W1567306564 countsByYear W15673065642018 @default.
- W1567306564 countsByYear W15673065642019 @default.
- W1567306564 countsByYear W15673065642020 @default.
- W1567306564 countsByYear W15673065642023 @default.
- W1567306564 crossrefType "book-chapter" @default.
- W1567306564 hasAuthorship W1567306564A5039105876 @default.
- W1567306564 hasAuthorship W1567306564A5043732986 @default.
- W1567306564 hasAuthorship W1567306564A5054540716 @default.
- W1567306564 hasConcept C115903868 @default.
- W1567306564 hasConcept C151730666 @default.
- W1567306564 hasConcept C154945302 @default.
- W1567306564 hasConcept C199360897 @default.
- W1567306564 hasConcept C204321447 @default.
- W1567306564 hasConcept C2777267654 @default.
- W1567306564 hasConcept C2780654840 @default.
- W1567306564 hasConcept C41008148 @default.
- W1567306564 hasConcept C527412718 @default.
- W1567306564 hasConcept C86803240 @default.
- W1567306564 hasConceptScore W1567306564C115903868 @default.
- W1567306564 hasConceptScore W1567306564C151730666 @default.
- W1567306564 hasConceptScore W1567306564C154945302 @default.
- W1567306564 hasConceptScore W1567306564C199360897 @default.
- W1567306564 hasConceptScore W1567306564C204321447 @default.
- W1567306564 hasConceptScore W1567306564C2777267654 @default.
- W1567306564 hasConceptScore W1567306564C2780654840 @default.
- W1567306564 hasConceptScore W1567306564C41008148 @default.
- W1567306564 hasConceptScore W1567306564C527412718 @default.
- W1567306564 hasConceptScore W1567306564C86803240 @default.
- W1567306564 hasLocation W15673065641 @default.
- W1567306564 hasOpenAccess W1567306564 @default.
- W1567306564 hasPrimaryLocation W15673065641 @default.
- W1567306564 hasRelatedWork W1546990306 @default.
- W1567306564 hasRelatedWork W2062066235 @default.
- W1567306564 hasRelatedWork W2172022734 @default.
- W1567306564 hasRelatedWork W2386369021 @default.
- W1567306564 hasRelatedWork W2952657391 @default.
- W1567306564 hasRelatedWork W3137189469 @default.
- W1567306564 hasRelatedWork W3169777496 @default.
- W1567306564 hasRelatedWork W4243252198 @default.
- W1567306564 hasRelatedWork W4245681215 @default.
- W1567306564 hasRelatedWork W817135640 @default.
- W1567306564 isParatext "false" @default.
- W1567306564 isRetracted "false" @default.
- W1567306564 magId "1567306564" @default.
- W1567306564 workType "book-chapter" @default.