default search action
Thomas Arts
Person information
- affiliation: Quviq AB, Gothenburg, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j11]Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson:
Gaining trust by tracing security protocols. J. Log. Algebraic Methods Program. 130: 100829 (2023) - [j10]Thomas Arts, Hans Svensson, Clara Benac Earle, Lars-Åke Fredlund:
Testing feature-rich blockchains. Softw. Pract. Exp. 53(5): 1144-1173 (2023) - 2021
- [c51]Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi, Thomas Arts:
Locality-Based Test Selection for Autonomous Agents. ICTSS 2021: 73-89
2010 – 2019
- 2019
- [c50]Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson:
Gaining trust by tracing security protocols. Erlang Workshop 2019: 56-67 - 2017
- [c49]Wojciech Mostowski, Thomas Arts, John Hughes:
Modelling of Autosar Libraries for Large Scale Testing. MARS@ETAPS 2017: 184-199 - 2016
- [c48]John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts:
Find more bugs with QuickCheck! AST@ICSE 2016: 71-77 - [c47]John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell:
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. ICST 2016: 135-145 - [c46]Thomas Arts, John Hughes:
How Well are Your Requirements Tested? ICST 2016: 244-254 - 2015
- [j9]Agneta Nilsson, Laura M. Castro, Samuel Rivas, Thomas Arts:
Assessing the effects of introducing a new software development process: a methodological description. Int. J. Softw. Tools Technol. Transf. 17(1): 1-16 (2015) - [c45]Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes:
Graphical editing support for QuickCheck models. ICST Workshops 2015: 1-6 - [c44]Thomas Arts, John Hughes, Ulf Norell, Hans Svensson:
Testing AUTOSAR software with QuickCheck. ICST Workshops 2015: 1-4 - [c43]Thomas Arts, Stefano Tonetta:
Safely Using the AUTOSAR End-to-End Protection Library. SAFECOMP 2015: 74-89 - 2014
- [c42]Benjamin Vedder, Thomas Arts, Jonny Vinter, Magnus Jonsson:
Combining Fault-Injection with Property-Based Testing. ES4CPS@DATE 2014: 1 - [c41]Thomas Arts:
On shrinking randomly generated load tests. Erlang Workshop 2014: 25-31 - [c40]Clara Benac Earle, Lars-Åke Fredlund, Julio Mariño, Thomas Arts:
Teaching Students Property-Based Testing. EUROMICRO-SEAA 2014: 437-442 - [c39]Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes:
An Expressive Semantics of Mocking. FASE 2014: 385-399 - [c38]Martin A. Skoglund, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson, Alex Gerdes:
Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models. SAFECOMP Workshops 2014: 19-26 - [c37]Thomas Arts, Michele Dorigatti, Stefano Tonetta:
Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. SAFECOMP 2014: 81-92 - 2013
- [c36]Ulf Norell, Hans Svensson, Thomas Arts:
Testing blocking operations with QuickCheck's component library. Erlang Workshop 2013: 87-92 - [c35]Thomas Arts, Alex Gerdes, Magnus Kronqvist:
Requirements on automatically generated random test cases. FedCSIS 2013: 1335-1342 - [c34]Rolf Johansson, Hans Eriksson, Hans Svensson, Kenneth Östberg, Thomas Arts, Alex Gerdes, Martin A. Skoglund:
Don't Judge Software by Its (Code) Coverage. CARS@SAFECOMP 2013 - 2011
- [j8]Anna Sandberg, Lars Pareto, Thomas Arts:
Agile Collaborative Research: Action Principles for Industry-Academia Collaboration. IEEE Softw. 28(4): 74-83 (2011) - [c33]Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson:
Accelerating race condition detection through procrastination. Erlang Workshop 2011: 14-22 - [c32]Thomas Arts, Laura M. Castro:
Model-based testing of data types with side effects. Erlang Workshop 2011: 30-38 - [c31]Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson:
Extracting QuickCheck specifications from EUnit test cases. Erlang Workshop 2011: 62-71 - [c30]Huiqing Li, Simon J. Thompson, Thomas Arts:
Extracting Properties from Test Cases by Refactoring. ICST Workshops 2011: 472-473 - 2010
- [c29]Ulrik Eklund, Thomas Arts:
A Classification of Value for Software Architecture Decisions. ECSA 2010: 368-375 - [c28]Thomas Arts, Simon J. Thompson:
From test cases to FSMs: augmented test-driven development and property inference. Erlang Workshop 2010: 1-12 - [c27]Laura M. Castro, Thomas Arts:
Testing Data Consistency of Data-Intensive Applications Using QuickCheck. PROLE 2010: 41-62
2000 – 2009
- 2009
- [c26]Nicolae Paladi, Thomas Arts:
Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck. Erlang Workshop 2009: 71-82 - [c25]Javier París, Thomas Arts:
Automatic testing of TCP/IP implementations using QuickCheck. Erlang Workshop 2009: 83-92 - [c24]John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson:
Property-Based Testing - The ProTest Project. FMCO 2009: 250-271 - [c23]Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger:
Finding race conditions in Erlang with QuickCheck and PULSE. ICFP 2009: 149-160 - 2008
- [c22]Thomas Arts, Laura M. Castro, John Hughes:
Testing Erlang data types with quviq quickcheck. Erlang Workshop 2008: 1-8 - 2006
- [c21]Thomas Arts, John Hughes, Joakim Johansson, Ulf T. Wiger:
Testing telecoms software with quviq QuickCheck. Erlang Workshop 2006: 2-10 - 2005
- [j7]Thomas Arts, Jaco van de Pol:
Introductory paper. Int. J. Softw. Tools Technol. Transf. 7(3): 195-196 (2005) - [c20]Hans Svensson, Thomas Arts:
A new leader election implementation. Erlang Workshop 2005: 35-39 - 2004
- [j6]Thomas Arts, Clara Benac Earle, John Derrick:
Development of a verified Erlang program for resource locking. Int. J. Softw. Tools Technol. Transf. 5(2-3): 205-220 (2004) - [c19]Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas:
Translating Erlang to µCRL. ACSD 2004: 135-144 - [c18]Thomas Arts, Koen Claessen, Hans Svensson:
Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. FATES 2004: 140-154 - 2003
- [j5]Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov:
A verification tool for ERLANG. Int. J. Softw. Tools Technol. Transf. 4(4): 405-420 (2003) - [c17]Juan José Sánchez Penas, Thomas Arts:
VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions. ACSD 2003: 247-248 - [c16]Thomas Arts, Wan J. Fokkink:
Preface. FMICS 2003: 310-311 - [e4]Bjarne Däcker, Thomas Arts:
Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003. ACM 2003, ISBN 1-58113-772-9 [contents] - [e3]Thomas Arts, Wan J. Fokkink:
Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003. Electronic Notes in Theoretical Computer Science 80, Elsevier 2003 [contents] - [e2]Ricardo Pena, Thomas Arts:
Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers. Lecture Notes in Computer Science 2670, Springer 2003, ISBN 3-540-40190-3 [contents] - 2002
- [j4]Jürgen Giesl, Thomas Arts, Enno Ohlebusch:
Modular Termination Proofs for Rewriting Using Dependency Pairs. J. Symb. Comput. 34(1): 21-58 (2002) - [j3]Thomas Arts, Lars-Åke Fredlund:
Trace analysis of Erlang programs. ACM SIGPLAN Notices 37(12): 18-24 (2002) - [c15]Thomas Arts, Lars-Åke Fredlund:
Trace analysis of Erlang programs. Erlang Workshop 2002: 16-23 - [c14]Thomas Arts, Juan José Sánchez Penas:
Global scheduler properties derived from local restrictions. Erlang Workshop 2002: 49-57 - [c13]Thomas Arts, Clara Benac Earle, John Derrick:
Verifying Erlang Code: A Resource Locker Case-Study. FME 2002: 184-203 - [e1]Thomas Arts, Markus Mohnen:
Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers. Lecture Notes in Computer Science 2312, Springer 2002, ISBN 3-540-43537-9 [contents] - 2001
- [j2]Jürgen Giesl, Thomas Arts:
Verification of Erlang Processes by Dependency Pairs. Appl. Algebra Eng. Commun. Comput. 12(1/2): 39-72 (2001) - [c12]Thomas Arts, Izak van Langevelde:
Correct Performance of Transaction Capabilities. ACSD 2001: 35-42 - 2000
- [j1]Thomas Arts, Jürgen Giesl:
Termination of term rewriting using dependency pairs. Theor. Comput. Sci. 236(1-2): 133-178 (2000) - [c11]Thomas Arts, Thomas Noll:
Verifying Generic Erlang Client-Server Implementations. IFL 2000: 37-52 - [c10]Thomas Arts:
System Description: The Dependency Pair Method. RTA 2000: 261-264
1990 – 1999
- 1999
- [c9]Thomas Arts, Jürgen Giesl:
Applying Rewriting Techniques to the Verification of Erlang Processes. CSL 1999: 96-110 - [c8]Thomas Arts, Mads Dam:
Verifying a Distributed Database Lookup Manager Written in Erlang. World Congress on Formal Methods 1999: 682-700 - 1998
- [c7]Thomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov:
System Description: Verification of Distributed Erlang Programs. CADE 1998: 38-41 - [c6]Thomas Arts, Jürgen Giesl:
Modularity of Termination Using Dependency pairs. RTA 1998: 226-240 - 1997
- [c5]Thomas Arts, Jürgen Giesl:
Proving Innermost Normalisation Automatically. RTA 1997: 157-171 - [c4]Thomas Arts, Jürgen Giesl:
Automatically Proving Termination Where Simplification Orderings Fail. TAPSOFT 1997: 261-272 - 1996
- [c3]Thomas Arts:
Termination by Absence of Infinite Chains of Dependency Pairs. CAAP 1996: 196-210 - [c2]Thomas Arts, Jürgen Giesl:
Termination of Constructor Systems. RTA 1996: 63-77 - 1995
- [c1]Thomas Arts, Hans Zantema:
Termination of Logic Programs Using Semantic Unification. LOPSTR 1995: 219-233
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint