Anastasia Mironova

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke
Combining symbolic execution with model checking to verify parallel numerical programs. ACM Trans. Softw. Eng. Methodol. 17 (2) (2008)
Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke
Using model checking with symbolic execution to verify parallel numerical programs. ISSTA (2006)