Matches in SemOpenAlex for { <https://semopenalex.org/work/W2166304427> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2166304427 abstract "Formal methods have traditionally been used for specification and development of software. However there are potential benefits for the testing stage as well. The panel session associated with this paper explores the usefulness or otherwise of formal methods in various contexts for improving software testing. A number of different possibilities for the use of formal methods are explored and questions raised. The contributors are all members of the UK FORTEST Network on formal methods and testing. Although the authors generally believe that formal methods are useful in aiding the testing process, this paper is intended to provoke discussion. Dissenters are encouraged to put their views to the panel or individually to the authors." @default.
- W2166304427 created "2016-06-24" @default.
- W2166304427 creator A5009644797 @default.
- W2166304427 creator A5019359250 @default.
- W2166304427 creator A5020709860 @default.
- W2166304427 creator A5035641997 @default.
- W2166304427 creator A5041103024 @default.
- W2166304427 creator A5050598206 @default.
- W2166304427 date "2005-08-24" @default.
- W2166304427 modified "2023-09-26" @default.
- W2166304427 title "FORTEST: formal methods and testing" @default.
- W2166304427 cites W1527688737 @default.
- W2166304427 cites W1544906953 @default.
- W2166304427 cites W1553960903 @default.
- W2166304427 cites W1577937387 @default.
- W2166304427 cites W1787500456 @default.
- W2166304427 cites W1896160926 @default.
- W2166304427 cites W1974394819 @default.
- W2166304427 cites W1974845322 @default.
- W2166304427 cites W1981351287 @default.
- W2166304427 cites W1986749780 @default.
- W2166304427 cites W1990282862 @default.
- W2166304427 cites W2011606665 @default.
- W2166304427 cites W2011762419 @default.
- W2166304427 cites W2018952302 @default.
- W2166304427 cites W2020338987 @default.
- W2166304427 cites W2026701697 @default.
- W2166304427 cites W2041470132 @default.
- W2166304427 cites W2044795657 @default.
- W2166304427 cites W2056235294 @default.
- W2166304427 cites W2059518671 @default.
- W2166304427 cites W2061438988 @default.
- W2166304427 cites W2061439988 @default.
- W2166304427 cites W2062791908 @default.
- W2166304427 cites W2071756645 @default.
- W2166304427 cites W2084875723 @default.
- W2166304427 cites W2103318645 @default.
- W2166304427 cites W2110701642 @default.
- W2166304427 cites W2114754355 @default.
- W2166304427 cites W2119249385 @default.
- W2166304427 cites W2119657406 @default.
- W2166304427 cites W2132264164 @default.
- W2166304427 cites W2146485655 @default.
- W2166304427 cites W2146972408 @default.
- W2166304427 cites W2160438803 @default.
- W2166304427 cites W4231791389 @default.
- W2166304427 doi "https://doi.org/10.1109/cmpsac.2002.1044538" @default.
- W2166304427 hasPublicationYear "2005" @default.
- W2166304427 type Work @default.
- W2166304427 sameAs 2166304427 @default.
- W2166304427 citedByCount "15" @default.
- W2166304427 countsByYear W21663044272012 @default.
- W2166304427 countsByYear W21663044272015 @default.
- W2166304427 countsByYear W21663044272017 @default.
- W2166304427 countsByYear W21663044272023 @default.
- W2166304427 crossrefType "proceedings-article" @default.
- W2166304427 hasAuthorship W2166304427A5009644797 @default.
- W2166304427 hasAuthorship W2166304427A5019359250 @default.
- W2166304427 hasAuthorship W2166304427A5020709860 @default.
- W2166304427 hasAuthorship W2166304427A5035641997 @default.
- W2166304427 hasAuthorship W2166304427A5041103024 @default.
- W2166304427 hasAuthorship W2166304427A5050598206 @default.
- W2166304427 hasBestOaLocation W21663044272 @default.
- W2166304427 hasConcept C199360897 @default.
- W2166304427 hasConcept C41008148 @default.
- W2166304427 hasConceptScore W2166304427C199360897 @default.
- W2166304427 hasConceptScore W2166304427C41008148 @default.
- W2166304427 hasLocation W21663044271 @default.
- W2166304427 hasLocation W21663044272 @default.
- W2166304427 hasOpenAccess W2166304427 @default.
- W2166304427 hasPrimaryLocation W21663044271 @default.
- W2166304427 hasRelatedWork W1527862632 @default.
- W2166304427 hasRelatedWork W2112962394 @default.
- W2166304427 hasRelatedWork W2118300983 @default.
- W2166304427 hasRelatedWork W2135396778 @default.
- W2166304427 hasRelatedWork W2382501300 @default.
- W2166304427 hasRelatedWork W2740990710 @default.
- W2166304427 hasRelatedWork W3137189469 @default.
- W2166304427 hasRelatedWork W3162240892 @default.
- W2166304427 hasRelatedWork W4235530921 @default.
- W2166304427 hasRelatedWork W4243252198 @default.
- W2166304427 isParatext "false" @default.
- W2166304427 isRetracted "false" @default.
- W2166304427 magId "2166304427" @default.
- W2166304427 workType "article" @default.