Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913278225> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2913278225 abstract "It is our great pleasure to welcome you to the 1st International Workshop on Model Inference In Testing (MIIT 2010), co-located with ISSTA 2010.There are many existing research works aiming at developing software of high quality, including automated formal reasoning and testing. Normally, these techniques rely on the availability of models of software. But in practice, models are often missing. In software development procedure, it is very costly to maintain the model and the code simultaneously while the software is evolving. For software developed by a third party or off-the-shelf, normally models are not provided. So, there is a clear gap between the research and current practice. Model inference techniques can be used to obtain models or reverse engineer structures of software-based systems. Typically, this has been proposed to infer model of black box components, to analyze interactions between known and unknown components in a grey box system, or to combine with source-code analysis to infer dynamic flows. Since testing gathers information on a real system, this information can be used to derive or refine models, or check their accuracy. The objective of the MIIT 2010 workshop is to share ideas, methods, techniques, and tools that help software practitioners to infer models and use the inferred models. The MIIT 2010 workshop will try to bring together people from both academia and industry, from all the different areas that want to develop new techniques to infer model, to report their experience on using tools or methods of model inferences.For each submission to the MIIT 2010 workshop, three program committee members were assigned to provide review. Finally, the program committee accepted three papers with a clear majority of positive reviews. We hope that the proceedings will serve as a valuable reference for researchers and practitioners on model inference in testing." @default.
- W2913278225 created "2019-02-21" @default.
- W2913278225 creator A5059673708 @default.
- W2913278225 creator A5087894632 @default.
- W2913278225 date "2010-07-13" @default.
- W2913278225 modified "2023-09-23" @default.
- W2913278225 title "Proceedings of the First International Workshop on Model Inference In Testing" @default.
- W2913278225 hasPublicationYear "2010" @default.
- W2913278225 type Work @default.
- W2913278225 sameAs 2913278225 @default.
- W2913278225 citedByCount "0" @default.
- W2913278225 crossrefType "proceedings-article" @default.
- W2913278225 hasAuthorship W2913278225A5059673708 @default.
- W2913278225 hasAuthorship W2913278225A5087894632 @default.
- W2913278225 hasConcept C115903868 @default.
- W2913278225 hasConcept C117447612 @default.
- W2913278225 hasConcept C124101348 @default.
- W2913278225 hasConcept C149091818 @default.
- W2913278225 hasConcept C154945302 @default.
- W2913278225 hasConcept C199360897 @default.
- W2913278225 hasConcept C2522767166 @default.
- W2913278225 hasConcept C2776214188 @default.
- W2913278225 hasConcept C2777904410 @default.
- W2913278225 hasConcept C41008148 @default.
- W2913278225 hasConcept C529173508 @default.
- W2913278225 hasConcept C94966114 @default.
- W2913278225 hasConceptScore W2913278225C115903868 @default.
- W2913278225 hasConceptScore W2913278225C117447612 @default.
- W2913278225 hasConceptScore W2913278225C124101348 @default.
- W2913278225 hasConceptScore W2913278225C149091818 @default.
- W2913278225 hasConceptScore W2913278225C154945302 @default.
- W2913278225 hasConceptScore W2913278225C199360897 @default.
- W2913278225 hasConceptScore W2913278225C2522767166 @default.
- W2913278225 hasConceptScore W2913278225C2776214188 @default.
- W2913278225 hasConceptScore W2913278225C2777904410 @default.
- W2913278225 hasConceptScore W2913278225C41008148 @default.
- W2913278225 hasConceptScore W2913278225C529173508 @default.
- W2913278225 hasConceptScore W2913278225C94966114 @default.
- W2913278225 hasLocation W29132782251 @default.
- W2913278225 hasOpenAccess W2913278225 @default.
- W2913278225 hasPrimaryLocation W29132782251 @default.
- W2913278225 hasRelatedWork W1494984305 @default.
- W2913278225 hasRelatedWork W1500880055 @default.
- W2913278225 hasRelatedWork W1588553221 @default.
- W2913278225 hasRelatedWork W1606972611 @default.
- W2913278225 hasRelatedWork W166121708 @default.
- W2913278225 hasRelatedWork W1771092454 @default.
- W2913278225 hasRelatedWork W1785480332 @default.
- W2913278225 hasRelatedWork W1963869631 @default.
- W2913278225 hasRelatedWork W1964392593 @default.
- W2913278225 hasRelatedWork W2039682609 @default.
- W2913278225 hasRelatedWork W2158092133 @default.
- W2913278225 hasRelatedWork W2159932228 @default.
- W2913278225 hasRelatedWork W219703794 @default.
- W2913278225 hasRelatedWork W2268827261 @default.
- W2913278225 hasRelatedWork W2276932071 @default.
- W2913278225 hasRelatedWork W2598702176 @default.
- W2913278225 hasRelatedWork W2805920294 @default.
- W2913278225 hasRelatedWork W2943492856 @default.
- W2913278225 hasRelatedWork W3153098386 @default.
- W2913278225 hasRelatedWork W3158858948 @default.
- W2913278225 isParatext "false" @default.
- W2913278225 isRetracted "false" @default.
- W2913278225 magId "2913278225" @default.
- W2913278225 workType "article" @default.