Automated Formal Static Analysis and Retrieval of Source Code - JKU

More documents

Recommendations

Info

3.2. INTEGRATION OF MINDBREEZE CODE SEARCH INTO MINDBREEZE ENTERPRISE SEARCH51 Figure 3.10: Find all the methods named sort (information level: 2)
52CHAPTER 3. CODE SEARCH INTEGRATION FACILITY INTO MINDBREEZE ENTERPRISE SEARCH Figure 3.11: Find all the methods named sort (information level: 3)
Page 1:
J O H A N N E S K E P L E R U N I V
Page 5:
Abstract In this thesis two approac
Page 8 and 9:
viii
Page 10 and 11: Chapter 1 Introduction From the han
Page 12 and 13: 3 Contributions of the Thesis The s
Page 14 and 15: Next section starts by describing t
Page 16 and 17: Chapter 2 Program Verification by S
Page 18 and 19: 2.1. BACKGROUND 9 From the practica
Page 20 and 21: 2.1. BACKGROUND 11 A program is see
Page 22 and 23: 2.2. FORWARD SYMBOLIC EXECUTION IN
Page 28 and 29: 2.3. THE SIMPLIFICATION OF THE VERI
Page 30 and 31: 2.4. IMPLEMENTATION AND EXAMPLES 21
Page 36 and 37: Chapter 3 Code Search Integration F
Page 38 and 39: 3.1. BACKGROUND 29 Figure 3.1: Sour
Page 40 and 41: 3.1. BACKGROUND 31 The programming
Page 42 and 43: 3.2. INTEGRATION OF MINDBREEZE CODE
Page 62 and 63: Chapter 4 Conclusions In this thesi
Page 64 and 65: 55 How the database is used. For ea
Page 66 and 67: Bibliography [***] ***. Mindbreeze
Page 68 and 69: BIBLIOGRAPHY 59 [Hoa69] [How73] [KF
Page 70 and 71: BIBLIOGRAPHY 61 [VHBP00] [Wil94] W.
Page 72: Eidesstattliche Erklärung Ich erkl
show all

Automated Formal Static Analysis and Retrieval of Source Code - JKU

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?