Anastasia Mironova

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2008

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

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2008

2006

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

[BibT_eX]

[DOI]

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