Title :
[Copyright notice]
Abstract :
The following topics are dealt with: software engineering; automated test case generation; autonomic systems; guarded workflow language; stack bound inference; runtime verification; axiomatic temporal logic programs verification; model checking rectangular hybrid systems; compositional abstraction refinement; lazy decision diagrams; and soft error vulnerability.
Keywords :
decision diagrams; inference mechanisms; program testing; program verification; software fault tolerance; temporal logic; automated test case generation; autonomic systems; axiomatic temporal logic programs verification; compositional abstraction refinement; guarded workflow language; lazy decision diagrams; model checking rectangular hybrid systems; runtime verification; soft error vulnerability; software engineering; stack bound inference;
Conference_Titel :
Theoretical Aspects of Software Engineering (TASE), 2010 4th IEEE International Symposium on
Conference_Location :
Taipei
Print_ISBN :
978-1-4244-7847-7
DOI :
10.1109/TASE.2010.3
