Thomas Arts

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 8

Top Topics

Artificial Immune Algorithm

Automatically Generate

Integer Programming Formulation

Top Venues

Erlang Workshop

Publications

Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson
Gaining trust by tracing security protocols. J. Log. Algebraic Methods Program. 130 (2023)
Thomas Arts, Hans Svensson, Clara Benac Earle, Lars-Åke Fredlund
Testing feature-rich blockchains. Softw. Pract. Exp. 53 (5) (2023)
Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi, Thomas Arts
Locality-Based Test Selection for Autonomous Agents. ICTSS (2021)
Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson
Gaining trust by tracing security protocols. Erlang Workshop (2019)
Wojciech Mostowski, Thomas Arts, John Hughes
Modelling of Autosar Libraries for Large Scale Testing. MARS@ETAPS (2017)
John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts
Find more bugs with QuickCheck! AST@ICSE (2016)
John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. ICST (2016)
Thomas Arts, John Hughes
How Well are Your Requirements Tested? ICST (2016)
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) (2015)
Thomas Arts, Stefano Tonetta
Safely Using the AUTOSAR End-to-End Protection Library. SAFECOMP (2015)
Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes
Graphical editing support for QuickCheck models. ICST Workshops (2015)
Thomas Arts, John Hughes, Ulf Norell, Hans Svensson
Testing AUTOSAR software with QuickCheck. ICST Workshops (2015)
Clara Benac Earle, Lars-Åke Fredlund, Julio Mariño, Thomas Arts
Teaching Students Property-Based Testing. EUROMICRO-SEAA (2014)
Benjamin Vedder, Thomas Arts, Jonny Vinter, Magnus Jonsson
Combining Fault-Injection with Property-Based Testing. ES4CPS@DATE (2014)
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)
Thomas Arts
On shrinking randomly generated load tests. Erlang Workshop (2014)
Thomas Arts, Michele Dorigatti, Stefano Tonetta
Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. SAFECOMP (2014)
Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes
An Expressive Semantics of Mocking. FASE (2014)
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)
Thomas Arts, Alex Gerdes, Magnus Kronqvist
Requirements on automatically generated random test cases. FedCSIS (2013)
Ulf Norell, Hans Svensson, Thomas Arts
Testing blocking operations with QuickCheck's component library. Erlang Workshop (2013)
Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson
Accelerating race condition detection through procrastination. Erlang Workshop (2011)
Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson
Extracting QuickCheck specifications from EUnit test cases. Erlang Workshop (2011)
Huiqing Li, Simon J. Thompson, Thomas Arts
Extracting Properties from Test Cases by Refactoring. ICST Workshops (2011)
Anna Sandberg, Lars Pareto, Thomas Arts
Agile Collaborative Research: Action Principles for Industry-Academia Collaboration. IEEE Softw. 28 (4) (2011)
Thomas Arts, Laura M. Castro
Model-based testing of data types with side effects. Erlang Workshop (2011)
Laura M. Castro, Thomas Arts
Testing Data Consistency of Data-Intensive Applications Using QuickCheck. Electron. Notes Theor. Comput. Sci. 271 (2011)
Thomas Arts, Simon J. Thompson
From test cases to FSMs: augmented test-driven development and property inference. Erlang Workshop (2010)
Ulrik Eklund, Thomas Arts
A Classification of Value for Software Architecture Decisions. ECSA (2010)
Javier París, Thomas Arts
Automatic testing of TCP/IP implementations using QuickCheck. Erlang Workshop (2009)
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)
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)
Nicolae Paladi, Thomas Arts
Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck. Erlang Workshop (2009)
Thomas Arts, Laura M. Castro, John Hughes
Testing Erlang data types with quviq quickcheck. Erlang Workshop (2008)
Thomas Arts, John Hughes, Joakim Johansson, Ulf T. Wiger
Testing telecoms software with quviq QuickCheck. Erlang Workshop (2006)
Thomas Arts, Jaco van de Pol
Introductory paper. Int. J. Softw. Tools Technol. Transf. 7 (3) (2005)
Hans Svensson, Thomas Arts
A new leader election implementation. Erlang Workshop (2005)
Thomas Arts, Koen Claessen, Hans Svensson
Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. FATES (2004)
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) (2004)
Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas
Translating Erlang to µCRL. ACSD (2004)
Thomas Arts, Wan J. Fokkink
Preface. Electron. Notes Theor. Comput. Sci. 80 (2003)
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) (2003)
Juan José Sánchez Penas, Thomas Arts
VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions. ACSD (2003)
Thomas Arts, Lars-Åke Fredlund
Trace analysis of Erlang programs. ACM SIGPLAN Notices 37 (12) (2002)
Thomas Arts, Clara Benac Earle, John Derrick
Verifying Erlang Code: A Resource Locker Case-Study. FME (2002)
Jürgen Giesl, Thomas Arts, Enno Ohlebusch
Modular Termination Proofs for Rewriting Using Dependency Pairs. J. Symb. Comput. 34 (1) (2002)
Thomas Arts, Juan José Sánchez Penas
Global scheduler properties derived from local restrictions. Erlang Workshop (2002)
Thomas Arts, Lars-Åke Fredlund
Trace analysis of Erlang programs. Erlang Workshop (2002)
Thomas Arts, Izak van Langevelde
Correct Performance of Transaction Capabilities. ACSD (2001)
Jürgen Giesl, Thomas Arts
Verification of Erlang Processes by Dependency Pairs. Appl. Algebra Eng. Commun. Comput. 12 (1/2) (2001)
Thomas Arts, Jürgen Giesl
Termination of term rewriting using dependency pairs. Theor. Comput. Sci. 236 (1-2) (2000)
Thomas Arts
System Description: The Dependency Pair Method. RTA (2000)
Thomas Arts, Thomas Noll
Verifying Generic Erlang Client-Server Implementations. IFL (2000)
Thomas Arts, Mads Dam
Verifying a Distributed Database Lookup Manager Written in Erlang. World Congress on Formal Methods (1999)
Thomas Arts, Jürgen Giesl
Applying Rewriting Techniques to the Verification of Erlang Processes. CSL (1999)
Thomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov
System Description: Verification of Distributed Erlang Programs. CADE (1998)
Thomas Arts, Jürgen Giesl
Modularity of Termination Using Dependency pairs. RTA (1998)
Thomas Arts, Jürgen Giesl
Automatically Proving Termination Where Simplification Orderings Fail. TAPSOFT (1997)
Thomas Arts, Jürgen Giesl
Proving Innermost Normalisation Automatically. RTA (1997)
Thomas Arts
Termination by Absence of Infinite Chains of Dependency Pairs. CAAP (1996)
Thomas Arts, Jürgen Giesl
Termination of Constructor Systems. RTA (1996)
Thomas Arts, Hans Zantema
Termination of Logic Programs Using Semantic Unification. LOPSTR (1995)