Concepedia

Fredrik Lindblad

FL

Statistics

Publications

3

Citations

255

H-Index

3

Active since

2008

Affiliations

University of York(Current)

University of Gothenburg

Chalmers University of Technology

Fredrik Lindblad is an author at University of York specializing in engineering, automated reasoning, and formal verification.

Top concepts

Publications per year

2008–2008

3

Publications

3

Smallcheck and lazy smallcheck

Colin Runciman, Matthew Naylor, Fredrik Lindblad · 2008 · 186 citations

, , +18

Property Directed Generation of First-Order Test Data

Fredrik Lindblad · Chalmers Publication Library (Chalmers University of Technology) · 2008 · 41 citations

, , +10

Smallcheck and lazy smallcheck

Colin Runciman, Matthew Naylor, Fredrik Lindblad · ACM SIGPLAN Notices · 2008 · 28 citations

, , +18

1–3 of 3