Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Automated Test Case Generation for Function Block Diagrams using Java Path Finder and Symbolic Execution
Mälardalen University, School of Innovation, Design and Engineering.
2015 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Place, publisher, year, edition, pages
2015.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-28315OAI: oai:DiVA.org:mdh-28315DiVA: diva2:821396
Subject / course
Computer Science
Supervisors
Examiners
Available from: 2015-06-30 Created: 2015-06-15 Last updated: 2015-06-30Bibliographically approved

Open Access in DiVA

fulltext(1327 kB)421 downloads
File information
File name FULLTEXT01.pdfFile size 1327 kBChecksum SHA-512
2429c52ae45ba286bbc8118d98f68c2165cda4c75c44e0b6c2c580fa1d11e32998fb66ecdb6b9ace6583b330bc964c929599fa33f9d0f84b70ce43dbc8d03534
Type fulltextMimetype application/pdf

By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 421 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 174 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf