Thomas Arts
Visar 44 publikationer
Modelling of Autosar libraries for large scale testing
How well are your requirements tested?
Mysteries of Dropbox: Property-based Testing of a Distributed Synchronization Service
Find More Bugs with QuickCheck!
Testing AUTOSAR software with QuickCheck
Graphical editing support for QuickCheck models
An expressive semantics of mocking
Model-based testing of data types with side effects
Accelerating race condition detection through procrastination
Agile Collaborative Research: Action Principles for Industry-Academia Collaboration
Extracting properties from test cases by refactoring
Testing Data Consistency of Data-Intensive Applications Using QuickCheck
Property-Based Testing - The ProTest Project
A Classification of Value for Software Architecture Decisions
Testing Data Consistency of Data-Intensive Applications using QuickCheck
From test cases to FSMs: Augmented test-driven development and property inference
Automatic Testing of TCP/IP Implementations Using Quickcheck
Finding Race Conditions in Erlang with Quick Check and PULSE
Finding race conditions in erlang with quickcheck and PULSE
Update on the EU project ProTest,
Testing Erlang Data Types with Quviq QuickCheck
Invited talk: Testing Telecommunication software with QuickCheck
Property based testing with Quviq QuickCheck
Testing telecoms software with quviq quickcheck
Testing Telecoms Software with Quviq QuickCheck
Special section on formal methods for industrial critical systems
A New Leader Election Implementation
Semi-Formal Development of a Fault-Tolerant Leader Election Protocol in Erlang
A new leader election implementation
Testing Implementations of Formally Verified Algorithms
Development of a verified Erlang program for resource locking
VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions
A Verification Tool for Erlang
Selected papers from FMICS workshop
Trace analysis of Erlang programs
Verifying Erlang code: a resource locker case-study
Global Scheduler Properties derived from Local Restrictions
Modular Termination Proofs for Rewriting Using Dependency Pairs
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.