Thomas Arts

Publikationer (44)
Projekt (0)

Visar 44 publikationer

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 i 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 i 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 i 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 i 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 i 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 i 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, p. 385-399

Paper i 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 i 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 i proceeding

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 i 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

Artikel i vetenskaplig tidskrift

2011

Agile Collaborative Research: Action Principles for Industry-Academia Collaboration

Anna Sandberg, Lars Pareto, Thomas Arts

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

Artikel i vetenskaplig tidskrift

2010

Testing Data Consistency of Data-Intensive Applications using QuickCheck

Thomas Arts, Laura M. Castro

Programming and Computer Languages

Paper i 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 i proceeding

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 i 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

Artikel i vetenskaplig tidskrift

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 i 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

Artikel i vetenskaplig tidskrift

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 i 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 i 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

Artikel i vetenskaplig tidskrift

2008

Update on the EU project ProTest,

Thomas Arts, Simon Thompson, Francesco Cesarini

14th International Erlang/OTP User Conference

Övrigt konferensbidrag

2008

Erlang QuickCheck Tutorial

Thomas Arts

Övrigt

2007

Invited talk: Testing Telecommunication software with QuickCheck

Thomas Arts

Computer Aided Systems Theory. Vol. EUROCAST

Övrigt konferensbidrag

2007

Property based testing with Quviq QuickCheck

Thomas Arts

JAOO developer conference. Vol. Aarhus 2007

Övrigt konferensbidrag

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

Artikel i vetenskaplig tidskrift

2006

Testing Telecoms Software with Quviq QuickCheck

Thomas Arts, John Hughes, Joakim Johansson et al

Proc. of the Fifth ACM SIGPLAN Erlang Workshop

Paper i 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)

Artikel i vetenskaplig tidskrift

2005

A New Leader Election Implementation

Hans Svensson, Thomas Arts

Proceedings of the ACM SIGPLAN 2005 Erlang Workshop

Paper i 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

Artikel i vetenskaplig tidskrift

2005

A new leader election implementation

Thomas Arts, Hans Svensson

Proc. of the Fourth ACM SIGPLAN Erlang Workshop

Paper i proceeding

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 i 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 i 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

Artikel i vetenskaplig tidskrift

2003

Selected papers from FMICS workshop

Thomas Arts, Wan Fokkink

Electronic Notes Theoretical Computer Science. Vol. 80

Artikel i vetenskaplig tidskrift

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

Artikel i vetenskaplig tidskrift

2003

Erlang Workshop

Thomas Arts, Bjarne Däcker

Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang

Artikel i vetenskaplig tidskrift

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

Artikel i vetenskaplig tidskrift

2003

Erlang/QuickCheck

John Hughes, Thomas Arts

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

Övrigt konferensbidrag

2002

Global Scheduler Properties derived from Local Restrictions

Thomas Arts, Juan José Sánchez Penas

Proc. of ACM SIGPLAN Erlang workshop ’02

Artikel i vetenskaplig tidskrift

2002

Trace analysis of Erlang programs

Thomas Arts, Lars-Åke Fredlund

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

Artikel i vetenskaplig tidskrift

2002

Verifying Erlang code: a resource locker case-study

Thomas Arts, Clara Benac Earle, John Derrick

Proc. Int. Symposium of Formal Methods Europe

Artikel i vetenskaplig tidskrift

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

Artikel i vetenskaplig tidskrift

2002

IFL 2002

Thomas Arts, Ricardo Pena

Proceedings of 14th InternationalWorkshop on Implementation of Functional Languages

Artikel i vetenskaplig tidskrift

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Thomas Arts medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.