Automatic Test Generation and Mutation Analysis using UPPAAL SMC

Automatic Test Generation and Mutation Analysis using UPPAAL SMC

Show other versions (1)

Software testing is an important process for ensuring the quality of the software. As the complexity of the software increases, traditional means of manual testing becomes increasingly more complex and time consuming. In most embedded systems, designing software with as few errors as possible is oft...

Full description

Bibliographic Details
Main Author: Larsson, Jonatan
Format: Others
Language:English
Published: Mälardalens högskola, Akademin för innovation, design och teknik 2017
Subjects:
UPPAAL SMC
Automatic Testing
Mutation Analysis
Test Generation
Priced Timed Automata
C#
Computer Sciences
Datavetenskap (datalogi)
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-36415

Internet

http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-36415

Similar Items