Thomas Arts

Affiliations:

Quviq AB, Gothenburg, Sweden

According to our database¹, Thomas Arts authored at least 60 papers between 1995 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Testing feature-rich blockchains.

[BibT_eX]

[DOI]

Softw. Pract. Exp., May, 2023

Gaining trust by tracing security protocols.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2023

2021

Locality-Based Test Selection for Autonomous Agents.

[BibT_eX]

[DOI]

Sina Entekhabi

Wojciech Mostowski

Mohammad Reza Mousavi

Thomas Arts

Proceedings of the Testing Software and Systems, 2021

2017

Modelling of Autosar Libraries for Large Scale Testing.

[BibT_eX]

[DOI]

Wojciech Mostowski

Thomas Arts

John Hughes

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

2016

Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

How Well are Your Requirements Tested?

[BibT_eX]

[DOI]

Thomas Arts

John Hughes

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Find more bugs with QuickCheck!

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Automation of Software Test, 2016

2015

Assessing the effects of introducing a new software development process: a methodological description.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2015

Safely Using the AUTOSAR End-to-End Protection Library.

[BibT_eX]

[DOI]

Thomas Arts

Stefano Tonetta

Proceedings of the Computer Safety, Reliability, and Security, 2015

Testing AUTOSAR software with QuickCheck.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Graphical editing support for QuickCheck models.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2014

Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2014

Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case.

[BibT_eX]

[DOI]

Thomas Arts

Michele Dorigatti

Stefano Tonetta

Proceedings of the Computer Safety, Reliability, and Security, 2014

An Expressive Semantics of Mocking.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Teaching Students Property-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

On shrinking randomly generated load tests.

[BibT_eX]

[DOI]

Thomas Arts

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

Combining Fault-Injection with Property-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Engineering Simulations for Cyber-Physical Systems, 2014

2013

Don't Judge Software by Its (Code) Coverage.

[BibT_eX]

[DOI]

Proceedings of the SAFECOMP 2013, 2013

Requirements on automatically generated random test cases.

[BibT_eX]

[DOI]

Thomas Arts

Alex Gerdes

Magnus Kronqvist

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

Testing blocking operations with QuickCheck's component library.

[BibT_eX]

[DOI]

Ulf Norell

Hans Svensson

Thomas Arts

Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013

2011

Agile Collaborative Research: Action Principles for Industry-Academia Collaboration.

[BibT_eX]

[DOI]

Anna Sandberg

Lars Pareto

Thomas Arts

IEEE Softw., 2011

Extracting Properties from Test Cases by Refactoring.

[BibT_eX]

[DOI]

Huiqing Li

Simon J. Thompson

Thomas Arts

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Extracting QuickCheck specifications from EUnit test cases.

[BibT_eX]

[DOI]

Thomas Arts

Pablo Lamela Seijas

Simon J. Thompson

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

Accelerating race condition detection through procrastination.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

Model-based testing of data types with side effects.

[BibT_eX]

[DOI]

Thomas Arts

Laura M. Castro

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

2010

Testing Data Consistency of Data-Intensive Applications Using QuickCheck.

[BibT_eX]

[DOI]

Laura M. Castro

Thomas Arts

Proceedings of the Tenth Spanish Conference on Programming and Languages, 2010

From test cases to FSMs: augmented test-driven development and property inference.

[BibT_eX]

[DOI]

Thomas Arts

Simon J. Thompson

Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010

A Classification of Value for Software Architecture Decisions.

[BibT_eX]

[DOI]

Ulrik Eklund

Thomas Arts

Proceedings of the Software Architecture, 4th European Conference, 2010

2009

Finding race conditions in Erlang with QuickCheck and PULSE.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Property-Based Testing - The ProTest Project.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Automatic testing of TCP/IP implementations using QuickCheck.

[BibT_eX]

[DOI]

Javier París

Thomas Arts

Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, 2009

Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck.

[BibT_eX]

[DOI]

Nicolae Paladi

Thomas Arts

Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, 2009

2008

Testing Erlang data types with quviq quickcheck.

[BibT_eX]

[DOI]

Thomas Arts

Laura M. Castro

John Hughes

Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, 2008

2006

Testing telecoms software with quviq QuickCheck.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, 2006

2005

Introductory paper.

[BibT_eX]

[DOI]

Thomas Arts

Jaco van de Pol

Int. J. Softw. Tools Technol. Transf., 2005

A new leader election implementation.

[BibT_eX]

[DOI]

Hans Svensson

Thomas Arts

Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, 2005

2004

Development of a verified Erlang program for resource locking.

[BibT_eX]

[DOI]

Thomas Arts

Clara Benac Earle

John Derrick

Int. J. Softw. Tools Technol. Transf., 2004

Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang.

[BibT_eX]

[DOI]

Thomas Arts

Koen Claessen

Hans Svensson

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

Translating Erlang to µCRL.

[BibT_eX]

[DOI]

Thomas Arts

Clara Benac Earle

Juan José Sánchez Penas

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

A verification tool for ERLANG.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2003

Preface.

[BibT_eX]

[DOI]

Thomas Arts

Wan J. Fokkink

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions.

[BibT_eX]

[DOI]

Juan José Sánchez Penas

Thomas Arts

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Trace analysis of Erlang programs.

[BibT_eX]

[DOI]

Thomas Arts

Lars-Åke Fredlund

ACM SIGPLAN Notices, 2002

Modular Termination Proofs for Rewriting Using Dependency Pairs.

[BibT_eX]

[DOI]

Jürgen Giesl

Thomas Arts

Enno Ohlebusch

J. Symb. Comput., 2002

Verifying Erlang Code: A Resource Locker Case-Study.

[BibT_eX]

[DOI]

Thomas Arts

Clara Benac Earle

John Derrick

Proceedings of the FME 2002: Formal Methods, 2002

Global scheduler properties derived from local restrictions.

[BibT_eX]

[DOI]

Thomas Arts

Juan José Sánchez Penas

Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, 2002

2001

Verification of Erlang Processes by Dependency Pairs.

[BibT_eX]

[DOI]

Jürgen Giesl

Thomas Arts

Appl. Algebra Eng. Commun. Comput., 2001

Correct Performance of Transaction Capabilities.

[BibT_eX]

[DOI]

Thomas Arts

Izak van Langevelde

Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

2000

Termination of term rewriting using dependency pairs.

[BibT_eX]

[DOI]

Thomas Arts

Jürgen Giesl

Theor. Comput. Sci., 2000

System Description: The Dependency Pair Method.

[BibT_eX]

[DOI]

Thomas Arts

Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000

Verifying Generic Erlang Client-Server Implementations.

[BibT_eX]

[DOI]

Thomas Arts

Thomas Noll

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1999

Verifying a Distributed Database Lookup Manager Written in Erlang.

[BibT_eX]

[DOI]

Thomas Arts

Mads Dam

Proceedings of the FM'99 - Formal Methods, 1999

Applying Rewriting Techniques to the Verification of Erlang Processes.

[BibT_eX]

[DOI]

Thomas Arts

Jürgen Giesl

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998

Modularity of Termination Using Dependency pairs.

[BibT_eX]

[DOI]

Thomas Arts

Jürgen Giesl

Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

System Description: Verification of Distributed Erlang Programs.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1998

1997

Automatically Proving Termination Where Simplification Orderings Fail.

[BibT_eX]

[DOI]

Thomas Arts

Jürgen Giesl

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Proving Innermost Normalisation Automatically.

[BibT_eX]

[DOI]

Thomas Arts

Jürgen Giesl

Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997

1996

Termination of Constructor Systems.

[BibT_eX]

[DOI]

Thomas Arts

Jürgen Giesl

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

Termination by Absence of Infinite Chains of Dependency Pairs.

[BibT_eX]

[DOI]

Thomas Arts

Proceedings of the Trees in Algebra and Programming, 1996

1995

Termination of Logic Programs Using Semantic Unification.

[BibT_eX]

[DOI]

Thomas Arts

Hans Zantema

Proceedings of the Logic Programming Synthesis and Transformation, 1995

Thomas Arts

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...