Michal Palka

Publikationer (13)
Projekt (1)

Visar 13 publikationer

2019

Michal Palka, Magnus Myreen

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11457 LNCS

Kapitel i bok

2015

Generating constrained random data with uniform distribution

Koen Lindström Claessen, Jonas Almström Duregård, Michal Palka

Journal of Functional Programming. Vol. 25 (e8)

Artikel i vetenskaplig tidskrift

2015

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System

B. Fetscher, Koen Lindström Claessen, Michal Palka et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9032, p. 383-405

Artikel i vetenskaplig tidskrift

2014

Splittable pseudorandom number generators using cryptographic hashing

Koen Lindström Claessen, Michal Palka

ACM SIGPLAN Notices. Vol. 48 (12), p. 47-58

Artikel i vetenskaplig tidskrift

2014

Random Structured Test Data Generation for Black-Box Testing

Michal Palka

Doktorsavhandling

2014

Generating Constrained Random Data with Uniform Distribution

Koen Lindström Claessen, Jonas Almström Duregård, Michal Palka

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8475 LNCS, p. 18-34

Paper i proceeding

2013

Splittable Pseudorandom Number Generators using Cryptographic Hashing

Koen Lindström Claessen, Michal Palka

Proceedings of the Haskell Symposium 2013, p. 47-58

Paper i proceeding

2012

Testing an Optimising Compiler by Generating Random Lambda Terms

Michal Palka

Licentiatavhandling

2011

Testing an Optimising Compiler by Generating Random Lambda Terms

Michal Palka, Koen Lindström Claessen, Alejandro Russo et al

International Workshop on Automation of Software Test

Paper i proceeding

2010

Ranking programs using black box testing

Koen Lindström Claessen, John Hughes, Michal Palka et al

Proceedings - International Conference on Software Engineering, p. 103-110

Paper i proceeding

2009

Finding Race Conditions in Erlang with QuickCheck and PULSE

Koen Claessen, Michal Palka, Nicholas Smallbone et al

ACM SIGPLAN international conference on Functional programming

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

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

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.

Visar 1 forskningsprojekt

2015–2018

Centre of excellence for Global Systems Science (CoeGSS)

Patrik Jansson Programvaruteknik

Devdatt Dubhashi Datavetenskap

Michal Palka Programvaruteknik

Oskar Allerbo Datavetenskap

Cezar Ionescu Programvaruteknik

Europeiska kommissionen (EU)

5 publikationer finns

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