{"entities":{"Q2233461":{"pageid":2244204,"ns":120,"title":"Item:Q2233461","lastrevid":57686118,"modified":"2026-03-31T22:05:24Z","type":"item","id":"Q2233461","labels":{"en":{"language":"en","value":"Do judge a test by its cover. Combining combinatorial and property-based testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410462"}},"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":"Q2233461$C5604BAA-E967-491B-900F-41E114523792","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bca72bb789290a777bd1c34897f8c9a1bceec3ff","datavalue":{"value":{"text":"Do judge a test by its cover. Combining combinatorial and property-based testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233461$9AD51D6F-EA3F-4D22-AE14-1C4E71F46934","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ee15064fca64d20200c7058608b77832674f27e","datavalue":{"value":"1473.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233461$0CD99132-6706-4713-9EBB-8E360BA1C3E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d4efae476e33b33816dc74c3fe43a5cfb0f89f3","datavalue":{"value":"10.1007/978-3-030-72019-3_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233461$E1DCBD8F-CEB1-41DC-A27C-675C9796F967","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233461$8A9A1CAF-6718-4EAC-A877-8A8E9E908293","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233461$24F5FD58-3F6C-4C5A-A027-A400D7AAB6D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233461$3F0C92E5-D9E4-42B0-9CC1-371C15B8D498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233461$A1B2B476-2859-49C7-AAC3-C706722F06AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233461$124DE535-320D-466D-8721-2CC9F55BF648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233461$D614AAF1-3703-4640-A481-6653517FA302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233461$DEBAB2F6-BDB9-47C4-AE61-6B0329CF239D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"328841533fea0febebad5aff279035ecec73cbb6","datavalue":{"value":"7410462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233461$CD942628-C005-4C62-9224-67F92D3D0F6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6aa60c56a518c6df3c1854cf5faaf250590fa39","datavalue":{"value":"combinatorial testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233461$B1AC4AC6-E63D-4934-AD7D-519853C75314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34c3fc23da93aa83e1b45afddf3c48b535d6795b","datavalue":{"value":"combinatorial coverage","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233461$BF7035AC-07E4-49D1-9008-CF479AF4DE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22b984ec54dcf5a91568b4c855636533cf93cbba","datavalue":{"value":"QuickCheck","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233461$46D0F53D-9FA7-4383-9B2E-C0906858A0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd0bc2de9be614357048753018b3bdfb79d97a1","datavalue":{"value":"property-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233461$46850137-31D5-4197-87A5-931853FCC5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f00436dcf99da1e09b86c559e95b643c4680181","datavalue":{"value":"regular tree expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233461$450DD22C-2F3F-4516-BF04-A72A36115793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8308cf047a9caa020705e36cf27d6d1287dcc04","datavalue":{"value":"algebraic data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233461$2B9F1465-E34E-469D-B50F-A85C03045DCE","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":"Q2233461$775CEE1A-7DCD-4E16-8EB7-BE9EFF834E1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ea5d35755342b4761ed0d6a7083924e1700e18d","datavalue":{"value":"https://doi.org/10.1007/978-3-030-72019-3_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233461$8A1D0505-21FD-4158-95D5-6DA961F522ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cdd531f4b0be7a772240c3eb6846c8875e6d67e9","datavalue":{"value":"W3137008396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233461$4F8921D3-E06D-4495-979D-EC3A87E0428D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34189c796cd5501cbfba2ecf22afdca900b54bed","datavalue":{"value":{"entity-type":"item","numeric-id":5463943,"id":"Q5463943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233461$D7831CDB-19F0-463A-9845-3BC7A0D2ECAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79277045834bc602a96c7fa16c960f804134a13f","datavalue":{"value":{"entity-type":"item","numeric-id":5371949,"id":"Q5371949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233461$F420056D-7AC6-4DBF-B11C-89258620AFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233461$4CCD16CC-06A4-4B37-AF40-30A5663B3689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b774afb237cbae43d095fa893f93be239233621","datavalue":{"value":{"entity-type":"item","numeric-id":3434650,"id":"Q3434650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233461$9194AC39-5223-4F77-9097-7D4C70F80FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de2b5b54c461cc802bb1a4af21e4893af5aa327","datavalue":{"value":{"entity-type":"item","numeric-id":5370850,"id":"Q5370850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233461$7EAD396F-ABBB-4CB3-BAE1-F59BA2A93DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d098f16cb1becc97a3a73d224284eb55c97267fa","datavalue":{"value":{"entity-type":"item","numeric-id":1763065,"id":"Q1763065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233461$63DB5A61-0A51-47EF-8C9F-B9B294035DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85ee5cb80a765312522522c59f4c0f9417fcecf3","datavalue":{"value":{"entity-type":"item","numeric-id":3149007,"id":"Q3149007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233461$2C41142F-9F99-47A6-965C-6E490EF05F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f55fa74daedbca19ccd85c9b8db44c5f0673563","datavalue":{"value":{"entity-type":"item","numeric-id":2875046,"id":"Q2875046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233461$C08529F8-5097-458F-911D-BC22116057B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233461$1624EA6F-6B43-4640-9E2A-6D4446814FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316aa9b2b4865cbb0408cbf74b153f99cc2b2ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5270407,"id":"Q5270407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233461$360E1144-250E-46EC-92C8-518385ACFF14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9705ea638a572d1a26e493fbcfd802398aace26","datavalue":{"value":{"entity-type":"item","numeric-id":5370850,"id":"Q5370850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ad459b6ab25f0bac4dd730ec9537029d8c2fd5","datavalue":{"value":{"amount":"+0.7561719417572021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2233461$4C154379-8300-4CDC-8900-BB399C489084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf7881d097220ea1164ca18599b3f8e2eddd989","datavalue":{"value":{"entity-type":"item","numeric-id":3434650,"id":"Q3434650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99274d3d54bb56d4dd32cb0d3dc3fa2e130de8c4","datavalue":{"value":{"amount":"+0.7438508868217468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2233461$00AC173A-9FB3-44DC-B823-CC2B87EB328E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67441ce0ac677503421ec8dce816bdcc2234615","datavalue":{"value":{"entity-type":"item","numeric-id":3296342,"id":"Q3296342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e430359af1bbcdd5f3717053c5213f5179c6812e","datavalue":{"value":{"amount":"+0.7393237948417664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2233461$C7EB75C1-EC12-419F-9304-B580BAF4A477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eb9d6acf76cdb35f97fbfe006b6c6fe96a7716d","datavalue":{"value":{"entity-type":"item","numeric-id":5168573,"id":"Q5168573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8dc7491343453a7fd1979b51506db393cb7961c","datavalue":{"value":{"amount":"+0.7355522513389587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2233461$F052BA97-8E6B-4A03-9280-6EABC3356B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4b2dbfe6ebb3270e2f8dadfff8752a99e2ac1a","datavalue":{"value":{"entity-type":"item","numeric-id":6102253,"id":"Q6102253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ab571b4bdb3d79ecd38689346cd1d8175a2ecc","datavalue":{"value":{"amount":"+0.7185989618301392","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2233461$D103B306-AE99-4F71-891A-34587FDD8977","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233461$D65B374A-5933-4DD4-9DF9-1F5D06CC9529","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233461"}}}}}