Quviq (Sweden)

Testing telecoms software with quviq QuickCheck

Thomas Arts, John Hughes, Joakim Johansson et al. · 2006 · 184 citations

Computing, Computer Science, Computer Systems +10

Testing an optimising compiler by generating random lambda terms

Michał H. Pałka, Koen Claessen, Alejandro Russo et al. · 2011 · 121 citations

Computing, Computer Science, Compilers +13

Finding race conditions in Erlang with QuickCheck and PULSE

Koen Claessen, Nicholas Smallbone, John Hughes et al. · 2009 · 66 citations

Computing, Computer Science, Computer Systems +12

Testing AUTOSAR software with QuickCheck

Thomas Arts, John Hughes, Ulf Norell et al. · 2015 · 55 citations

Computing, Automotive Engineering, Computer Science +17

Long-term physical activity on prescription intervention for patients with insufficient physical activity level—a randomized controlled trial

Stefan Lundqvist, Mats Börjesson, Åsa Cider et al. · Trials · 2020 · 45 citations · Full text

Medicine, Preventive Medicine, Exercise Prescription +15