researchr - search publication QuickCheck

researchr

You are not signed in
Sign in
Sign up

41 publication results matching 'QuickCheck'

Software Testing with QuickCheck
… This paper presents a tutorial, with extensive exercises, in the use of Quviq QuickCheck—a property-based testing tool for Erlang, which enables developers … stateful systems. Finally we discuss applications of QuickCheck in industry. …
John Hughes. cefp 2010: 183-223 [doi]
Testing monadic code with QuickCheckKoen Claessen, John Hughes. SIGPLAN, 37(12):47-59, 2002. [doi]
QuickCheck Testing for Fun and ProfitJohn Hughes. PADL 2007: 1-32 [doi]
Testing Erlang Refactorings with QuickCheckHuiqing Li, Simon Thompson. IFL 2008: 19-36 [doi]
Testing monadic code with QuickCheckKoen Claessen, John Hughes 0001. haskell 2002: 65-77 [doi]
QuickChecking Patricia TreesJan Midtgaard. sfp 2018: 59-78 [doi]
QuickChecking Static Analysis PropertiesJan Midtgaard, Anders Moller. icst 2015: 1-10 [doi]
QuickChecking static analysis propertiesJan Midtgaard, Anders Møller. stvr, 27(6), 2017. [doi]
Effect-driven QuickChecking of compilersJan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson. PACMPL, 1(ICFP), 2017. [doi]
Testing monadic code with QuickCheckKoen Claessen, John Hughes. SIGPLAN, 37(12):47-59, 2002. [doi]
Branching processes for QuickCheck generatorsAgustín Mista, Alejandro Russo, John Hughes. haskell 2018: 1-13 [doi]
Testing AUTOSAR software with QuickCheckThomas Arts, John Hughes, Ulf Norell, Hans Svensson. icst 2015: 1-4 [doi]
Find more bugs with QuickCheck!John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts. ICSE 2016: 71-77 [doi]
Quickchecking refactoring toolsDániel Drienyovszky, Dániel Horpácsi, Simon Thompson. erlang 2010: 75-80 [doi]
Testing telecoms software with quviq QuickCheckThomas Arts, John Hughes, Joakim Johansson, Ulf Wiger. erlang 2006: 2-10 [doi]
Graphical editing support for QuickCheck modelsThomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes. icst 2015: 1-6 [doi]
Makina: A QuickCheck state machine libraryLuis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, Julio Mariño. jlap, 148:101096, 2026. [doi]
Testing Safety PLCs Using QuickCheckDavid Thönnessen, Nick Smallbone, Martin Fabian, Koen Claessen, Stefan Kowalewski. case 2019: 1-6 [doi]
Finding race conditions in Erlang with QuickCheck and PULSEKoen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf Wiger. ICFP 2009: 149-160 [doi]
Automatic testing of TCP/IP implementations using QuickCheckJavier Paris, Thomas Arts. erlang 2009: 83-92 [doi]

Sign in or sign up to see more results.

runs on WebDSL