Ted Kremenek
Apple (United Kingdom)(GB)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Engineering Research, Software Reliability and Analysis Research, Astrophysical Phenomena and Observations, Advanced Malware Detection Techniques
Most-Cited Works
- → The First Measurement of Spectral Lines in a Short-Period Star Bound to the Galaxy’s Central Black Hole: A Paradox of Youth(2003)664 cited
- → The accelerations of stars orbiting the Milky Way's central black hole(2000)426 cited
- → A Probabilistic Room Location Service for Wireless Networked Environments(2001)310 cited
- → From uncertainty to belief: inferring the specification within(2006)152 cited
- → Correlation exploitation in error ranking(2004)131 cited
- → Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations(2003)100 cited
- → A Memory Model for Static Analysis of C Programs(2010)62 cited
- → MECA(2003)43 cited
- A factor graph model for software bug finding(2007)