Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering 2015
DOI: 10.5220/0005347800670077
|View full text |Cite
|
Sign up to set email alerts
|

Cost-effective Functional Testing of Reactive Software

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2016
2016
2021
2021

Publication Types

Select...
2
2
1

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(2 citation statements)
references
References 21 publications
0
2
0
Order By: Relevance
“…Likewise, research [26] proposed a method for test case's generation from a formal specification of the system. It implements the Expressive Decision Table (EDT) algorithm for requirement notation to reduce translation efforts of formal specification.…”
Section: Resultsmentioning
confidence: 99%
“…Likewise, research [26] proposed a method for test case's generation from a formal specification of the system. It implements the Expressive Decision Table (EDT) algorithm for requirement notation to reduce translation efforts of formal specification.…”
Section: Resultsmentioning
confidence: 99%
“…The device driver provides libraries of configuration parameter and kernel module during the operating system startup. The driver is not only limited in providing a correct configuration to the operating system, it also provides function, support application and help reference document for end user [1,2]. To produce and make sure a device driver is in this high-quality state, the software must go through a comprehensive testing phase.…”
Section: Introductionmentioning
confidence: 99%