{"entities":{"Q2388723":{"pageid":2399466,"ns":120,"title":"Item:Q2388723","lastrevid":43990302,"modified":"2025-11-18T19:39:45Z","type":"item","id":"Q2388723","labels":{"en":{"language":"en","value":"Formal approaches to software testing. 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004. Revised selected papers."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2206398"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388723$B5A3FDD4-1E9E-4094-9E50-4B852F9A4149","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"314d0582f58ed4a893cceb7b35e041715023afd2","datavalue":{"value":{"text":"Formal approaches to software testing. 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004. Revised selected papers.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2388723$7BBA112D-8C4D-4D5B-A53C-0697EC489424","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a848f727112fadc5fc480acfab714ae970952d3a","datavalue":{"value":"1069.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388723$783B5F28-206A-4CB2-9524-23A447A4D68A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388723$53327085-6371-4E46-B7FC-50C2349B092A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eee5710b759ff4703b3f2a7e8853f7df5bb18070","datavalue":{"value":{"time":"+2005-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2388723$84F36CEC-1EA6-40E2-80C1-0C6E612651A8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5280572b64376a3bb41907dc94bba9e8125fb624","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 1031.68051).  Indexed articles:  \\textit{Frantzen, Lars; Tretmans, Jan; Willemse, Tim A. C.}, Test generation based on symbolic specifications, 1-15 [Zbl 1081.68570]  \\textit{Brucker, Achim D.; Wolff, Burkhart}, Symbolic test case generation for primitive recursive functions, 16-32 [Zbl 1081.68672]  \\textit{de Frutos Escrig, David; Rodr\u00f3guez, Carlos Gregorio}, Preserving contexts for soft conformance relation, 33-48 [Zbl 1081.68658]  \\textit{L\u00f3pez, Natalia; N\u00fa\u00f1ez, Manuel; Rodr\u00edguez, Ismael}, Testing of symbolic-probabilistic systems, 49-63 [Zbl 1081.68575]  \\textit{Briones, Laura Brand\u00e1n; Brinksma, Ed}, A test generation framework for quiescent real-time systems, 64-78 [Zbl 1081.68569]  \\textit{Larsen, Kim G.; Mikucionis, Marius; Nielsen, Brian}, Online testing of real-time systems using Uppaal, 79-94 [Zbl 1081.68574]  \\textit{Bordbar, Behzad; Okano, Kozo}, Testing deadlock-freeness in real-time systems: A formal approach, 95-109 [Zbl 1081.68567]  \\textit{Hong, Hyoung Seok; Ural, Hasan}, Using model checking for reducing the cost of test generation, 110-124 [Zbl 1081.68571]  \\textit{Blom, Johan; Hessel, Anders; Jonsson, Bengt; Pettersson, Paul}, Specifying and generating test cases using observer automata, 125-139 [Zbl 1081.68566]  \\textit{Arts, Thomas; Claessen, Koen; Svensson, Hans}, Semi-formal development of a fault-tolerant leader election protocol in Erlang, 140-154 [Zbl 1081.68565]  \\textit{Xie, Gaoyan; Dang, Zhe}, An automata-theoretic approach for model-checking systems with unspecified components, 155-169 [Zbl 1081.68638]  \\textit{Vouffo-Feudjio, Alain; Schieferdecker, Ina}, Test patterns with TTCN-3, 170-179 [Zbl 1081.68578]  \\textit{Wu-Hen-Chang, Antal; Le Viet, Dung; Batori, Gabor; Gecse, Roland; Csopaki, Gyula}, High-level restructuring of TTCN-3 test data, 180-194 [Zbl 1081.68579]  \\textit{Kapoor, Kalpesh; Bowen, Jonathan P.}, Ordering mutants to minimise test effort in mutation testing, 195-209 [Zbl 1081.68573]  \\textit{Yoon, Hoijin; Kim, Eunhee; Seo, Joo Young; Choi, Byoungju}, Testing COM components using software fault injection and mutation analysis, and its empirical study, 210-224 [Zbl 1081.68580]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2388723$4E3F78BB-633E-4EB9-BDD2-2ADC772DD0D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388723$F2F6E616-237C-475B-B55D-665326A953D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388723$9208CB49-A002-42EC-B71E-01A9EF583810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388723$BBBE9322-EB49-46B9-B683-0BF62E85AB1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"423d6b227c94fb6ee0f5ad0a2c974fbe70735ed9","datavalue":{"value":"2206398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388723$4F7529E6-2FEF-487D-B9AE-1B0A20699710","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388723$D8070B02-C06D-4A84-8A10-228E3ABD7990","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388723$44A83C58-59DD-4BAA-B83D-958587500339","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc24cbaed3b9db683891172f1cba9122ab1b403f","datavalue":{"value":"https://doi.org/10.1007/b106767","type":"string"},"datatype":"url"},"type":"statement","id":"Q2388723$14DB6588-64E7-4003-9D33-B3A111E2E99E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4566d32fdba99f29a60d81fd1cdf1b0e45a65763","datavalue":{"value":"W2502633158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388723$1206EDB1-428B-4912-BADC-1785C76AE1D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd1a3111ae5803aa451f2b11f377717c04103221","datavalue":{"value":"10.1007/B106767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388723$C0A2EDC5-C0D2-41EA-BC60-6D5449505390","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2388723","badges":[]}}}}}