Chalmers University of Technology
Whole organizationShowing 53 publications
Exploring API behaviours through generated examples
Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing
How to Specify It!: A Guide to Writing Properties of Pure Functions
Branching Processes for QuickCheck Generators
Understanding formal specifications through good examples
Special section on functional paradigm for high performance computing
Special issue on Parallel and distributed computing based on the functional programming paradigm
Beginner's luck: a language for property-based generators
Modelling of Autosar libraries for large scale testing
Download publication list
You can download this list to your computer.
Export in APA, Vancouver, IEEE as plain text, RTF/Word or html-format.
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.
RSS feed
If you're using an RSS reader or want to do an integration this link will give you the latest publications in RSS format.