Effective typestate verification in the presence of aliasing
By Stephen J. Fink, Eran Yahav, Nurit Dor, Ganesan Ramalingam, Emmanuel Geay. TSEM, 2006
296 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computational Theory and Mathematics
View Paper: https://www.semanticscholar.org/paper/c4b64f5c90d4de76689d558c2d5100f3fda740d4
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Ondřej Lhoták
- Yannis Smaragdakis
- Martin Bravenboer
- Andreas Zeller
- Christian Lindig
- Andrzej Wasylkowski
In Computational Theory and Mathematics
- Ondřej Lhoták
- Yannis Smaragdakis
- Martin Bravenboer
- Andreas Zeller
- Christian Lindig
- Andrzej Wasylkowski
Citations in the corpus
- Pick your contexts well: understanding object-sensitivity (2011, background): “, [5, 8, 10, 20], among many) maintain the fundamental premise of using allocation sites as context elements, yet differ in which allocation sites are used.”
- Detecting object usage anomalies (2007, background): “[13] look for violations of a specification given as”