Searching for authors named Ted Kremenek – sorted by Relevance.
5 documents found, showing 1 through 5.
-
MECA: an Extensible, Expressive System and Language for Statically Checking Security Properties
- … Junfeng Yang, Ted Kremenek, Yichen Xie and Dawson EnglerComputer Systems Laboratory Stanford University…
- Cited by 22 (3 self) – Add To MetaCart
-
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
- …Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations Ted…
- Cited by 27 (3 self) – Add To MetaCart
-
Correlation Exploitation in Error Ranking
- …ABSTRACT Correlation Exploitation in Error Ranking Ted Kremenek, Ken Ashcraft, Junfeng Yang…
- Cited by 16 (2 self) – Add To MetaCart
-
A Probabilistic Location Service for Wireless Network Environments
- … Chiu 2 , Ted Kremenek 1 ,RichardMuntz 1 1 UCLA, Department of Computer Science, Los Angeles, CA, 90095…
- Cited by 31 (0 self) – Add To MetaCart
-
From uncertainty to belief: Inferring the specification within
- …From Uncertainty to Belief: Inferring the Specification Within Ted Kremenek † Paul Twohey † Godmar…
- Cited by 19 (0 self) – Add To MetaCart
Showing 1 through 5.
