Matches in SemOpenAlex for { <https://semopenalex.org/work/W2780457557> ?p ?o ?g. }
Showing items 1 to 43 of
43
with 100 items per page.
- W2780457557 abstract "Property-based testing (aka. QuickCheck) is a successful au- tomated testing approach originating in the programming language community (Claessen-Hughes:ICFP00). It unites the well-known idea of randomized testing with that of en- suring program-specific properties akin to those encoun- tered within verification and theorem proving. Starting as a Haskell library the approach has grown to become language independent with ports to over 30 different programming languages. Over the years property-based testing has been used to pinpoint an impressive amount of software errors in a multitude of settings, initially within academia but more and more so also in the software industry. In this talk I will first recall the basic concepts of property- based testing and then cover a couple of recent applications, while sharing some of the folklore and community know- how. This includes quite a bit of symbolic program manipu- lation at the heart of the PEPM community. I will then offer a personal perspective on the approach, both in terms of programming language theory and software engineering." @default.
- W2780457557 created "2018-01-05" @default.
- W2780457557 creator A5065278196 @default.
- W2780457557 date "2017-12-25" @default.
- W2780457557 modified "2023-09-26" @default.
- W2780457557 title "Developments in property-based testing (invited talk)" @default.
- W2780457557 cites W4244488020 @default.
- W2780457557 doi "https://doi.org/10.1145/3168896" @default.
- W2780457557 hasPublicationYear "2017" @default.
- W2780457557 type Work @default.
- W2780457557 sameAs 2780457557 @default.
- W2780457557 citedByCount "0" @default.
- W2780457557 crossrefType "proceedings-article" @default.
- W2780457557 hasAuthorship W2780457557A5065278196 @default.
- W2780457557 hasConcept C111472728 @default.
- W2780457557 hasConcept C11413529 @default.
- W2780457557 hasConcept C123842658 @default.
- W2780457557 hasConcept C138885662 @default.
- W2780457557 hasConcept C189950617 @default.
- W2780457557 hasConcept C41008148 @default.
- W2780457557 hasConceptScore W2780457557C111472728 @default.
- W2780457557 hasConceptScore W2780457557C11413529 @default.
- W2780457557 hasConceptScore W2780457557C123842658 @default.
- W2780457557 hasConceptScore W2780457557C138885662 @default.
- W2780457557 hasConceptScore W2780457557C189950617 @default.
- W2780457557 hasConceptScore W2780457557C41008148 @default.
- W2780457557 hasLocation W27804575571 @default.
- W2780457557 hasOpenAccess W2780457557 @default.
- W2780457557 hasPrimaryLocation W27804575571 @default.
- W2780457557 hasRelatedWork W2073966617 @default.
- W2780457557 hasRelatedWork W2130377439 @default.
- W2780457557 hasRelatedWork W2551865055 @default.
- W2780457557 hasRelatedWork W2568243855 @default.
- W2780457557 hasRelatedWork W2610585957 @default.
- W2780457557 hasRelatedWork W267063485 @default.
- W2780457557 hasRelatedWork W2963363569 @default.
- W2780457557 hasRelatedWork W3035978487 @default.
- W2780457557 hasRelatedWork W3119548025 @default.
- W2780457557 hasRelatedWork W3206806603 @default.
- W2780457557 isParatext "false" @default.
- W2780457557 isRetracted "false" @default.
- W2780457557 magId "2780457557" @default.
- W2780457557 workType "article" @default.