Anastasia Mironova

According to our database, Anastasia Mironova authored at least 2 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Combining symbolic execution with model checking to verify parallel numerical programs.

Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke

ACM Trans. Softw. Eng. Methodol., 2008

2006

Using model checking with symbolic execution to verify parallel numerical programs.

Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006