Abstract | ||
---|---|---|
A common technique employed by software developers is the use of log files to generate traces of observed software behavior. As a resource for reverse engineering, a log file has the advantage of being an accurate account of software behavior. Model checking approaches work by using exploration to determine whether certain safety and liveness conditions are satisfied by a finite-state model. In this paper we describe an approach that combines the use of model checking and log file analysis to facilitate verification of recovered models. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1109/WPC.2003.1199210 | IWPC |
Keywords | Field | DocType |
finite state machines,reverse engineering,software architecture,finite-state model,liveness conditions,log file analysis,log files,reverse engineering,safety,software architectures,software behavior,software developers | Model checking,Programming language,Computer science,Reverse engineering,Theoretical computer science,Software,Software architecture,Software construction,Software verification and validation,Computer engineering,Liveness,Software verification | Conference |
ISSN | ISBN | Citations |
1092-8138 | 0-7695-1883-4 | 1 |
PageRank | References | Authors |
0.43 | 8 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
gerald c gannod | 1 | 86 | 7.76 |
Shilpa Murthy | 2 | 1 | 0.43 |