Practical Program Verification by Forward Symbolic Execution: Correctness and Examples (2008)

by Tudor Jebelean
Venue:Austrian-Japan Workshop on Symbolic Computation in Software Science
Citations:5 - 4 self

Active Bibliography

573 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
852 Planning and acting in partially observable stochastic domains – Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra - 1998
1324 Reinforcement learning: a survey – Leslie Pack Kaelbling, Michael L. Littman, Andrew W. Moore - 1996
450 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
347 Value-Based Software Engineering – Barry W. Boehm - 2003
342 A First Step towards Automated Detection of Buffer Overrun Vulnerabilities – David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken - 2000
295 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998