- 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
- Little-JIL
- Process Interpretation
- Resource Management
- Process Simulation
- Process Analysis
- Evaluation
- Rework
- Software Development
- Component-Based Software Engineering
- Arcadia
- Software Development Environments
- Refactoring
- Case Studies
- Medical Safety
- Elections
- Scientific Workflow
- Online Dispute Resolution
- Digital Government
- Software Development
- Electronic Enterprise Institute
- Jump To:
- 2013
- 2012
- 2011
- 2010
- 2009
- 2008
- 2007
- 2006
- 2005
- 2004
- 2003
- 2002
- 2001
- 2000
- 1999
- 1998
- 1997
- 1996
- 1995
- 1994
- 1993
- 1992
- 1991
- 1990
- 1989
- 1987
- 1985
|
LASER Publications
by Anastasia Mironova
Combining Symbolic Execution with Model Checking to Verify Parallel Numerical Programs
Stephen F. Siegel,
Anastasia Mironova,
George S. Avrunin,
Lori A. Clarke,
ACM Transactions on Software Engineering and Methodology, Vol. 17, No. 2, April 2008, pp.10:1-10:34. (UM-CS-2008-49)
This is an updated version of TR UM-CS-2007-33. This report is a revised and extended version of UM-CS-2005-15, which appeared in ISSTA 2006.
[ ACM ]
[ PDF ]
Using Model Checking with Symbolic Execution to Verify Parallel Numerical Programs
Stephen F. Siegel,
Anastasia Mironova,
George S. Avrunin,
Lori A. Clarke,
ACM SIGSOFT 2006 International Symposium on Software Testing and Analysis (ISSTA '06) Portland, ME, pp. 157 - 168. (UM-CS-2005-15)
This is a revised and expanded version of UM-CS-2005-15, originally dated Feb. 2005. Please see "Combining Symbolic Execution with Model Checking to Verify Parallel Numerical Programs" UM-CS-2008-49 for a revised and extended version of this report.
[ ACM ]
[ PDF ]
[ Slides ]
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
|
This site is maintained by the