Change search
ReferencesLink to record
Permanent link

Direct link
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
National Category
Engineering and Technology
URN: urn:nbn:se:mdh:diva-28315OAI: diva2:821396
Subject / course
Computer Science
Available from: 2015-06-30 Created: 2015-06-15 Last updated: 2015-06-30Bibliographically approved

Open Access in DiVA

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

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

Search outside of DiVA

GoogleGoogle Scholar
Total: 208 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

Total: 71 hits
ReferencesLink to record
Permanent link

Direct link