Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Ravitch, Tristan"'
Autor:
Scott, Ryan G., Boston, Brett, Davis, Benjamin, Diatchki, Iavor, Dodds, Mike, Hendrix, Joe, Matichuk, Daniel, Quick, Kevin, Ravitch, Tristan, Robert, Valentin, Selfridge, Benjamin, Stefănescu, Andrei, Wagner, Daniel, Winwood, Simon
When attempting to understand the behavior of an executable, a binary analyst can make use of many different techniques. These include program slicing, dynamic instrumentation, binary-level rewriting, symbolic execution, and formal verification, all
Externí odkaz:
http://arxiv.org/abs/2407.06375
Crux is a software verification tool that proves properties of imperative programs containing inline specifications. Crux translates programs into functional models that can be reasoned about in a symbolic execution engine, which ultimately uses SMT
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::66e18ada4c16bfedb4285e1d144d246a
Publikováno v:
IndraStra Global.
Statistical debugging identifies program behaviors that are highly correlated with failures. Traditionally, this approach has been applied to desktop software on which it is effective in identifying the causes that underlie several difficult classes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=issn23813652::4ce9a3224dab28be8342c12fb6b53479
http://digital.library.wisc.edu/1793/65136
http://digital.library.wisc.edu/1793/65136
Autor:
Ravitch, Tristan, Creswick, E. Rogan, Tomb, Aaron, Foltzer, Adam, Elliott, Trevor, Casburn, Ledah
Publikováno v:
ACM International Conference Proceeding Series; 12/9/2014, p1-10, 10p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings of the 2009 ACM SIGPLAN Conference: Programming Language Design & Implementation; 6/15/2009, p352-362, 11p