2005
DOI: 10.1016/j.tcs.2004.11.007
|View full text |Cite
|
Sign up to set email alerts
|

Combining test case generation and runtime verification

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
61
0

Year Published

2005
2005
2021
2021

Publication Types

Select...
4
3
2

Relationship

1
8

Authors

Journals

citations
Cited by 75 publications
(61 citation statements)
references
References 39 publications
0
61
0
Order By: Relevance
“…If more than one guard is true, Spin nondeterministically chooses only one corresponding rule to be executed 3 .…”
Section: Dealing With Nondeterminism a Test Generation In The Pmentioning
confidence: 99%
See 1 more Smart Citation
“…If more than one guard is true, Spin nondeterministically chooses only one corresponding rule to be executed 3 .…”
Section: Dealing With Nondeterminism a Test Generation In The Pmentioning
confidence: 99%
“…A way to combine model-based testing and runtime verification is presented in [3]. A test case generator, starting from a model of the input domain given as a nondeterministic Java program, produces inputs for the application using the Java PathFinder model checker that has been extended in order to perform symbolic execution.…”
Section: Related Workmentioning
confidence: 99%
“…Other related hybrid techniques include the use of concrete execution to effectively "set-up" the environment for symbolic execution [50] and a combination of test case generation based on symbolic execution and runtime monitoring [6]; both these techniques have been applied in the context of NASA software systems. Furthermore, related approaches [34,70] seek to combine abstraction techniques, with automatic abstraction refinement, and theorem proving for program analysis and testing.…”
Section: Other Combined Analysesmentioning
confidence: 99%
“…In this section we describe Eagle [2,3,1], the temporal logic framework for runtime verification used in this work. Most temporal logics were developed for use with model checkers, and so had to trade expressiveness for efficient model checking.…”
Section: Eaglementioning
confidence: 99%