Static Detection of Software Errors: Precise and Scalable Algorithms for Automatic Detection of Software Errors - Softcover
About the Author
Specialization: Programming Languages and Software Engineering; Ph.D. in Computer Science, Stanford University (2006); M.S. in Computer Science, Stanford University (2003); B.S. in Computer Science, Yale University (2001), summa cum laude.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Static Detection of Software Errors: Precise and Scalable...
Seller Image
Static Detection of Software Errors
Published by
AV Akademikerverlag Mai 2012, 2012
ISBN 10: 3639413369
ISBN 13: 9783639413366
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Revision with unchanged content. Automatic program analysis tools are increasingly developed and deployed to combat the perenniel software quaility problem that plagues the IT industry. Traditional tools faces a stark tradeoff between precision and scalability: scalable tools are often imprecise, limiting themselves to detecting relatively shallow errors; precise tools are often not scalable and are thus only applied to simplified models of the core parts of large systems. This study presents techniques and results on how to exploit existing struc tures of large software systems to make precise program analyses scale. As an example, the author show how to scale Boolean Satisfiability (SAT) based a na lysis - traditionally applied to small models with hundreds of lines of code - to the whole Linux kernel, which contains millions of lines of code. This study is directed to designers and users of software analysis tools alike. It offers detailed descriptions of several state-of-the-art automatic error detection algorithms and presents experimental results on mature open-source systems. The approach can be potentially generalized to the design and deployment of a wide range of program analysis tools. 148 pp. Englisch. Seller Inventory # 9783639413366
Buy New
US$ 71.67
US$ 27.13 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Static Detection of Software Errors
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Xie YichenSpecialization: Programming Languages and Software Engineering Ph.D. in Computer Science, Stanford University (2006) M.S. in Computer Science, Stanford University (2003) B.S. in Computer Science, Yale University (2001), . Seller Inventory # 4985554
Buy New
US$ 56.27
US$ 57.78 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Static Detection of Software Errors
Published by
AV Akademikerverlag Mai 2012, 2012
ISBN 10: 3639413369
ISBN 13: 9783639413366
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -Revision with unchanged content. Automatic program analysis tools are increasingly developed and deployed to combat the perenniel software quaility problem that plagues the IT industry. Traditional tools faces a stark tradeoff between precision and scalability: scalable tools are often imprecise, limiting themselves to detecting relatively shallow errors; precise tools are often not scalable and are thus only applied to simplified models of the core parts of large systems. This study presents techniques and results on how to exploit existing structures of large software systems to make precise program analyses scale. As an example, the author show how to scale Boolean Satisfiability (SAT) based analysis - traditionally applied to small models with hundreds of lines of code - to the whole Linux kernel, which contains millions of lines of code. This study is directed to designers and users of software analysis tools alike. It offers detailed descriptions of several state-of-the-art automatic error detection algorithms and presents experimental results on mature open-source systems. The approach can be potentially generalized to the design and deployment of a wide range of program analysis tools.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 148 pp. Englisch. Seller Inventory # 9783639413366
Buy New
US$ 71.67
US$ 70.76 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Static Detection of Software Errors | Precise and Scalable Algorithms for Automatic Detection of Software Errors
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Static Detection of Software Errors | Precise and Scalable Algorithms for Automatic Detection of Software Errors | Yichen Xie | Taschenbuch | 148 S. | Englisch | 2012 | AV Akademikerverlag | EAN 9783639413366 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu Print on Demand. Seller Inventory # 106446993
Buy New
US$ 61.16
US$ 82.56 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Seller Image
Static Detection of Software Errors : Precise and Scalable Algorithms for Automatic Detection of Software Errors
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Revision with unchanged content. Automatic program analysis tools are increasingly developed and deployed to combat the perenniel software quaility problem that plagues the IT industry. Traditional tools faces a stark tradeoff between precision and scalability: scalable tools are often imprecise, limiting themselves to detecting relatively shallow errors; precise tools are often not scalable and are thus only applied to simplified models of the core parts of large systems. This study presents techniques and results on how to exploit existing struc tures of large software systems to make precise program analyses scale. As an example, the author show how to scale Boolean Satisfiability (SAT) based a na lysis - traditionally applied to small models with hundreds of lines of code - to the whole Linux kernel, which contains millions of lines of code. This study is directed to designers and users of software analysis tools alike. It offers detailed descriptions of several state-of-the-art automatic error detection algorithms and presents experimental results on mature open-source systems. The approach can be potentially generalized to the design and deployment of a wide range of program analysis tools. Seller Inventory # 9783639413366
Buy New
US$ 71.67
US$ 72.17 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Static Detection Of Software Errors: Precise And Scalable Algorithms For Automatic Detection Of Software Errors
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 148 pages. 8.66x5.91x0.34 inches. In Stock. Seller Inventory # 3639413369
Buy New
US$ 130.52
US$ 13.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available