Hans Svensson
Showing 18 publications
An expressive semantics of mocking
Accelerating race condition detection through procrastination
Ranking programs using black box testing
A Unified Semantics for Future Erlang
Finding Race Conditions in Erlang with Quick Check and PULSE
Finding race conditions in erlang with quickcheck and PULSE
Implementing an LTL-to-Büchi translator in Erlang: a ProTest experience report
Finding Counter Examples in Induction Proofs
Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving
A Semi-Automatic Correctness Proof Procedure applied to Stoller's Leader Election Algorithm
Programming Distributed Erlang Applications: Pitfalls and Recipes
A More Accurate Semantics for Distributed Erlang
McErlang: A Model Checker for a Distributed Functional Programming Language
A New Leader Election Implementation
A Semantics for Distributed Erlang
Semi-Formal Development of a Fault-Tolerant Leader Election Protocol in Erlang
Testing Implementations of Formally Verified Algorithms
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.