Thomas Arts

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, 2nd Workshop on Models for Formal Analysis of Real Systems, MARS 2017, Uppsala, Sweden, 29 April 2017. 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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2008

Erlang QuickCheck Tutorial

Thomas Arts
Övrigt
2007

Invited talk: Testing Telecommunication software with QuickCheck

Thomas Arts
Computer Aided Systems Theory. Vol. EUROCAST
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2007

Property based testing with Quviq QuickCheck

Thomas Arts
JAOO developer conference. Vol. Aarhus 2007
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

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.