Institution · Quviq (Sweden)
Most cited papers from Quviq (Sweden)
What are the most cited papers from Quviq (Sweden)?
The most cited paper from Quviq (Sweden) is "Testing telecoms software with quviq QuickCheck" (Thomas Arts, John Hughes, Joakim Johansson et al., 2006), with 187 citations. Next come "Testing an optimising compiler by generating random lambda terms" (122) and "Finding race conditions in Erlang with QuickCheck and PULSE" (67).
Showing 46 of 46 papers. Every paper is listed.
| # | Paper | ||
|---|---|---|---|
| 1 | Testing telecoms software with quviq QuickCheck Thomas Arts, John Hughes, Joakim Johansson et al. | 16 Sep 2006 | 187 |
| 2 | Testing an optimising compiler by generating random lambda terms Michał H. Pałka, Koen Claessen, Alejandro Russo et al. | 23 May 2011 | 122 |
| 3 | Finding race conditions in Erlang with QuickCheck and PULSE Koen Claessen, Michał H. Pałka, Nicholas Smallbone et al. | 31 Aug 2009 | 67 |
| 4 | QuickSpec: Guessing Formal Specifications Using Testing Koen Claessen, Nicholas Smallbone, John Hughes · Lecture notes in computer science | 2010 | 61 |
| 5 | Testing AUTOSAR software with QuickCheck Thomas Arts, John Hughes, Ulf Norell et al. | Apr 2015 | 55 |
| 6 | Testing Erlang data types with quviq quickcheck Thomas Arts, Laura M. Castro, John Hughes | 27 Sep 2008 | 43 |
| 7 | Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane John Hughes · Lecture notes in computer science | 2016 | 35 |
| 8 | Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service John Hughes, Benjamin C. Pierce, Thomas Arts et al. | Apr 2016 | 33 |
| 9 | Software Testing with QuickCheck John Hughes · Lecture notes in computer science | 2010 | 22 |
| 10 | Property-Based Testing - The ProTest Project John Derrick, Neil Walkinshaw, Thomas Arts et al. · Lecture notes in computer science | 2010 | 20 |
| 11 | Automatic Grading of Programming Exercises using Property-Based Testing Clara Benac Earle, Lars‐Åke Fredlund, John Hughes | 8 Jul 2016 | 18 |
| 12 | Assessing the effects of introducing a new software development process: a methodological description Agneta Nilsson, Laura M. Castro, Samuel Rivas et al. · International Journal on Software Tools for Technology Transfer | 12 Apr 2013 | 18 |
| 13 | Find more bugs with QuickCheck! John Hughes, Ulf Norell, Nicholas Smallbone et al. | 14 May 2016 | 16 |
| 14 | Drive current and threshold voltage control in vertical InAs wrap-gate transistors Carl Rehnstedt, Claes Thelander, Linus E. Fröberg et al. · Electronics Letters | 30 Jan 2008 | 14 |
| 15 | Using temporal relations to specify and test an instant messaging server John Hughes, Ulf Norell, Jérôme Sautret | 3 May 2010 | 12 |
| 16 | Model solutions and properties for diagnosing student programs in Ask-Elle Johan T. Jeuring, L. Thomas van Binsbergen, Alex Gerdes et al. | 5 Nov 2014 | 11 |
| 17 | How to Specify It! John Hughes · Lecture notes in computer science | 2020 | 10 |
| 18 | Do Judge a Test by its Cover Harrison Goldstein, John Hughes, Leonidas Lampropoulos et al. · Lecture notes in computer science | 2021 | 9 |
| 19 | Automatic testing of TCP/IP implementations using QuickCheck Javier París, Thomas Arts | 5 Sep 2009 | 9 |
| 20 | Combining Fault-Injection with Property-Based Testing Benjamin Vedder, Thomas Arts, Jonny Vinter et al. | 11 Nov 2013 | 9 |
| 21 | Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability Rickard Svenningsson, Rolf G. Johansson, Thomas Arts et al. · SAE International journal of passenger cars. Electronic and electrical systems | 13 Apr 2012 | 9 |
| 22 | An Expressive Semantics of Mocking Josef David Svenningsson, Hans Svensson, Nicholas Smallbone et al. · Lecture notes in computer science | 2014 | 9 |
| 23 | Testing blocking operations with QuickCheck's component library Ulf Norell, Hans Svensson, Thomas Arts | 17 Sep 2013 | 7 |
| 24 | Modelling of Autosar Libraries for Large Scale Testing Wojciech Mostowski, Thomas Arts, John Hughes · Electronic Proceedings in Theoretical Computer Science | 15 Mar 2017 | 6 |
| 25 | Linking unit tests and properties Alex Gerdes, John Hughes, Nick Smallbone et al. | 24 Aug 2015 | 6 |
| 26 | TESTING AUTOSAR BASIC SOFTWARE MODULES WITH QUICKCHECK Rickard Svenningsson, Rolf G. Johansson, Thomas Arts et al. · Series on advances in mathematics for applied sciences | Mar 2012 | 5 |
| 27 | How Well are Your Requirements Tested? Thomas Arts, John Hughes | Apr 2016 | 5 |
| 28 | On shrinking randomly generated load tests Thomas Arts | 2 Sep 2014 | 5 |
| 29 | Ranking programs using black box testing Koen Claessen, John Hughes, Michał H. Pałka et al. | 3 May 2010 | 5 |
| 30 | Automatic Consequence Analysis of Automotive Standards (AUTO-CAAS) Thomas Arts, Mohammad Reza Mousavi | 28 Apr 2015 | 5 |
| 31 | Safely Using the AUTOSAR End-to-End Protection Library Thomas Arts, Stefano Tonetta · Lecture notes in computer science | 2015 | 4 |
| 32 | Extracting Properties from Test Cases by Refactoring Huiqing Li, Simon Thompson, Thomas Arts | Mar 2011 | 4 |
| 33 | Model-based testing of data types with side effects Thomas Arts, Laura M. Castro | 23 Sep 2011 | 4 |
| 34 | Requirements on automatically generated random test cases Thomas Arts, Alex Gerdes, Magnus Kronqvist | 7 Nov 2013 | 4 |
| 35 | Attribute grammars in Erlang Ulf Norell, Alex Gerdes | 24 Aug 2015 | 3 |
| 36 | Modelling of Autosar libraries for large scale testing Mostowski, W., Arts, T., John Hughes · Chalmers Publication Library (Chalmers University of Technology) | 2017 | 2 |
| 37 | Exploring API behaviours through generated examples Stefan Karlsson, John Hughes, Robbert Jongeling et al. · Software Quality Journal | 22 Apr 2024 | 1 |
| 38 | Gaining trust by tracing security protocols Lars‐Åke Fredlund, Clara Benac Earle, Thomas Arts et al. · Journal of Logical and Algebraic Methods in Programming | 21 Oct 2022 | 1 |
| 39 | Structural Characterisation of GaP B Nanowires by HRTEM Lisa Karlsson, Jonas Johansson, C P T Svensson et al. · Springer proceedings in physics | Dec 2008 | 1 |
| 40 | Testing feature‐rich blockchains Thomas Arts, Hans Svensson, Clara Benac Earle et al. · Software Practice and Experience | 16 Jan 2023 | 0 |
| 41 | Locality-Based Test Selection for Autonomous Agents Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi et al. · Lecture notes in computer science | 2022 | 0 |
| 42 | Measurement of thermoelectric properties of indium arsenide nanowires Philipp Mensch, Siegfried Karg, Bernd Gotsmann et al. · Verhandlungen der Deutschen Physikalischen Gesellschaft | 2013 | 0 |
| 43 | Don't Judge Software by Its (Code) Coverage Rolf G. Johansson, Hans Eriksson, Hans Svensson et al. · HAL (Le Centre pour la Communication Scientifique Directe) | 24 Sep 2013 | 0 |
| 44 | Teaching Students Property-Based Testing Clara Benac Earle, Lars‐Åke Fredlund, Julio Mariño et al. | Aug 2014 | 0 |
| 45 | Graphical editing support for QuickCheck models Thomas Arts, Kirill Bogdanov, Alex Gerdes et al. | Apr 2015 | 0 |
| 46 | Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models Martin A. Skoglund, Hans Svensson, Henrik Eriksson et al. · Lecture notes in computer science | 2014 | 0 |
Citations are OpenAlex's own counts, from its 2026-09-23 snapshot, so the ranking can differ from Google Scholar or Web of Science. A paper is listed for an institution when any of its authors gave it as an affiliation; retracted papers and papers whose citation count cannot be traced to citing works are left out, and a preprint and the article it became are shown once. Release dates are OpenAlex's: where a source gave only a month or a year, that is what is shown. How the lists are chosen.