Concepedia

Anastasia Mironova

AM

Statistics

Publications

2

Citations

140

H-Index

2

Active since

2006

Affiliations

University of Massachusetts Amherst(Current)

University of Utah

Anastasia Mironova is an author at University of Massachusetts Amherst specializing in formal methods, parallel programming, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisParallel ComputingAutomated ReasoningFormal Verification

Publications per year

2006–2008

2

Publications

2

Combining symbolic execution with model checking to verify parallel numerical programs

Stephen F. Siegel, Anastasia Mironova, George S. Avrunin et al. · ACM Transactions on Software Engineering and Methodology · 2008 · 75 citations

Program Checking, Engineering, Verification +19

Using model checking with symbolic execution to verify parallel numerical programs

Stephen F. Siegel, Anastasia Mironova, George S. Avrunin et al. · 2006 · 65 citations

Program Checking, Engineering, Verification +18

1–2 of 2