2010
DOI: 10.3182/20100712-3-de-2013.00195
|View full text |Cite
|
Sign up to set email alerts
|

Automated simulation of scenarios to guide the development of a crosswind stabilization function

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2011
2011
2022
2022

Publication Types

Select...
3
1
1

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(1 citation statement)
references
References 3 publications
(2 reference statements)
0
1
0
Order By: Relevance
“…While there has been a large amount of work performed in both model-based testing and SBT areas, there are only a small number of examples of using these techniques together-that is, the use of SBT principles applied to closed-loop model-based testing. One prominent example in this field is the TestWeaver software package [26][27][28][29][30]. Test case generation is described as playing a game against the SuT with the intention to drive it to a state that violates its specifications.…”
Section: Previous Uses Of Search-based Testing For Autonomousmentioning
confidence: 99%
“…While there has been a large amount of work performed in both model-based testing and SBT areas, there are only a small number of examples of using these techniques together-that is, the use of SBT principles applied to closed-loop model-based testing. One prominent example in this field is the TestWeaver software package [26][27][28][29][30]. Test case generation is described as playing a game against the SuT with the intention to drive it to a state that violates its specifications.…”
Section: Previous Uses Of Search-based Testing For Autonomousmentioning
confidence: 99%