Thomas Arts

Publications (44)
Projects (0)

Showing 44 publications

2017

Modelling of Autosar libraries for large scale testing

Wojciech Mostowski, Thomas Arts, John Hughes

Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol. 244, p. 184-199

Paper in proceeding

2016

How well are your requirements tested?

John Hughes, Thomas Arts

Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, p. 244-254

Paper in proceeding

2016

Mysteries of Dropbox: Property-based Testing of a Distributed Synchronization Service

John Hughes, Benjamin C. Pierce, Thomas Arts et al

Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, p. 135-145

Paper in proceeding

2016

Find More Bugs with QuickCheck!

John Hughes, Ulf Norell, Nicholas Smallbone et al

11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016), p. 71-77

Paper in proceeding

2015

Testing AUTOSAR software with QuickCheck

Thomas Arts, John Hughes, Ulf Norell et al

2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings

Paper in proceeding

2015

Graphical editing support for QuickCheck models

Thomas Arts, K. Bogdanov, Alex Gerdes et al

2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings

Paper in proceeding

2014

An expressive semantics of mocking

Josef Svenningsson, Hans Svensson, Nicholas Smallbone et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8411 LNCS, p. 385-399

Paper in proceeding

2011

Model-based testing of data types with side effects

Thomas Arts, L. M. Castro

Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, p. 30-38

Paper in proceeding

2011

Accelerating race condition detection through procrastination

Thomas Arts, John Hughes, Ulf Norell et al

Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, p. 14-22

Paper in proceeding

2011

Testing Data Consistency of Data-Intensive Applications Using QuickCheck

Laura M. Castro, Thomas Arts

Electronic Notes in Theoretical Computer Science. Vol. 271, p. 41-62

Journal article

2011

Agile Collaborative Research: Action Principles for Industry-Academia Collaboration

Anna Sandberg, Lars Pareto, Thomas Arts

IEEE Software. Vol. 28 (4), p. 74-83

Journal article

2011

Extracting properties from test cases by refactoring

H. Li, S.J. Thompson, Thomas Arts

Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011, p. 472-473

Paper in proceeding

2010

Property-Based Testing - The ProTest Project

John Derrick, Neil Walkinshaw, Thomas Arts et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6286, p. 250-271

Journal article

2010

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

Thomas Arts, S. Thompson

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP; 9th ACM SIGPLAN Erlang Workshop, Erlang 2010, Co-located with ICFP'10; Baltimore, MD; 30 September 2010 through 30 September 2010, p. 1-12

Paper in proceeding

2010

Testing Data Consistency of Data-Intensive Applications using QuickCheck

Thomas Arts, Laura M. Castro

Programming and Computer Languages

Paper in proceeding

2010

A Classification of Value for Software Architecture Decisions

Ulrik Eklund, Thomas Arts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6285, p. 368-375

Paper in proceeding

2009

Automatic Testing of TCP/IP Implementations Using Quickcheck

Thomas Arts, Javier Paris

8th ACM Sigplan Erlang workshop, Edinburgh, SCOTLAND, SEP 05, 2009, p. 83-92

Paper in proceeding

2009

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

Thomas Arts, Nicolae Paladi

8th ACM SIGPLAN Erlang Workshop, Erlang'09, Co-located with the Annual International Conference on Functional Programming, ICFP'09; Edinburgh; United Kingdom; 5 September 2009 through 5 September 2009, p. 71-82

Paper in proceeding

2009

Finding race conditions in erlang with quickcheck and PULSE

Koen Lindström Claessen, Michal Palka, Nicholas Smallbone et al

ACM SIGPLAN Notices. Vol. 44 (9), p. 149-160

Journal article

2009

Finding Race Conditions in Erlang with Quick Check and PULSE

Koen Lindström Claessen, Michal Palka, Nicholas Smallbone et al

ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, p. 149-160

Paper in proceeding

2008

Testing Erlang Data Types with Quviq QuickCheck

Thomas Arts, Laura Castro, John Hughes

Proceedings of the 7th ACM SIGPLAN workshop on Erlang, p. 1-8

Journal article

2008

Erlang QuickCheck Tutorial

Thomas Arts

Other

2008

Update on the EU project ProTest,

Thomas Arts, Simon Thompson, Francesco Cesarini

14th International Erlang/OTP User Conference

Other conference contribution

2007

Property based testing with Quviq QuickCheck

Thomas Arts

JAOO developer conference. Vol. Aarhus 2007

Other conference contribution

2007

Invited talk: Testing Telecommunication software with QuickCheck

Thomas Arts

Computer Aided Systems Theory. Vol. EUROCAST

Other conference contribution

2006

Testing telecoms software with quviq quickcheck

Thomas Arts, John Hughes, Ulf Wiger et al

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang, p. 2 - 10

Journal article

2006

Testing Telecoms Software with Quviq QuickCheck

Thomas Arts, John Hughes, Joakim Johansson et al

Proc. of the Fifth ACM SIGPLAN Erlang Workshop

Paper in proceeding

2005

Special section on formal methods for industrial critical systems

Thomas Arts, Jaco van de Pol

Int. Journal on Software Tools for Technology Transfer. Vol. 7 (3)

Journal article

2005

A New Leader Election Implementation

Hans Svensson, Thomas Arts

Proceedings of the ACM SIGPLAN 2005 Erlang Workshop

Paper in proceeding

2005

A new leader election implementation

Thomas Arts, Hans Svensson

Proc. of the Fourth ACM SIGPLAN Erlang Workshop

Paper in proceeding

2005

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

Koen Lindström Claessen, Hans Svensson, Thomas Arts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3395, p. 140-154

Journal article

2005

Testing Implementations of Formally Verified Algorithms

Thomas Arts, Koen Lindström Claessen, John Hughes et al

Proceedings of the 5th Conference on Software Engineering Research and Practice in Sweden

Paper in proceeding

2004

Translating Erlang to mCRL

Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas

In Proc. of Int. Conf. on Application of Concurrency to System Design

Paper in proceeding

2004

Development of a verified Erlang program for resource locking

Thomas Arts, Clara Benac Earle, John Derrick

Int. Journal on Software Tools for Technology Transfer. Vol. 5 (2-3), p. 205-220

Journal article

2003

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

Thomas Arts, Juan José Sánchez Penas

Third International Conference on Application of Concurrency to System Design, IEEE Computer Society

Journal article

2003

A Verification Tool for Erlang

Lars-Åke Fredlund, Dilian Gurov, Thomas Noll et al

Int. Journal on Software Tools for Technology Transfer. Vol. 4 (4), p. 405-420

Journal article

2003

Erlang Workshop

Thomas Arts, Bjarne Däcker

Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang

Journal article

2003

Selected papers from FMICS workshop

Thomas Arts, Wan Fokkink

Electronic Notes Theoretical Computer Science. Vol. 80

Journal article

2003

Erlang/QuickCheck

John Hughes, Thomas Arts

Ninth International Erlang/OTP User Conference, Älvsjö, Sweden. November 2003

Other conference contribution

2002

Trace analysis of Erlang programs

Thomas Arts, Lars-Åke Fredlund

SIGPLAN Notices. Vol. 37 (12), p. 18-24

Journal article

2002

Verifying Erlang code: a resource locker case-study

Thomas Arts, Clara Benac Earle, John Derrick

Proc. Int. Symposium of Formal Methods Europe

Journal article

2002

IFL 2002

Thomas Arts, Ricardo Pena

Proceedings of 14th InternationalWorkshop on Implementation of Functional Languages

Journal article

2002

Global Scheduler Properties derived from Local Restrictions

Thomas Arts, Juan José Sánchez Penas

Proc. of ACM SIGPLAN Erlang workshop ’02

Journal article

2002

Modular Termination Proofs for Rewriting Using Dependency Pairs

Jürgen Giesl, Thomas Arts, Enno Ohlebusch

Journal of Symbolic Computation. Vol. 34 (1), p. 21-58

Journal article

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.

There might be more projects where Thomas Arts participates, but you have to be logged in as a Chalmers employee to see them.