Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073535764> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2073535764 abstract "Model-based mutation testing uses altered models to generate test cases that are able to detect whether a certain fault has been implemented in the system under test. For this purpose, we need to check for conformance between the original and the mutated model. We have developed an approach for conformance checking of action systems using constraints. Action systems are well-suited to specify reactive systems and may involve non-determinism. Expressing their semantics as constraints for the purpose of conformance checking is not totally straight forward. This paper presents some pitfalls that hinder the way to a sound encoding of semantics into constraint satisfaction problems and gives solutions for each problem." @default.
- W2073535764 created "2016-06-24" @default.
- W2073535764 creator A5009450062 @default.
- W2073535764 creator A5057822113 @default.
- W2073535764 date "2012-04-01" @default.
- W2073535764 modified "2023-09-23" @default.
- W2073535764 title "Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints" @default.
- W2073535764 cites W1896160926 @default.
- W2073535764 cites W1996435633 @default.
- W2073535764 cites W2025304834 @default.
- W2073535764 cites W2043279475 @default.
- W2073535764 cites W2045169222 @default.
- W2073535764 cites W2094163305 @default.
- W2073535764 cites W2097134526 @default.
- W2073535764 cites W2098831637 @default.
- W2073535764 cites W2101811680 @default.
- W2073535764 cites W2128644160 @default.
- W2073535764 cites W2135841285 @default.
- W2073535764 cites W3141236527 @default.
- W2073535764 doi "https://doi.org/10.1109/icst.2012.169" @default.
- W2073535764 hasPublicationYear "2012" @default.
- W2073535764 type Work @default.
- W2073535764 sameAs 2073535764 @default.
- W2073535764 citedByCount "7" @default.
- W2073535764 countsByYear W20735357642012 @default.
- W2073535764 countsByYear W20735357642013 @default.
- W2073535764 countsByYear W20735357642014 @default.
- W2073535764 countsByYear W20735357642017 @default.
- W2073535764 crossrefType "proceedings-article" @default.
- W2073535764 hasAuthorship W2073535764A5009450062 @default.
- W2073535764 hasAuthorship W2073535764A5057822113 @default.
- W2073535764 hasConcept C104317684 @default.
- W2073535764 hasConcept C110251889 @default.
- W2073535764 hasConcept C119857082 @default.
- W2073535764 hasConcept C121332964 @default.
- W2073535764 hasConcept C127413603 @default.
- W2073535764 hasConcept C128942645 @default.
- W2073535764 hasConcept C152877465 @default.
- W2073535764 hasConcept C165825675 @default.
- W2073535764 hasConcept C184337299 @default.
- W2073535764 hasConcept C185592680 @default.
- W2073535764 hasConcept C192183473 @default.
- W2073535764 hasConcept C199360897 @default.
- W2073535764 hasConcept C207505557 @default.
- W2073535764 hasConcept C2524010 @default.
- W2073535764 hasConcept C2775948798 @default.
- W2073535764 hasConcept C2776036281 @default.
- W2073535764 hasConcept C2778648169 @default.
- W2073535764 hasConcept C2780791683 @default.
- W2073535764 hasConcept C33923547 @default.
- W2073535764 hasConcept C41008148 @default.
- W2073535764 hasConcept C42360764 @default.
- W2073535764 hasConcept C501734568 @default.
- W2073535764 hasConcept C55493867 @default.
- W2073535764 hasConcept C62520636 @default.
- W2073535764 hasConcept C80444323 @default.
- W2073535764 hasConcept C85345410 @default.
- W2073535764 hasConceptScore W2073535764C104317684 @default.
- W2073535764 hasConceptScore W2073535764C110251889 @default.
- W2073535764 hasConceptScore W2073535764C119857082 @default.
- W2073535764 hasConceptScore W2073535764C121332964 @default.
- W2073535764 hasConceptScore W2073535764C127413603 @default.
- W2073535764 hasConceptScore W2073535764C128942645 @default.
- W2073535764 hasConceptScore W2073535764C152877465 @default.
- W2073535764 hasConceptScore W2073535764C165825675 @default.
- W2073535764 hasConceptScore W2073535764C184337299 @default.
- W2073535764 hasConceptScore W2073535764C185592680 @default.
- W2073535764 hasConceptScore W2073535764C192183473 @default.
- W2073535764 hasConceptScore W2073535764C199360897 @default.
- W2073535764 hasConceptScore W2073535764C207505557 @default.
- W2073535764 hasConceptScore W2073535764C2524010 @default.
- W2073535764 hasConceptScore W2073535764C2775948798 @default.
- W2073535764 hasConceptScore W2073535764C2776036281 @default.
- W2073535764 hasConceptScore W2073535764C2778648169 @default.
- W2073535764 hasConceptScore W2073535764C2780791683 @default.
- W2073535764 hasConceptScore W2073535764C33923547 @default.
- W2073535764 hasConceptScore W2073535764C41008148 @default.
- W2073535764 hasConceptScore W2073535764C42360764 @default.
- W2073535764 hasConceptScore W2073535764C501734568 @default.
- W2073535764 hasConceptScore W2073535764C55493867 @default.
- W2073535764 hasConceptScore W2073535764C62520636 @default.
- W2073535764 hasConceptScore W2073535764C80444323 @default.
- W2073535764 hasConceptScore W2073535764C85345410 @default.
- W2073535764 hasLocation W20735357641 @default.
- W2073535764 hasOpenAccess W2073535764 @default.
- W2073535764 hasPrimaryLocation W20735357641 @default.
- W2073535764 hasRelatedWork W1587224678 @default.
- W2073535764 hasRelatedWork W2005574148 @default.
- W2073535764 hasRelatedWork W2054283290 @default.
- W2073535764 hasRelatedWork W2073535764 @default.
- W2073535764 hasRelatedWork W2160288995 @default.
- W2073535764 hasRelatedWork W2274761815 @default.
- W2073535764 hasRelatedWork W3047595008 @default.
- W2073535764 hasRelatedWork W3141236527 @default.
- W2073535764 hasRelatedWork W51650568 @default.
- W2073535764 hasRelatedWork W2004266200 @default.
- W2073535764 isParatext "false" @default.
- W2073535764 isRetracted "false" @default.
- W2073535764 magId "2073535764" @default.
- W2073535764 workType "article" @default.