Automatic Generation of Test Cases from Formal Specifications using Mutation Testing
2021 18th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE)(2021)
Abstract
Testing of complex software systems often needs the execution of thousand of tests cases to find errors in the code and to ensure high integrity systems. Hence, it requires the testing tasks to be automated. Test case execution entails establishing preconditions and input data, observing output results, and comparing those results with a given oracle. This work presents two contributions: it uses ...
MoreTranslated text
Key words
Codes,Software algorithms,Automatic generation control,Electrical engineering computing,Software systems,Generators,Formal specifications
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined