Paper Info
Title
Symbolic execution of LOTOS specifications
Abstract
This paper discusses the design and implementation of SMILE, a full LOTOS symbolic execution tool. Besides expansion functionalities for LOTOS behavior expressions, the tool also includes an implementation of a narrowing algorithm. Usage of the tool in the implementation of specifications and validation of specifications is shown.
Year
Venue
Keywords
1992
FORTE
lotos specification,symbolic execution
Field
DocType
Volume
Programming language,Computer science,Theoretical computer science,Concolic testing,Symbolic execution,Symbolic trajectory evaluation
Conference
10
ISSN
ISBN
Citations 
0926-549X
0-444-89282-6
18
PageRank 
References 
Authors
1.48
1
2
Name
Order
Citations
PageRank
Henk Eertink114625.83
Dietmar Wolz2354.37