Skip to main content

LUP Student Papers

LUND UNIVERSITY LIBRARIES

Improved precision and verification for test selection in Modelica

Olsson, Markus LU and Stenström, Filip LU (2018) In LU-CS-EX 2018-08 EDAM05 20181
Department of Computer Science
Please use this url to cite or link to this publication:
author
Olsson, Markus LU and Stenström, Filip LU
supervisor
organization
course
EDAM05 20181
year
type
H3 - Professional qualifications (4 Years - )
subject
publication/series
LU-CS-EX 2018-08
report number
LU-CS-EX 2018-08
ISSN
1650-2884
language
English
id
8971824
date added to LUP
2019-02-22 14:29:03
date last changed
2019-02-22 14:29:03
@misc{8971824,
  author       = {{Olsson, Markus and Stenström, Filip}},
  issn         = {{1650-2884}},
  language     = {{eng}},
  note         = {{Student Paper}},
  series       = {{LU-CS-EX 2018-08}},
  title        = {{Improved precision and verification for test selection in Modelica}},
  year         = {{2018}},
}