- All Publications
- Static Analysis
»
- FLAVERS
- PROPEL
- Finite-State Verification
- Property Specification
- Fault-Tree Analysis
- Failure Mode and Effect Analysis
- MPI Verification
- INCA
- Experimentation
- Process Programming and Workflow
[...]
- Software Development
[...]
- Case Studies
[...]
- Electronic Enterprise Institute
- Jump To:
- 2017
- 2016
- 2014
- 2013
- 2012
- 2010
- 2008
- 2007
- 2006
- 2005
- 2004
- 2003
- 2002
- 2001
- 2000
- 1999
- 1998
- 1997
- 1996
- 1995
- 1994
- 1993
- 1992
- 1991
- 1990
- 1989
- 1985
|
LASER Publications
Static Analysis
by Andy Podgurski
A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance
Andy Podgurski,
Lori A. Clarke,
IEEE Transactions on Software Engineering, 16(10), pp. 965-979, September 1990. (UM-CS-1989-116)
[ PDF ]
A Formal Evaluation of Data Flow Path Selection Criteria
Lori A. Clarke,
Andy Podgurski,
Debra J. Richardson,
Steven J. Zeil,
IEEE Transactions on Software Engineering 15(11), pp. 1318-1332, November 1989. (UM-CS-1988-073)
[ PDF ]
Notice: We present this material to ensure timely and wide dissemination of our work.
All persons copying this material must adhere to the terms of the relevant copyrights
|